KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540605898, 9783540478027
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Design of modular software systems with reuse

1995 ◽  
pp. 112-127 ◽  
Author(s):  
Stefan Gastinger ◽  
Rolf Hennicker ◽  
Robert Stabl
Keyword(s):  
Software Systems ◽  
Modular Software

Realizing sets by hash tables

1995 ◽  
pp. 58-73
Author(s):  
Peter Pepper ◽  
Ralph Betschko ◽  
Sabine Dick ◽  
Klaus Didrich
Keyword(s):  
Hash Tables

The verification system Tatzelwurm

1995 ◽  
pp. 285-298 ◽  
Author(s):  
Peter Deussen ◽  
Alex Hansmann ◽  
Thomas Käufl ◽  
Stefan Klingenbeck
Keyword(s):  
Verification System

AVL trees revisited: A case study in Spectrum

1995 ◽  
pp. 128-147
Author(s):  
R. Hettler ◽  
D. Nazareth ◽  
F. Regensburger ◽  
O. Slotosch
Keyword(s):  
Avl Trees

Towards correct, efficient and reusable transformational developments

1995 ◽  
pp. 268-284 ◽  
Author(s):  
Bernd Krieg-Brückner ◽  
Junbo Liu ◽  
Hui Shi ◽  
Burkhard Wolff

A method for the development of correct software

1995 ◽  
pp. 25-57 ◽  
Author(s):  
Peter Pepper ◽  
Martin Wirsing ◽  
Ralph Betschko ◽  
Manfred Broy ◽  
Sabine Dick ◽  
...  

Three selected case studies in verification

1995 ◽  
pp. 369-387 ◽  
Author(s):  
Thomas Fuchß ◽  
Wolfgang Reif ◽  
Gerhard Schellhorn ◽  
Kurt Stenzel
Keyword(s):  
Case Studies
Load More ...
Sign in / Sign up

Export Citation Format

Share Document