Your search for 42468 returns 3279 document(s) |
Extending the Automated Feature Model Analysis Capability of the Abstract Behavioral Specification. Hal 453-458 |
Author: Adriyan Chairul Achda, Ade Azurat, Radu Muschevici, Maya R.A Setyautami; | Call Number: SEM-372 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Feature Grouping using the Abstract Behavioral Specification Language. Hal 483-489 |
Author: Reza Mauliadi, Ade Azurat, Radu Muschevici, Maya R.A Setyautami; | Call Number: SEM-372 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Binding semantic to a sketch based query specification tool. ( hal. 97-105 ) |
Author: Shahrul Azman Noah, Saiful Bahari Sabtu & Nazlena Mohamad Ali; | Call Number: SEM-363 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
web-based collaborative model for preparin formal software specification |
Author: mohamed A.sultan1), zarina shukur1); | Call Number: SEM-363 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Event specification in an active object-oriented database (hal 81 - 90) |
Author: N. H. Gehani, H. V. Jagadish, O.Shmueli; | Call Number: SEM - 359 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software specification and design: a disciplined approach for real-time systems/Kenneth C. Shumate |
Author: Shumate, Kenneth C.; | Call Number: 004.33 Shu s | Type: Buku
|
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
|
Extending the Product Selection Language of the Abstract Behavioral Specification (ABS) with Product Expressions |
Author: Triando; | Call Number: SK-1399 (Softcopy SK-881) Source code SK-569 | Type: Skripsi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Abstract behavioral specification-based testing method for software product lines |
Author: Ricky Timothy Gultom; | Call Number: T-1094 (Softcopy T-803) Source code T-228 | Edition: 2015 | Type: Tesis
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Updating and extending feature models analysis capabilites in abstrac behavioral specification |
Author: Adriyan Chairul Achda; | Call Number: T-1176 (Softcopy T-885) | Edition: 2017 | Type: Tesis
|
Find Similar |
Add To Favorites |
Detail in New Window
|