Author of the publication

Building certified components within FOCAL.

, , and . Trends in Functional Programming, volume 5 of Trends in Functional Programming, page 33-48. Intellect, (2004)

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

Building certified components within FOCAL., , and . Trends in Functional Programming, volume 5 of Trends in Functional Programming, page 33-48. Intellect, (2004)Formal Modeling of Airport Security Regulations using the Focal Environment., , and . RELAW, page 16-20. IEEE Computer Society, (2008)Documents Structure and Modularity in Mentor., , , and . Software Development Environments (SDE), page 141-148. ACM, (1984)SIGPLAN Notices 19 (5), May 1984.Certifying Airport Security Regulations Using the Focal Environment., , and . FM, volume 4085 of Lecture Notes in Computer Science, page 48-63. Springer, (2006)Producing UML Models from Focal Specifications: An Application to Airport Security Regulations., , and . TASE, page 121-124. IEEE Computer Society, (2008)Development of a Programming Environment for Setl., , , and . ESEC, volume 289 of Lecture Notes in Computer Science, page 21-32. Springer, (1987)A tool for Ada program manipulations: mentor-Ada., , and . SIGAda, page 297-308. Cambridge University Press, (1985)Deriving Software Specifications from Event Based Models., , and . ZB, volume 1878 of Lecture Notes in Computer Science, page 209-229. Springer, (2000)On the formal definition of ADA., , and . Semantics-Directed Compiler Generation, volume 94 of Lecture Notes in Computer Science, page 475-489. Springer, (1980)Outline of a Tool for Document Manipulation., , , , and . IFIP Congress, page 615-620. North-Holland/IFIP, (1983)