Author of the publication

Reasoning on Software Architectures with Contractually Specified Components

, , and . Component-Based Software Quality: Methods and Techniques, 2693, Springer-Verlag, Berlin, Germany, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Knowledge Objects., , and . Informatica (Slovenia), (1995)Parallel and Distributed Document Overlap Detection on the Web., , and . PARA, volume 1947 of Lecture Notes in Computer Science, page 206-214. Springer, (2000)Typed formal concept analysis, , and . 7th International Conference on Formal Concept Analysis (ICFCA09), page 35--51. Springer, (2009)Shared XML Documents in Service Centers of the Future., and . WISE (2), page 105-112. IEEE Computer Society, (2000)0-7695-0577-5.Towards Readability Aspects of Probabilistic Mode Automata., and . ENASE, page 555-562. SciTePress, (2019)How to Bake Quantum into Your Pet Petri Nets and Have Your Net Theory Too.. SummerSOC, volume 1429 of Communications in Computer and Information Science, page 3-33. Springer, (2021)Describing Web Service Architectures through Design-by-Contract., , and . ISCIS, volume 2869 of Lecture Notes in Computer Science, page 1008-1018. Springer, (2003)Architecture-Based Reasoning About Performability in Component-Based Systems.. SOFSEM (1), volume 4362 of Lecture Notes in Computer Science, page 130-137. Springer, (2007)Report of the International Symposium on Component-Based Software Engineering., , , , , and . ACM SIGSOFT Softw. Eng. Notes, 30 (3): 1-9 (2005)Trusted Components: Towards Automated Assembly with Predictable Properties. Proceedings of the ICSE Workshop of Component Oriented Software Engineering (CBSE4), IEEE, (June 2001)