Sciweavers

2 search results - page 1 / 1
» Immaterial Transfers with Material Consequences
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,...