2430 search results - page 72 / 486 » Tool support for quality-driven development of software arch... |
111
click to vote
APSEC
2004
IEEE
15 years 5 months ago
2004
IEEE
Software is an increasing and important part of many products and systems. Software, hardware, and system level components have been developed and produced following separate proc...
112
click to vote
FASE
2000
Springer
15 years 5 months ago
2000
Springer
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
105
click to vote
ICRA
1999
IEEE
15 years 5 months ago
1999
IEEE
Developing automated assembly systems normally happens in two distinct stages: rst an o -line" stage in which the system is designed and programmed in simulated and then an o...
127
click to vote
CASCON
2007
15 years 3 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
111
click to vote
EMSOFT
2010
Springer
14 years 11 months ago
2010
Springer
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...