Search Result Save to File Save as CSV
Your search for 21673 returns 6799 document(s)
Teknologi untuk pengembangan formal komputerisasi pemrosesan data ujian (Proposal HIBAH BERSAING)
Author: Ade Azurat | Call Number: PRO-HIBAH BERSAING-2005-001 | Type: Proposal Research (Khusus Dose
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan Transport Management System di Stoqo
Author: Rifki Achmad Subagyo; | Call Number: KP- 3233 | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Requirement volatility: a risk in software development process, HAL. 258-263
Author: Ranjana Rajnish, Sahara Art; | Call Number: SEM-290 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Software requirement objects, functions, and states/Alan M. Davis
Author: Davis, Alan M.; | Call Number: 005.12 Dav s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Simulation of software requirement in behavior tree using SAL
Author: Niken Listya Pratiwi; | Call Number: SK-0969 (Softcopy SK-450) Source code SK-363 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Software requirement patterns untuk aplikasi CRM di Rumah Sakit
Author: Kodrat Mahatma; | Call Number: T-0483 (Softcopy T-0095 ) | Edition: 2004 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Penerapan Object Relational Mapping (ORM) untuk pengembangan Software Product Line (SPL) berbasis web dengan bahasa pemodelan abstract behavioral specification (ABS)
Author: Kandito Agung Wicaksono; | Call Number: SK-1377 (Softcopy SK-859) Source Code SK-559 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Framework pengembangan perangkat lunak berbasis arsitek microservices dengan pendekatan software produc line engineeirng menggunakan teknologi bahasa pemodelan Abstract Behavioral Specification (ABS)
Author: Moh. Afifun Naily; | Call Number: T-1188 (Softcopy T-896) Source Code T-283 | Edition: 2017 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Formal specification and software development/ Dines Bjorner
Author: Bjorner, Dines; | Call Number: 004 Bjo f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
A metalanguage for the formal requirement specification of reactive systems, (LNCS-Lecture Notes in Computer Science 670) Hal 110-128
Author: Egidio Astesiano; Gainna Reggio; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next