1141 search results - page 138 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
171
click to vote
CAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
213
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
179
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Over the past years it has become evident that the benefits of object orientation warrant the design and development of reengineering methods that aim to migrate legacy procedural...
182
click to vote
ARCS
2005
Springer
15 years 12 months ago
2005
Springer
This paper examines how methods inspired by biological processes can be applied to the design of large-scale environment-aware sensor networks. Our ultimate goal are systems conta...
144
click to vote
AEI
2008
15 years 6 months ago
2008
The paper proposes a methodology to assist the designer at the initial stages of the design synthesis process by enabling him/her to employ knowledge and algorithms existing in gr...