( en | de | ru )

 

Disambiguation of "Luckham, David C."

Author of the publication

copydeleteadd this publication to your clipboard
Specification and Analysis of System Architecture Using Rapide.

, , , , , and . IEEE Trans. Software Eng., 21 (4): 336-355 (1995)

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

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)An Event-Based Architecture Definition Language., and . IEEE Trans. Software Eng., 21 (9): 717-734 (1995)Debugging Ada Tasking Programs., and . IEEE Softw., 2 (2): 47-57 (1985)The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, (2001)Extracting Information from Resolution Proof Trees., and . Artif. Intell., 2 (1): 27-54 (1971)Software validation and verification - a state of the art report(Panel Discussion)., , , , , and . ACM Annual Conference (2), page 781. ACM, (1978)Concurrent Runtime Checking of Annotated Ada Programs., , and . FSTTCS, volume 241 of Lecture Notes in Computer Science, page 10-35. Springer, (1986)Translating recursion schemes into program schemes., and . Proving Assertions About Programs, page 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 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 329-357. DIMACS/AMS, (1996)Verification of Array, Record, and Pointer Operations in Pascal., and . ACM Trans. Program. Lang. Syst., 1 (2): 226-244 (1979)