( en | de | ru )

 

Disambiguation of "Luckham, David C."

Author of the publication

copydeleteadd this publication to your clipboard
A practical method of documenting and verifying Ada programs with packages.

, and . SIGPLAN, page 113-122. ACM, (1980)

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)Software validation and verification - a state of the art report(Panel Discussion)., , , , , and . ACM Annual Conference (2), page 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, 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)Concurrent Runtime Checking of Annotated Ada Programs., , and . FSTTCS, volume 241 of Lecture Notes in Computer Science, page 10-35. Springer, (1986)Verification of VHDL Designs Using VAL., , , , and . DAC, page 48-53. ACM, (1988)Polymorphism and Subtyping in Interfaces., , and . Workshop on Interface Definition Languages, page 22-34. ACM Press, (1994)SIGPLAN Notices 29(8), August 1994.Program verification at Stanford., and . ACM SIGSOFT Softw. Eng. Notes, 6 (3): 25-27 (1981)