352 search results - page 1 / 71 » Model-Based Development: Combining Engineering Approaches an... |
ICFEM
2004
Springer
14 years 4 months ago
2004
Springer
ESEC
1997
Springer
14 years 3 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
FM
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
ICTAC
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
INTERACT
2003
14 years 5 days ago
2003
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...