| Your search for 44337 returns 1988 document(s) |
| Describing component behavior using chemical abstract machine, 427-430 |
|
Author: Jinfu Chen, Huanhuan Wang; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
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
|
| Penerapan abstract behavioural specification dalam pembangunan software product line aplikasi web menggunakan metodologi architecture centric model driven web engineering |
|
Author: Daya Adianto; | Call Number: T-1143 (Softcopy T-852) Source code T-249 | Edition: 2015 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming using the c language/Robert C. Hutchinson |
|
Author: Hutchinson, Robert C.; | Call Number: 005.133 Hut p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifying real-time systems using parametrized timed modal specification, 123-127 |
|
Author: Carsten Weise; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using z specification, refinement, and proof/Jim Woodcock, Jim Davies |
|
Author: Woodcock, Jim; | Call Number: 005.113 woo u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using Spreadsheet Calculations to Demonstrate the Importance of a Correct Problem Specification (475-482) |
|
Author: Gabriela Lovaszova; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| OWL: a description logic based ontology language (extended abstract), (LNCS-Lecture Notes in Computer Science 3709) Hal 5-8 |
|
Author: Ian Horrocks; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| OWL: a description logic based ontology language (extended abstract), (LNCS-Lecture Notes in Computer Science 3668) Hal 1-4 |
|
Author: Ian Horrocks; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result