Category:LNCS 1009

From BibNetWiki

Lecture Notes in Computer Science, Volume 1009

Articles in category "LNCS 1009"

There are 23 articles in this category.

' ''Production Cell'': A Comparative Study in Formal Specification and Verification A A Fine-Grain Sort Discipline and Its Application to Formal Program Construction A Method for the Development of Correct Software AVL Trees Revisited: A Case Study in SPECTRUM C Construction and Deduction Methods for the Formal Development of Software Correct Software: From Experiments to Applications D Design of Modular Software Systems with Reuse

E Event Automata as a Generic Model of Reactive Systems Experiences with a Specification Environment F Formalization of Algebraic Specification in the Development Language DEVA H How to Cope with the Spectrum of SPECTRUM K KORSO: methods, languages, and tools for the construction of correct software: final report Korso Reference Languages - Concepts and Application Domains O On Object-Oriented Design and Verification R Realizing Sets by Hash Tables

S Seduct - A Proof Compiler for First Order Logic T TROLL light - The Language and its Development Environment The KIV-Approach to Software Verification The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System The Verification System Tatzelwurm Three Selected Case Studies in Verification Towards Correct, Efficient and Reusable Transformational Developments Traverdi - Transformation and Verification of Distributed Systems