1926 search results - page 80 / 386 » Modeling and Model Checking Software Product Lines |
174
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
292
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
177
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
250
Voted
ECSA
2011
Springer
14 years 5 months ago
2011
Springer
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...
138
click to vote
WSC
1998
15 years 7 months ago
1998
A major portion of highway construction work is comprised of linear activities. A linear activity is one that progresses along a path (non-stationary), as it does it is complete a...