6348 search results - page 417 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
156
click to vote
ATAL
2007
Springer
16 years 16 days ago
2007
Springer
We define a tool-supported design framework that allows to specify an agent goal model and to automatically generate fragments of a BDI agent from it. We devise the design proces...
154
Voted
ISPW
2008
IEEE
16 years 22 days ago
2008
IEEE
The continuous changes in customer requirements as well as the ever-increasing market-driven demand of innovation makes automotive software projects success strongly dependent on t...
143
click to vote
ISSTA
2009
ACM
16 years 26 days ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
145
click to vote
ISSTA
2009
ACM
16 years 26 days ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
173
click to vote
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
Integrating several legacy software systems together is commonly performed with multiple applications of the Adapter Design Pattern in oo languages such as Java. The integration i...