9006 search results - page 102 / 1802 » Modeling Software |
120
click to vote
IFM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
142
click to vote
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
129
click to vote
CSMR
2006
IEEE
15 years 8 months ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
129
click to vote
DAGSTUHL
2009
15 years 3 months ago
2009
Abstract. Software must be constantly adapted to changing requirehe time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation t...
144
click to vote
ENTCS
2006
15 years 2 months ago
2006
While a lot of progress has been made in improving analyses and tools that aid software development, less effort has been spent on studying how such tools are commonly used in pra...