Author of the publication

Languages for formalizing, visualizing and verifying software architectures.

, , and . Comput. Lang., 27 (1/3): 3-18 (2001)

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

Software engineering technology innovation - Turning research results into industrial success., , and . J. Syst. Softw., 82 (6): 993-1003 (2009)Hiding Expressed Using Relation Algebra with Multi-Relations - Oblique Lifting and Lowering for Unbalanced Systems., , , , and . CSMR, page 33-44. IEEE Computer Society, (2000)Maintaining a legacy: towards support at the architectural level., , , , and . Journal of Software Maintenance, 12 (3): 143-170 (2000)Languages for formalizing, visualizing and verifying software architectures., , and . Comput. Lang., 27 (1/3): 3-18 (2001)Reverse Architecting Approach for Complex Systems.. ICSM, page 4-11. IEEE Computer Society, (1997)A Two-Phase Process for Software Architecture Improvement., , , , and . ICSM, page 371-380. IEEE Computer Society, (1999)Understanding the past, improving the present, and mapping out the future of software architecture., , , and . J. Syst. Softw., 79 (12): 1790-1791 (2006)Representing variability in a family of MRI scanners., , and . Softw. Pract. Exp., 34 (1): 69-100 (2004)Software Configuration Management., and . Sci. Comput. Program., 65 (3): 215-221 (2007)Architecture Comprehension Tools for a PBX System., , , and . CSMR, page 31-41. IEEE Computer Society, (1999)