741 search results - page 51 / 149 » Automatic Generation and Validation of Models of Legacy Soft... |
FORTE
2004
14 years 11 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
ICSE
2003
IEEE-ACM
15 years 3 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
103
click to vote
FMCO
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
EDO
2005
Springer
15 years 3 months ago
2005
Springer
re connector is an abstraction capturing interactions among components. Apart from middleware independence, connectors provide additional services (e.g., adaptation, synchronizati...
ICSE
2011
IEEE-ACM
14 years 1 months ago
2011
IEEE-ACM
Continuous quality assessment is crucial for the long-term success of evolving software. On the one hand, code analysis tools automatically supply quality indicators, but do not p...