( en | de | ru )

 

Disambiguation of "Luckham, David C."

Author of the publication

copydeleteadd this publication to your clipboard
NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification.

, and . Requirements Targeting Software and Systems Engineering, volume 1526 of Lecture Notes in Computer Science, page 293-329. Springer, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

David C Coffey

David C Reinisch

Guido C C Clinckspoor

Thomas C C Knöbig

Ullrich C C Jagstaidt

 

Other publications of authors with the same name

An Event-Based Architecture Definition Language, and . IEEE Transactions on Software Engineering, 21 (9): 717--734 (1995)The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, (2001)Concurrent Runtime Checking of Annotated Ada Programs., , and . FSTTCS, volume 241 of Lecture Notes in Computer Science, page 10-35. Springer, (1986)NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification., and . Requirements Targeting Software and Systems Engineering, volume 1526 of Lecture Notes in Computer Science, page 293-329. Springer, (1997)Rapide: A language and toolset for simulation of distributed systems by partial orderings of events.. Partial Order Methods in Verification, volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 329-357. DIMACS/AMS, (1996)Software validation and verification - a state of the art report(Panel Discussion)., , , , , and . ACM Annual Conference (2), page 781. ACM, (1978)Translating recursion schemes into program schemes., and . Proving Assertions About Programs, page 83-96. ACM, (1972)Specification and Analysis of System Architecture Using Rapide, , , , , , , and . IEEE Transactions on Software Engineering, 21 (4): 336-355 (1995)Verification of Fairness in an Implementation of Monitors., and . ICSE, page 40-46. IEEE Computer Society, (1976)Three Steps towards Information Technology Insight. (2004)