568 search results - page 59 / 114 » Enforcing traceability in software |
113
click to vote
ADAEUROPE
2008
Springer
15 years 4 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
110
click to vote
MODELLIERUNG
2008
15 years 4 months ago
2008
: The management of metamodels is supported by runtime environments that enforce the well-formedness of (meta-)model instances. Beyond this basic functionality, additional capabili...
141
click to vote
SAC
2010
ACM
14 years 9 months ago
2010
ACM
Model-Driven Engineering (MDE) advocates the use of models at every step of the software development process. Within this context, a team of engineers collectively and collaborati...
115
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
This paper proposes a software architecture and a development process for engineering dependable and controllable self-organising (SO) systems. Our approach addresses dependabilit...
121
Voted
RISE
2005
Springer
15 years 8 months ago
2005
Springer
Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the...