1689 search results - page 275 / 338 » Empirical Methodologies in Software Engineering |
ICSE
2008
IEEE-ACM
16 years 5 days ago
2008
IEEE-ACM
Model-based development is becoming an increasingly common development methodology. In important domains like embedded systems already major parts of the code are generated from m...
114
click to vote
SIGSOFT
2007
ACM
16 years 3 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
100
click to vote
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
EMSOFT
2004
Springer
15 years 4 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
SMA
2003
ACM
15 years 4 months ago
2003
ACM
Parametric feature-based CAD data exchange is one of the most important open problems in solid modeling. The problem is significant and challenging both scientifically and comme...