( en | de | ru )

 

Disambiguierung von "Luckham, David C."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A practical method of documenting and verifying Ada programs with packages.

, und . SIGPLAN, Seite 113-122. ACM, (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.

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

Translating recursion schemes into program schemes., und . Proving Assertions About Programs, Seite 83-96. ACM, (1972)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)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)Concurrent Runtime Checking of Annotated Ada Programs., , und . FSTTCS, Volume 241 von Lecture Notes in Computer Science, Seite 10-35. Springer, (1986)Software validation and verification - a state of the art report(Panel Discussion)., , , , , und . ACM Annual Conference (2), Seite 781. ACM, (1978)The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, (2001)An Event-Based Architecture Definition Language, und . IEEE Transactions on Software Engineering, 21 (9): 717--734 (1995)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)Three Steps towards Information Technology Insight. (2004)