Sciweavers

16725 search results - page 416 / 3345
» Engineering Software Correctness
Sort
View
102
Voted
EWSPT
1999
Springer
15 years 9 months ago
Architectural Views and Alternatives
Wilhelm Schäfer, Alfonso Fuggetta, Claude God...
95
Voted
FASE
1999
Springer
15 years 9 months ago
Research Issues in the Renovation of Legacy Systems
Arie van Deursen, Paul Klint, Chris Verhoef
101
Voted
FASE
1999
Springer
15 years 9 months ago
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving
Christoph Lüth, Haykal Tej, Kolyang, Bernd Kr...
134
Voted
FSTTCS
1999
Springer
15 years 9 months ago
Approximation Algorithms for Routing and Call Scheduling in All-Optical Chains and Rings
Luca Becchetti, Miriam Di Ianni, Alberto Marchetti...