Author of the publication

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

Can Regulatory Bodies Expect Efficient Help from Formal Methods?., and . NASA Formal Methods, volume NASA/CP-2010-216215 of NASA Conference Proceedings, page 87-96. (2010)Security Requirements for Civil Aviation with UML and Goal Orientation., and . REFSQ, volume 4542 of Lecture Notes in Computer Science, page 292-299. Springer, (2007)Managing (Requirements) Evolutions of High Assurance Systems., and . RE, page 91. IEEE Computer Society, (2002)Software Transferability: A Practical Approach., and . Softw. Pract. Exp., 11 (5): 425-433 (1981)Goal-oriented Analysis of Regulations., and . ReMo2V, volume 241 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)A Procedural Language for the Relational Data Base Management System "Syntex"., , and . IFIP Congress, page 453-457. (1977)A Survey: Applying Formal Methods to a Software Intensive System., , , , , , , , and . HASE, page 55-64. IEEE Computer Society, (2001)Surveying Software Tools for a Method Driven Environment., , , , , , , and . IFIP Congress, page 895-902. North-Holland/IFIP, (1986)Programming Development with or without Coding., , , , , and . IFIP Congress, page 327-330. (1980)Construction and Reuse of Formal Program Developments., , , , and . TAPSOFT, Vol.2, volume 494 of Lecture Notes in Computer Science, page 120-136. Springer, (1991)