Sciweavers

3 search results - page 1 / 1
» fase 1999
Sort
View
FASE
1999
Springer
15 years 10 months ago
Research Issues in the Renovation of Legacy Systems
Arie van Deursen, Paul Klint, Chris Verhoef
109
Voted
FASE
1999
Springer
15 years 10 months ago
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving
Christoph Lüth, Haykal Tej, Kolyang, Bernd Kr...
FASE
1999
Springer
15 years 10 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