Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Process Formalisms Need to be Fully Reflective., und . ISPW, Seite 78-80. IEEE Computer Society, (1993)SIMPLE: A Program Development System., , und . Comput. Lang., 5 (2): 103-114 (1980)Using FP As a Query Language for Relational Data-Bases., und . Comput. Lang., 9 (1): 25-37 (1984)Malaj: A Proposal to Eliminate Clashes Between Aspect-Oriented and Object-Oriented Programming, , , und . Proceedings of International Conference on Software: Theory and Practice, (August 2000)Language Support for Evolvable Software: An Initial Assessment of Aspect-Oriented Programming, , und . Proceedings of International Workshop on the Principles of Software Evolution IWPSE, (Juli 1999)Some Consideration on Real-Time Bahavior of Concurrent Programs., , und . IEEE Trans. Software Eng., 15 (3): 356-359 (1989)From model checking to a temporal proof for partial models: preliminary example., , , , und . CoRR, (2017)Verification for Reliable Product Lines., , , , , und . CoRR, (2013)Specification Patterns for Robotic Missions., , , , und . CoRR, (2019)Supporting configuration management for virtual workgroups ini a peer-to-peer setting., , und . SEKE, Seite 507-511. ACM, (2002)