5252 search results - page 411 / 1051 » Requirements engineering: a roadmap |
251
click to vote
AOSD
2011
ACM
15 years 2 months ago
2011
ACM
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
346
click to vote
AMAST
2010
Springer
15 years 2 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
203
click to vote
CCE
2011
15 years 2 months ago
2011
Large amounts of thermal energy are transferred to for heating or cooling in the industry as well as in the other sectors. Typical examples are crude oil preheating, ethylene plan...
202
click to vote
EJASMP
2010
15 years 2 months ago
2010
A system is described for simulating environmental sound in interactive virtual worlds, using the physical state of objects as control parameters. It contains a unified framework ...
273
click to vote
JUCS
2010
15 years 2 months ago
2010
Abstract: Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive E...