Das Buch führt in die Grundlagen der Softwaretechnik ein. Dabei liegt sein Fokus auf der systemat...

InhaltsangabeInformation und ihre Repräsentation.- Rechenstrukturen und Algorithmen.- Programmier...

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the form...

This volume comprises the papers presented at the Third International Andrei Ershov Memorial Conf...

A mathematical and logical foundation for the specification and development of interactive system...

The development of information processing systems requires models, calculi, and theories for the ...

InhaltsangabeEliminating the Chaff-Again: Banquet Speech at Marktoberdorf 1996.- Envoi at Marktob...

A lucid statement of the philosophy of modular programming can be found in a 1970 textbook on the...

Testing is the primary hardware and software verification technique used by industry today. Usual...

InhaltsangabeTwo metamodels for application system development conventional vs. object-oriented a...

Leitlinie dieser Einführung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem...