Sciweavers

2 search results - page 1 / 1
» Immaterial Transfers with Material Consequences
Sort
View
CSEE
2000
Springer
13 years 9 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,...