2152 search results - page 303 / 431 » On Automating the Calculus of Relations |
WCRE
1998
IEEE
15 years 5 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
100
Voted
IWPC
1997
IEEE
15 years 5 months ago
1997
IEEE
Program understanding relates a computer program to the goals and requirements it is designed to accomplish. Understanding techniques that rely only on source code analysis are li...
122
click to vote
DBPL
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
94
Voted
FM
1997
Springer
15 years 5 months ago
1997
Springer
In this paper an extension of the IFAD VDM-SL Toolbox with a proof obligation generator is described. Static type checking in VDM is undecidable in general and therefore the type c...
115
click to vote
HICSS
1994
IEEE
15 years 4 months ago
1994
IEEE
A method is described for identification and classification of proteins encoded in large DNA sequences. Previously, an automated system was introduced for the general detection of...