Author:
Petre Luigia,Sere Kaisa,Tsiopoulos Leonidas
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Dellarocas, C.: The SYNTHESIS Environment for Component-Based Software Development. In: 8th International Workshop on Software Technology and Engineering Practice (STEP 1997), p. 434 (1997)
2. Szyperski, C.: Component Software - Beyond Object-Oriented Programming. Addison-Wesley, ACM Press (1998)
3. Lecture Notes in Computer Science;T. Lecomte,2008
4. Lecture Notes in Computer Science,2006
5. Waldén, M., Sere, K.: Reasoning about Action Systems using the B Method. Formal methods in System Design 13(1), 5–35 (1998)