Author of the publication

Integrated Structured Analysis and Formal Specification Techniques.

, , and . Comput. J., 35 (6): 600-610 (1992)

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

Discovering Potential Interaction Violations among Requirements., and . CAiSE Workshops, volume 249 of Lecture Notes in Business Information Processing, page 243-253. Springer, (2016)Towards a Rigorous Object-Oriented Analysis and Design Method., , , , and . ICFEM, page 7-16. IEEE Computer Society, (1997)Assumptions Underlying Agile Software-Development Processes., , and . J. Database Manag., 16 (4): 62-87 (2005)Aspect-oriented approach to early design modelling., , , and . IEE Proceedings - Software, 151 (4): 173-186 (2004)Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models., , and . HASE, page 9-16. IEEE Computer Society, (2011)Modeling in Software Engineering., , , , , and . ICSE Companion, page 113-114. IEEE Computer Society, (2007)Modeling in Software Engineering (MiSE 09)., , , , , and . ICSE Companion, page 453-454. IEEE, (2009)Using Role-Based Modeling Language (RBML) to Characterize Model Families., , , and . ICECCS, page 107-116. IEEE Computer Society, (2002)Supporting Rigorous Evolution of UML Models., , and . ICECCS, page 128-137. IEEE Computer Society, (2004)Requirements Trade-offs During UML Design., , and . ECBS, page 282-292. IEEE Computer Society, (2004)