1782 search results - page 230 / 357 » Tool Support for Proof Engineering |
IWPC
2006
IEEE
14 years 2 months ago
2006
IEEE
: Alborz is a multi-view, interactive, and wizard-based software architecture reconstruction and evaluation toolkit that takes advantage of the Eclipse plug-in technology to provid...
AOSD
2006
ACM
14 years 2 months ago
2006
ACM
When specifying pointcuts, i.e. join point selections, in AspectOriented Software Development, developers have in different situations different conceptual models in mind. Aspect-...
ISPASS
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— Network processing is becoming an increasingly important paradigm as the Internet moves towards an architecture with more complex functionality inside the network. Mode...
AGENTS
2001
Springer
14 years 1 months ago
2001
Springer
From a software engineering perspective, agent systems are a specialization of object-oriented (OO) systems, in which individual objects have their own threads of control and thei...
ICCBR
1999
Springer
14 years 1 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...