From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications.

O. Au, R. Stone, и J. Cooke. IFM, том 4591 из Lecture Notes in Computer Science, стр. 21-36. Springer, (2007)

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.

Editorial.J. Cooke. Formal Aspects Comput., 14 (1): 1 (2002)Teaching formal software engineering at Loughborough.R. Stone, и J. Cooke. PPIG (1), стр. 11. Psychology of Programming Interest Group, (1992)A Comparison of Association Rule Discovery and Bayesian Network Causal Inference Algorithms to Discover Relationships in Discrete Data.J. Bowes, E. Neufeld, J. Greer, и J. Cooke. AI, том 1822 из Lecture Notes in Computer Science, стр. 326-336. Springer, (2000)Editorial.J. Cooke. Formal Aspects Comput., 17 (3): 259-259 (2005)Formal Methods - Mathematics, Theory, Recipes or What?J. Cooke. Comput. J., 35 (5): 419-423 (1992)The Purpose of Specification.R. Stone, и J. Cooke. PPIG, стр. 5. Psychology of Programming Interest Group, (1997)Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications.O. Au, R. Stone, и J. Cooke. IFM, том 4591 из Lecture Notes in Computer Science, стр. 21-36. Springer, (2007)Automatic generation of instructional hypermedia with APHID.J. Thomson, J. Greer, и J. Cooke. Interact. Comput., 13 (6): 631-654 (2001)Editorial.J. Cooke. Formal Aspects Comput., 19 (1): 1 (2007)Generating instructional hypermedia with APHID.J. Thomson, J. Greer, и J. Cooke. Hypertext, стр. 248-249. ACM, (2000)