Sciweavers

1108 search results - page 107 / 222
» Model Driven Development of Software Product Lines
Sort
View
ICFEM
2009
Springer
16 years 21 days ago
Supporting Reuse of Event-B Developments through Generic Instantiation
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...
Renato Silva, Michael Butler
GTTSE
2007
Springer
16 years 8 days ago
Automated Merging of Feature Models Using Graph Transformations
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...
Sergio Segura, David Benavides, Antonio Ruiz Cort&...
COMPSAC
2006
IEEE
16 years 5 days ago
A Framework of Model-Driven Web Application Testing
Web applications have become complex and crucial in many fields. In order to assure their quality, a high demand for systematic methodologies of Web application testing is emergin...
Nuo Li, Qin-qin Ma, Ji Wu, Mao-zhong Jin, Chao Liu...
ASWEC
2005
IEEE
15 years 11 months ago
Extending UML for Model Composition
The success of UML and more generally, of the model driven approach, has led to a proliferation of models, representing various systems, but the description of large applications ...
Jacky Estublier, Anca Daniela Ionita
WSC
1997
15 years 7 months ago
A Simulation-Based Production Testbed
Researchers at the National Institute of Standards and Technology have been developing a simulation-based production testbed. This testbed contains continuous simulation models of...
Albert Jones, Michael Iuliano