InhaltsangabeOpening.- The Triptych Paradigm.- Documents.- Conceptual Framework.- Methods and Met...

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

InhaltsangabeObject orientation and formal techniques.- An algebraic approach to refinement.- Mod...

RezensionFrom the reviews:'The present volume is the second one of a trilogy on formal de...

InhaltsangabeVDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three g...

This volume comprises the papers selected for presentationat the international confer...

InhaltsangabeSemantics and laws of man-made infrastructure systems.- The language lola, FPGAs, an...

InhaltsangabeOpening.- Specification Facets.- Hierarchies and Compositions.- Denotations and Comp...

InhaltsangabeThe programming system PRIZ.- Type-theoretical semantics of some declarative languag...

RezensionFrom the reviews:'The book under review is the first one from a series of three ...

InhaltsangabePreludium.- An Overview.- The Languages.- Abstract State Machines for the Classroom....