( en | de | ru )

 

Disambiguierung von "Luckham, David C."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Concurrent Runtime Checking of Annotated Ada Programs.

, , und . FSTTCS, Volume 241 von Lecture Notes in Computer Science, Seite 10-35. Springer, (1986)

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 C Coffey

David C Reinisch

Guido C C Clinckspoor

Thomas C C Knöbig

Ullrich C C Jagstaidt

 

Weitere Publikationen von Autoren mit dem selben Namen

Rapide: A language and toolset for simulation of distributed systems by partial orderings of events.. Partial Order Methods in Verification, Volume 29 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 329-357. DIMACS/AMS, (1996)Translating recursion schemes into program schemes., und . Proving Assertions About Programs, Seite 83-96. ACM, (1972)Software validation and verification - a state of the art report(Panel Discussion)., , , , , und . ACM Annual Conference (2), Seite 781. ACM, (1978)An Event-Based Architecture Definition Language, und . IEEE Transactions on Software Engineering, 21 (9): 717--734 (1995)Concurrent Runtime Checking of Annotated Ada Programs., , und . FSTTCS, Volume 241 von Lecture Notes in Computer Science, Seite 10-35. Springer, (1986)NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification., und . Requirements Targeting Software and Systems Engineering, Volume 1526 von Lecture Notes in Computer Science, Seite 293-329. Springer, (1997)The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, (2001)Polymorphism and Subtyping in Interfaces., , und . Workshop on Interface Definition Languages, Seite 22-34. ACM Press, (1994)SIGPLAN Notices 29(8), August 1994.Specification and Analysis of System Architecture Using Rapide, , , , , , , und . IEEE Transactions on Software Engineering, 21 (4): 336-355 (1995)Verification of VHDL Designs Using VAL., , , , und . DAC, Seite 48-53. ACM, (1988)