( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Program verification at Stanford.

, и . ACM SIGSOFT Softw. Eng. Notes, 6 (3): 25-27 (1981)

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

 

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

An Event-Based Architecture Definition Language, и . 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., , и . FSTTCS, том 241 из Lecture Notes in Computer Science, стр. 10-35. Springer, (1986)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)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)Translating recursion schemes into program schemes., и . Proving Assertions About Programs, стр. 83-96. ACM, (1972)Specification and Analysis of System Architecture Using Rapide, , , , , , , и . IEEE Transactions on Software Engineering, 21 (4): 336-355 (1995)Verification of Fairness in an Implementation of Monitors., и . ICSE, стр. 40-46. IEEE Computer Society, (1976)Three Steps towards Information Technology Insight. (2004)