Søkt på: Søkeresultat
totalt 35 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 …
Informatik. Eine grundlegende Einführung
Dieser dritte Teil der vierteiligen Einführung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung. Nach den Grundbegriffen …
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), …
Constructive Methods in Computing Science
Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. …
Software Pioneers
A lucid statement of the philosophy of modular programming can be found in a 1970 textbook on the design of system programs by Gouthier and Pont [1, l Cfl0. 23], which we quote …
Perspectives of Systems Informatics
Thevolumecomprises?nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference "Perspectives of System Informatics," Akademgorodok (Novosibirsk, Russia), …
Informatik Eine grundlegende Einführung
Diese Einführung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen …
Model-Driven Development of Reliable Automotive Services
Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-criticalandcomfortfunctionso?eredtothecustomer. Ninety percentofallinnovations …
Programming and Mathematical Method
The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. …
Mathematical Methods in Program Development
Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, …
Informatik
Diese in der Neuauflage zweibändige Einführung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und …
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, …