Sciweavers

9006 search results - page 116 / 1802
» Modeling Software
Sort
View
109
Voted
VAMOS
2008
Springer
15 years 4 months ago
A Multiple Views Model for Variability Management in Software Product Lines
With current trends towards moving variability from hardware to software, and given the increasing desire to postpone design decisions as much as is economically feasible, managin...
Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatri...
144
Voted
ADAEUROPE
2001
Springer
15 years 7 months ago
Building Formal Requirements Models for Reliable Software
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
Axel van Lamsweerde
BIOCOMP
2006
15 years 3 months ago
Basic Reproductive Rate of a Spatial Epidemic Seir Model using Computer Algebra Software
The use of computer algebra software has many applications in diverse fields like epidemiology. This work pretends to show how computer algebra software applications for symbolic ...
Sebastian Guzmán, Juan Fernando Ospina
IJCAI
2007
15 years 4 months ago
Fault-Model-Based Test Generation for Embedded Software
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
Michael Esser, Peter Struss
117
Voted
MASCOTS
2003
15 years 3 months ago
Software Performance Modeling Using UML and Petri Nets
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
José Merseguer, Javier Campos