3045 search results - page 317 / 609 » Formal Approaches to Software Architecture |
154
click to vote
ISCIS
2003
Springer
15 years 12 months ago
2003
Springer
One of the important tasks during software testing is the generation of test cases. Unfortunately, existing approaches to test case generation often have problems limiting their us...
183
click to vote
ARGMAS
2008
Springer
15 years 8 months ago
2008
Springer
Intelligent and autonomous software agents may engage in dialogue and argument with one another, and much recent research has considered protocols, architectures and frameworks for...
149
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
171
click to vote
MPC
2004
Springer
16 years 3 days ago
2004
Springer
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
172
click to vote
PROCOMET
1998
15 years 8 months ago
1998
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...