352 search results - page 1 / 71 » Model-Based Development: Combining Engineering Approaches an... |
170
Voted
ESEC
1997
Springer
15 years 10 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...
195
click to vote
FM
2009
Springer
15 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...
162
Voted
ICTAC
2004
Springer
15 years 11 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...
171
click to vote
INTERACT
2003
15 years 7 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...