[Lecture Notes in Computer Science] ESEC '87 Volume 289 || Formal specifications, prototyping and integration tests
- 作者Nichols, Howard; Simpson, Dan
- 文件大小566.28KB
- 发表时间1987
- DOI10.1007/bfb0022110
- 页码172-179
A refinement calculus for tuple spacesLaura Semini; Carlo Montangero · 1999
Information management in context treesCarlo Montangero; Giuliano Pacini; Maria Simi; Franco Turini · 1978
Barbed Model–Driven Software Development: A Case StudyCarlo Montangero; Laura Semini · 2008
Automatic generation of execution tools in a GANDALF environmentVincenzo Ambriola; Carlo Montangero · 1985
Report on the fifth European workshop on software process technologyMontangero, Carlo · ACM SIGSOFT Software Engineering Notes · 1997
Report on the Fifth European Workshop on Software Process TechnologyCarlo Montangero · 1996
[Lecture Notes in Computer Science] Software Process Technology Volume 1149 || When agents clashMontangero, Carlo · 1996
[Lecture Notes in Computer Science] Software Process Technology Volume 1149 || Laws of software evolution revisitedMontangero, Carlo · 1996