( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Software validation and verification - a state of the art report(Panel Discussion).

, , , , , и . ACM Annual Conference (2), стр. 781. ACM, (1978)

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.

David C Coffey

David C Reinisch

Guido C C Clinckspoor

Thomas C C Knöbig

Ullrich C C Jagstaidt

 

Другие публикации лиц с тем же именем

NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification., и . Requirements Targeting Software and Systems Engineering, том 1526 из Lecture Notes in Computer Science, стр. 293-329. Springer, (1997)Concurrent Runtime Checking of Annotated Ada Programs., , и . FSTTCS, том 241 из Lecture Notes in Computer Science, стр. 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, и . IEEE Transactions on Software Engineering, 21 (9): 717--734 (1995)Translating recursion schemes into program schemes., и . Proving Assertions About Programs, стр. 83-96. ACM, (1972)Rapide: A language and toolset for simulation of distributed systems by partial orderings of events.. Partial Order Methods in Verification, том 29 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 329-357. DIMACS/AMS, (1996)Software validation and verification - a state of the art report(Panel Discussion)., , , , , и . ACM Annual Conference (2), стр. 781. ACM, (1978)Task Sequencing Languages for Specifying Distributed Ada Systems., , , , и . System Development and Ada, том 275 из Lecture Notes in Computer Science, стр. 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), стр. 786-792. ACM, (1978)