1782 search results - page 141 / 357 » Tool Support for Proof Engineering |
156
click to vote
SOFTVIS
2003
ACM
15 years 11 months ago
2003
ACM
The paper presents a new 3D representation for visualizing large software systems. The origins of this representation can be directly traced to the SeeSoft metaphor. This work ext...
166
click to vote
IASSE
2004
15 years 7 months ago
2004
The role of design patterns in forward engineering is well known, also if it's not easy to use them, since large experience is needed. Different approaches and tools have bee...
169
click to vote
ICSM
2005
IEEE
16 years 1 days ago
2005
IEEE
The documentation of a program often falls behind the evolution of the program source files. When this happens it may be attractive to shift the documentation mode from updating ...
164
click to vote
MSO
2003
15 years 7 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
175
click to vote
FM
1998
Springer
15 years 10 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...