1098 search results - page 124 / 220 » Combining Models for Business Decisions and Software Develop... |
203
click to vote
ICSR
2011
Springer
14 years 7 months ago
2011
Springer
Product Line Architecture (PLA) plays a central role in software product line development. In order to support architecture-level variability modeling, most architecture descriptio...
142
click to vote
APSEC
1999
IEEE
15 years 8 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...
141
click to vote
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
137
click to vote
CHB
2011
14 years 7 months ago
2011
Admittedly this is a presumptuous title that should never be used when reporting on individual research advances. Wisdom is just not a scientific concept. In this case, though, w...
139
click to vote
ICCAD
2010
IEEE
15 years 1 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...