( en | de | ru )

 

Disambiguation of "Luckham, David C."

Author of the publication

copydeleteadd this publication to your clipboard
Polymorphism and Subtyping in Interfaces.

, , and . Workshop on Interface Definition Languages, page 22-34. ACM Press, (1994)SIGPLAN Notices 29(8), August 1994.

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)Concurrent Runtime Checking of Annotated Ada Programs., , and . FSTTCS, volume 241 of Lecture Notes in Computer Science, page 10-35. Springer, (1986)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, and . IEEE Transactions on Software Engineering, 21 (9): 717--734 (1995)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)Software validation and verification - a state of the art report(Panel Discussion)., , , , , and . ACM Annual Conference (2), page 781. ACM, (1978)Task Sequencing Languages for Specifying Distributed Ada Systems., , , , and . System Development and Ada, volume 275 of Lecture Notes in Computer Science, page 249-305. Springer, (1986)Three Steps towards Information Technology Insight. (2004)A brief account: Implementation and applications of a Pascal program verifier (Position Statement).. ACM Annual Conference (2), page 786-792. ACM, (1978)