Titlebook: Logics of Specification Languages; Dines Bjørner,Martin C. Henson Book 2008 Springer-Verlag Berlin Heidelberg 2008 ASM (Abstract State Mac

Pandemic

Wernickes-area

留恋

Tidious

Abstract State Machines for the Classroomntary version of) ASM. The intuition of ASM as a formal framework for “pseudocode” algorithms is highlighted. Generalizing variants of the fundamental “sequential small-step” version of ASM are also considered.

惊惶

The event-B Modelling Method: Concepts and Case Studiesmodels at varying levels of abstraction, and there are a number of structuring mechanisms (machine, refinement and implementation) which are used in the organisation of a development. The first version of the B method is extensively described in The B Book [2]. It is supported by the Atelier B tool [50] and by the B Toolkit [78].

无能的人

ADAGE

品尝你的人

Pert敏捷

The Typed Logic of Partial Functions and the Vienna Development Methodication Language, VDM-SL. It compares attempts to realise the logic in different environments: a usercentred proof support tool, a specification interpreter and an automated proof tool. Future directions in integrated proof support for the language are suggested.

毁坏