7209 search results - page 281 / 1442 » Software Engineering for Multi-Agent Systems |
113
Voted
ECBS
2000
IEEE
15 years 5 months ago
2000
IEEE
The integration of software tools used in an engineering process is a problem that arises frequently in large-scale engineering projects. Traditional approaches are insufficient f...
129
Voted
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...
123
Voted
APSEC
1999
IEEE
15 years 4 months ago
1999
IEEE
One of the characteristics of large software systems is that they evolve over time. Evolution patterns include modifications related to the implementation, interfaces and the over...
115
Voted
CADE
2007
Springer
16 years 26 days ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
96
Voted
TES
2005
Springer
15 years 6 months ago
2005
Springer
Service-oriented Computing (SoC) in general, and e-service orchestrations in particular have the potential to increase reuse and to ease maintainability. Typically, interoperating ...