( en | de | ru )

 

Disambiguierung von "Lemoine, Michel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Goal-oriented Analysis of Regulations.

, und . ReMo2V, Volume 241 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)

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.

David Lemoine

Horst Lemoine

Horst Lemoine

Eveline Lemoine

Horst Lemoine

 

Weitere Publikationen von Autoren mit dem selben Namen

A Procedural Language for the Relational Data Base Management System "Syntex"., , und . IFIP Congress, Seite 453-457. (1977)A Survey: Applying Formal Methods to a Software Intensive System., , , , , , , , und . HASE, Seite 55-64. IEEE Computer Society, (2001)Can Regulatory Bodies Expect Efficient Help from Formal Methods?., und . NASA Formal Methods, Volume NASA/CP-2010-216215 von NASA Conference Proceedings, Seite 87-96. (2010)Security Requirements for Civil Aviation with UML and Goal Orientation., und . REFSQ, Volume 4542 von Lecture Notes in Computer Science, Seite 292-299. Springer, (2007)Managing (Requirements) Evolutions of High Assurance Systems., und . RE, Seite 91. IEEE Computer Society, (2002)Goal-oriented Analysis of Regulations., und . ReMo2V, Volume 241 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)SPRAC: A Software Engineering Environment., , und . STACS, Volume 247 von Lecture Notes in Computer Science, Seite 477-478. Springer, (1987)Construction and Reuse of Formal Program Developments., , , , und . TAPSOFT, Vol.2, Volume 494 von Lecture Notes in Computer Science, Seite 120-136. Springer, (1991)Preface., und . ReMo2V, Volume 241 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)Method Driven Programming., , , , und . IFIP Congress, Seite 351-356. North-Holland/IFIP, (1989)