1557 search results - page 262 / 312 » Agent- Oriented Software Development: A Case Study |
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
ICSM
2009
IEEE
15 years 4 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
CSMR
2008
IEEE
15 years 4 months ago
2008
IEEE
Many reverse engineering approaches have been developed to analyze software systems written in different languages like C/C++ or Java. These approaches typically rely on a meta-mo...
ICST
2008
IEEE
15 years 4 months ago
2008
IEEE
Automated static analysis is a promising technique to detect defects in software. However, although considerable effort has been spent for developing sophisticated detection possi...
ADAEUROPE
2007
Springer
15 years 3 months ago
2007
Springer
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...