1456 search results - page 12 / 292 » An Overview of the SODA System |
ICEIS
2007
IEEE
14 years 1 months ago
2007
IEEE
GPCE
2005
Springer
14 years 1 months ago
2005
Springer
Successful software systems must be prepared to evolve or they will die. Although object-oriented software systems are built to last, over time they degrade as much as any legacy s...
DIAGRAMS
2000
Springer
13 years 11 months ago
2000
Springer
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as th...
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
The design productivity gap requires more efficient design methods. Software systems have faced the same challenge and seem to have mastered it with the