5668 search results - page 722 / 1134 » The case for software evolution |
188
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract: Systematic testing of object-oriented software turned out to be much more complex than testing conventional software. Especially the highly incremental and iterative deve...
208
click to vote
JCSC
1998
15 years 6 months ago
1998
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
167
click to vote
CCE
2008
15 years 5 months ago
2008
A simple optimal balance control scheme for electrolyzation plants is proposed. It can be realized through the use of a commercially available model predictive control (MPC) packa...
190
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
152
click to vote
RE
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we describe a creativity workshop that was used in a large research project, called APOSDLE, to generate creative ideas and requirements for a workintegrated learni...