Searching for "KORSO Das Verbundprojekt "Korrekte Software"." – sorted by Relevance.
-
Tagungsband-Korrekt4.doc
- filterbank. After a further half-way tagungsband-korrekt4.doc submitted to World Scientific 28.01.99 : 12
- Add To MetaCart
-
Software
- ✐ ✐ Chapter 1 Integrating Component-Based Scientific Computing Software Steven G. Parker, Keming
- Add To MetaCart
-
Software
- Software for development and communication with FPGA based hardware Jaroslaw Szewinski, Pawel
- Add To MetaCart
-
software
- Transforming security audit requirements into a software architecture Koen Yskout, Bart De Win
- Add To MetaCart
-
Software
- Sciences The University of Texas at Austin habals@(email omitted); Mohammad R. Haghighat Software Solution
- Add To MetaCart
-
Universität Augsburg Integration formaler Spezifikation und
- Spezifikationen für software-basierte Ingenieuranwendungen entwickelt. Dabei steht ’sicher’ sowohl für korrektes
- Add To MetaCart
-
Formale Methoden Software für das Space Shuttle
- korrekte Funktionieren von Software nun in Bereichen die einen direkten Ein uss auf das Leben von Menschen
- Add To MetaCart
-
KORSO: A Methodology for the Development of Correct Software
- Korso: A Methodology for the Development of Correct Software (preliminary version) Peter Pepper
- Cited by 9 (2 self) – Add To MetaCart
-
The Software for Cultures and the Cultures in Software
- The Software for Cultures and the Cultures in Software * Gregory E. Kersten 1 , Stan Matwin 2
- Cited by 2 (2 self) – Add To MetaCart
-
Software Evolution and Software Evolvability
- Software Evolution and Software Evolvability Abstract In addition to managing day
- Cited by 1 (0 self) – Add To MetaCart

