Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. This book contains five kinds of material: the requisite mathematical foundations; traditional algebraic specifications; elements of the theory of institutions; formal specification and development; and proof methods. "

"ABSTRAKPT XYZ, salah satu perusahaan perakitan kendaraan niaga di Indonesia telah berusaha untuk mengimplementasikan sistem manajemen sumber daya manusia yang dinamakan sebagai Human Resource Management System (HRMS). Namun, seiring perkembangan bisnis perusahaan, HRMS yang ada saat ini kurang mampu menyesuaikan dengan requirements bisnis perusahaan. Oleh karena itu, manajemen PT XYZ sepakat untuk melakukan peningkatan terhadap HRMS saat ini. Penulis mencoba menyusun requirements HRMS baru dengan menggunakan metodologi Rational Unified Process (RUP) sebagai alat bantu dalam proses penyusunan requirements. Proses analisis dan dokumentasi terhadap requirements pengguna, penulis lakukan dengan bantuan aplikasi Rational RequisitePro ver.7.1.3.Hasil analisis dalam penelitian ini berupa beberapa artefak dokumen dari aplikasi Rational RequisitePro, berupa Requirements Management Plan, Stakeholder Requests, Visions, Software Requirements Specification, Supplementary Specification, 36 dokumen Use Case Specification, Business Glossary, Business Rules, dan 9 dokumen Traceability Matrix, yang terdiri atas STRQ vs NEED, STRQ vs FEAT, STRQ-Nonfunctional vs SRS-Nonfunctional, NEED vs FEAT, FEAT vs SRS, BR vs FEAT, BR vs SRS, SRS vs UCSP, serta SRS vs SUPP.

---

ABSTRACT

PT XYZ, one of the commercial vehicle manufacturing company in Indonesia, has implemented an information system called Human Resource Management System (HRMS). However, as the development of company business in PT XYZ, HRMS could not fulfill current company business needs. Therefore, PT XYZ management agreed to improve current HRMS. Through this research, author tried to develop new system requirements to improve current HRMS. Author tried to develop requirements using Rational Unified Process (RUP) as a method for requirements development. Author also used workflow requirements in requirements discipline of RUP as a group of processes for requirements development. All of analysis and documentation process was developed using Rational RequisitePro ver.7.1.3.

Result for the research consist some of documents artefact from Rational RequisitePro application including Requirements Management Plan, Stakeholder Requests, Visions, Software Requirements Specification, Supplementary Specification, 36 documents of Use Case Specification, Business Glossary, Business Rules, and 9 documents of Traceability Matrix, which are STRQ vs NEED, STRQ vs FEAT, STRQ-Nonfunctional vs SRS-Nonfunctional, NEED vs FEAT, FEAT vs SRS, BR vs FEAT, BR vs SRS, SRS vs UCSP, serta SRS vs SUPP."