1448 search results - page 87 / 290 » From Requirements to Code Revisited |
108
click to vote
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
141
click to vote
GECCO
2000
Springer
15 years 7 months ago
2000
Springer
We describe the use of grammars as an approach to automatic function definition in Grammatical Evolution. The automatic generation of functions allows the evolution of both the fu...
130
click to vote
ICSM
1995
IEEE
15 years 7 months ago
1995
IEEE
The various goals and requirements of a system are realized in software as fragments of code that are typically \interleaved" in that they may be woven together in the same c...
120
click to vote
USENIX
2007
15 years 6 months ago
2007
Tame is a new event-based system for managing concurrency in network applications. Code written with Tame abstractions does not suffer from the “stackripping” problem associat...
145
click to vote
CSMR
2002
IEEE
15 years 8 months ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...