1023 search results - page 54 / 205 » Renaissance: A Method to Support Software System Evolution |
154
click to vote
EKAW
2006
Springer
15 years 8 months ago
2006
Springer
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...
165
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
157
click to vote
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Design patterns are a standard means to create large software systems. However, with standard object-oriented techniques, typical implementations of such patterns are not themselv...
141
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
The organization of objects into classes and categories is an essential task in the process of forming concepts. Within computer science, this classification activity must be suppo...
143
click to vote
FM
1998
Springer
15 years 8 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...