1781 search results - page 123 / 357 » An Emerging Need for a New Software Engineering Method |
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
129
Voted
VISSOFT
2002
IEEE
15 years 5 months ago
2002
IEEE
Interesting events and state mapping are two approaches used to specify software visualization. They are applied in, respectively, event-driven and data-driven visualization syste...
112
click to vote
SOSYM
2010
14 years 7 months ago
2010
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
108
Voted
ECMDAFA
2009
Springer
15 years 4 months ago
2009
Springer
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...