2578 search results - page 209 / 516 » A Family-Oriented Software Development Process for Engine Co... |
143
Voted
FOSSACS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
132
Voted
ICFEM
2000
Springer
15 years 7 months ago
2000
Springer
Retrenchment is presented in a simple relational framework as a more flexible development concept than refinement for capturing the early preformal stages of development, and brie...
120
Voted
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
A typical software development team leaves behind a large amount of information. This information takes different forms, such as mail messages, software releases, version control ...
114
Voted
ACSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
The relationships between the work products of a security engineering process can be hard to understand, even for persons with a strong technical background but little knowledge o...
127
Voted
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
Existing software thread integration (STI) methods provide synchronous thread progress within integrated functions. For the remaining, non-integrated portions of the secondary (or...