1432 search results - page 118 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
126
click to vote
STEP
2005
IEEE
15 years 9 months ago
2005
IEEE
With the advent of UML and MDA, models play an increasingly important role in software development. Hence, the management of the quality of models is of key importance for complet...
146
Voted
WOSP
2005
ACM
15 years 9 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
199
Voted
ESEC
1999
Springer
15 years 7 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
116
click to vote
EUROMICRO
1998
IEEE
15 years 7 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
112
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...