1136 search results - page 122 / 228 » A Multi-variant Approach to Software Process Modelling |
101
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
Abstract. In the context of an approach for reengineering legacy software systems at the architectural level, we present in this paper a reverse engineering methodology that uses a...
116
click to vote
FMCO
2009
Springer
15 years 4 days ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
117
Voted
KBSE
2002
IEEE
15 years 7 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
118
click to vote
ISOLA
2007
Springer
15 years 8 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
103
click to vote
ESE
2000
15 years 2 months ago
2000
We present a case study that aims at quantitative assessment of the impact of requirements changes, and quantitative estimation of costs of the development activities that must be ...