Sciweavers

3 search results - page 1 / 1

» fase 1999

9

FASE
1999
Springer

81views Software Engineering» more FASE 1999»

Research Issues in the Renovation of Legacy Systems

13 years 10 months ago

Research Issues in the Renovation of Legacy Systems

Download www.cs.vu.nl

Arie van Deursen, Paul Klint, Chris Verhoef

claim paper

Read More »

10

FASE
1999
Springer

91views Software Engineering» more FASE 1999»

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving

13 years 10 months ago

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving

Download www.informatik.uni-bremen.de

Christoph Lüth, Haykal Tej, Kolyang, Bernd Kr...

claim paper

Read More »

22

FASE
1999
Springer

118views Software Engineering» more FASE 1999»

JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems

13 years 10 months ago

JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems

Download www.imamu.edu.sa

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

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »