658 search results - page 101 / 132 » A formal approach to object-oriented software engineering |
140
click to vote
WSE
2006
IEEE
15 years 10 months ago
2006
IEEE
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
137
click to vote
SEFM
2008
IEEE
15 years 11 months ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
136
click to vote
APSEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
163
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
122
click to vote
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...