Author of the publication

A Software Architecture Reconstruction Method.

, , and . WICSA, volume 140 of IFIP Conference Proceedings, page 15-34. Kluwer, (1999)

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

State-Based Model Checking of Event-Driven System Requirements., and . IEEE Trans. Software Eng., 19 (1): 24-40 (1993)Template Semantics for Model-Based Notations., , and . IEEE Trans. Software Eng., 29 (10): 866-882 (2003)Integrating requirements analysis and safety analysis., and . RE, page 158-159. IEEE Computer Society, (1995)Mapping Template Semantics to SMV., , , and . ASE, page 320-325. IEEE Computer Society, (2004)A Software Architecture Reconstruction Method., , and . WICSA, volume 140 of IFIP Conference Proceedings, page 15-34. Kluwer, (1999)Research Directions in Requirements Engineering., and . FOSE, page 285-303. IEEE Computer Society, (2007)A pattern for structuring the behavioural requirements of features of an embedded system., and . RePa, page 1-7. IEEE Computer Society, (2013)Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods., , , and . ICSE (1), page 189-199. IEEE Computer Society, (2015)A Common Framework for Synchronization in Requirements Modelling Languages., , and . MoDELS (2), volume 6395 of Lecture Notes in Computer Science, page 198-212. Springer, (2010)Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series., , , , and . SPLC, page 266-267. ACM, (2013)