1926 search results - page 166 / 386 » Modeling and Model Checking Software Product Lines |
150
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...
170
click to vote
SIGSOFT
2006
ACM
16 years 11 days ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
178
click to vote
AGILEDC
2009
IEEE
16 years 1 months ago
2009
IEEE
—The Scrum software development framework was designed for the hyperproductive state where productivity increases by 5-10 times over waterfall teams and many colocated teams have...
138
click to vote
AC
2008
Springer
15 years 6 months ago
2008
Springer
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
172
click to vote
ICRE
2000
IEEE
15 years 10 months ago
2000
IEEE
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...