( en | de | ru )

 

Disambiguierung von "Donzeau-Gouge, Véronique"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the formal definition of ADA.

, , und . Semantics-Directed Compiler Generation, Volume 94 von Lecture Notes in Computer Science, Seite 475-489. Springer, (1980)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Véronique Trappe

Véronique Buschmann

Véronique Porra

Véronique Mersseman

Véronique Henn

 

Weitere Publikationen von Autoren mit dem selben Namen

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