FASE 1999 | Sciweavers

85

click to vote

FASE
1999
Springer

91views Software Engineering» more FASE 1999»

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

15 years 7 months ago

Download www.informatik.uni-bremen.de

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

claim paper

Read More »

124

Voted

FASE
1999
Springer

118views Software Engineering» more FASE 1999»

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

15 years 7 months ago

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 »

80

click to vote

FASE
1999
Springer

81views Software Engineering» more FASE 1999»

Research Issues in the Renovation of Legacy Systems

15 years 7 months ago

Download www.cs.vu.nl

Arie van Deursen, Paul Klint, Chris Verhoef

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers