352 search results - page 38 / 71 » Model-Based Development: Combining Engineering Approaches an... |
158
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
179
click to vote
JSW
2008
15 years 6 months ago
2008
An estimation of change-proneness of parts of a software system is an active topic in the area of software engineering. Such estimates can be used to predict changes to different c...
180
click to vote
JUCS
2010
15 years 4 months ago
2010
: Model-Driven Development concepts are exhibiting as a good engineering solution for the design of ubiquitous applications with multi-device user interfaces and other contextaware...
145
click to vote
FMICS
2008
Springer
15 years 7 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
188
click to vote
IFM
2007
Springer
16 years 3 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...