352 search results - page 1 / 71 » Model-Based Development: Combining Engineering Approaches an... |
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
ESEC
1997
Springer
13 years 9 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 3 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
13 years 10 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
13 years 6 months 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...