1557 search results - page 106 / 312 » Agent- Oriented Software Development: A Case Study |
UML
2001
Springer
15 years 2 months ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
ISSTA
1989
ACM
15 years 1 months ago
1989
ACM
The all-du-paths software testing criterion is the most discriminating of the data ow testing criteria of Rapps and Weyuker. Unfortunately, in the worst case, the criterion requir...
ICSE
2010
IEEE-ACM
15 years 1 months ago
2010
IEEE-ACM
When developers join a software development project, they find themselves in a project landscape, and they must become familiar with the various landscape features. To better und...
AOSD
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we propose an extension to JAsCo for supporting Adaptive Programming in a Component-Based Software Development context. JAsCo is an aspect-oriented programming langu...
APSEC
1998
IEEE
15 years 2 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...