568 search results - page 59 / 114 » Enforcing traceability in software |
ADAEUROPE
2008
Springer
13 years 12 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...
MODELLIERUNG
2008
13 years 11 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...
SAC
2010
ACM
13 years 4 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...
SAC
2010
ACM
14 years 4 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...
RISE
2005
Springer
14 years 3 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...