1137 search results - page 111 / 228 » Disciplined Methods of Software Specification: A Case Study |
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
Recently, studies with the XCS classifier system on Boolean functions have shown that in certain types of functions simple crossover operators can lead to disruption and, conseque...
ANSOFT
1999
14 years 9 months ago
1999
In real-time systems, dynamic inconsistencies of software are hardly detected, diagnosed and handled. A built-in test (BIT) method is developed to cope with software dynamic incon...
133
click to vote
ICEIS
2009
IEEE
14 years 7 months ago
2009
IEEE
Rearchitecturing large software systems becomes more and more complex after years of development and a growing size of the code base. Nonetheless, a constant adaptation of software...
ASWEC
2001
IEEE
15 years 1 months ago
2001
IEEE
For many small software companies, full-scale software process improvement (SPI) initiatives are often out of reach due to prohibitive costs and lack of SPI knowledge. However, to...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...