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

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

This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Met...

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...

This volume presents recent computer science work from the Baltic Republics of Estonia, Latvia an...

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

RezensionFrom the reviews:'The presentation is focused on the fundamental ideas of domain...

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