Sciweavers

1108 search results - page 114 / 222
» Model Driven Development of Software Product Lines
Sort
View
SEFM
2007
IEEE
16 years 12 days ago
Supporting Proof in a Reactive Development Environment
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
Farhad Mehta
VAMOS
2008
Springer
15 years 7 months ago
Weaving Aspect Configurations for Managing System Variability
Variability management is a key concern in the software industry. It allows designers to rapidly propose applications that fit the environment and the user needs, with a certain Q...
Brice Morin, Olivier Barais, Jean-Marc Jéz&...
ISPW
2007
IEEE
16 years 13 days ago
Coping with the Cone of Uncertainty: An Empirical Study of the SAIV Process Model
There is large uncertainty with the software cost in the early stages of software development due to requirement volatility, incomplete understanding of product domain, reuse oppor...
Da Yang, Barry W. Boehm, Ye Yang, Qing Wang, Mings...
BIRTHDAY
2007
Springer
16 years 10 days ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
WSC
2000
15 years 7 months ago
Using simulation to support implementation of flexible manufacturing Cell
A simulation model was developed and tested using Taylor II to justify the implementation of a Flexible Manufacturing Cell (FMC). The current production capacity at the existing C...
Kambiz Farahmand