Sciweavers

3 search results - page 1 / 1
» fase 1999
Sort
View
139
Voted
FASE
1999
Springer
15 years 11 months ago
Research Issues in the Renovation of Legacy Systems
Arie van Deursen, Paul Klint, Chris Verhoef
140
Voted
FASE
1999
Springer
15 years 11 months ago
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving
Christoph Lüth, Haykal Tej, Kolyang, Bernd Kr...
209
Voted
FASE
1999
Springer
15 years 11 months ago
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
Eva Coscia, Gianna Reggio