1200 search results - page 94 / 240 » The Problem Frames Approach to Software Engineering |
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make su...
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
Evolutionary structural testing is an approach to automatically generating test cases that achieve high structural code coverage. It typically uses genetic algorithms (GAs) to sea...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
Advances in high-performance computing have led to the broad use of computational studies in everyday engineering and scientific applications. A single study may require thousand...
FOSSACS
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
The frequent changes during the development and usage of large software systems often lead to a loss of architectural quality which hampers the implementation of further changes a...