6348 search results - page 807 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
143
click to vote
FLAIRS
2008
15 years 9 months ago
2008
The paper is dedicated to an analysis of the classic business rules study called UServ. The importance of this study comes from the fact, that it serves as a benchmark example for...
147
click to vote
METRICS
2003
IEEE
16 years 3 days ago
2003
IEEE
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research an...
180
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months 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...
212
click to vote
SIGSOFT
2007
ACM
16 years 7 months 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...
208
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...