Sciweavers

46 search results - page 10 / 10
» Computer Science, Logic, Informatics Education
Sort
View
CSEE
2000
Springer
13 years 10 months ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...