Søkt på: Søkeresultat
totalt 9 treff
Formal Methods in Programming and Their Applications
This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in …
Perspectives of System Informatics
This volume comprises the papers presented at the Third International Andrei Ershov Memorial Conference \Perspectives of System Informatics", Akadem- rodok (Novosibirsk, Russia), …
Perspectives of Systems Informatics
Thevolumecomprises?nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference "Perspectives of System Informatics," Akademgorodok (Novosibirsk, Russia), …
Perspectives of System Informatics
This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, …
Formal Systems Specification
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for …
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO …
Methods of Programming
The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the …
Perspectives of System Informatics
This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in …
Model-Based Testing of Reactive Systems
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many …