1926 search results - page 79 / 386 » Modeling and Model Checking Software Product Lines |
165
click to vote
CBSE
2006
Springer
15 years 9 months ago
2006
Springer
Ideally in the deployment phase, components should be composable, and their composition checked. Current component models fall short of this ideal. Most models do not allow composi...
159
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
156
Voted
ENTCS
2006
15 years 6 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
141
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The motivation behind the idea of product focused process improvement is to make a process improvement program address certain product quality features in an explicit manner. The P...
176
click to vote
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Improvements in the software development process depend on our ability to collect and analyze data drawn from various phases of the development life cycle. Our design metrics rese...