scientific article; zbMATH DE number 2172805

MaRDI QIDQ4680192zbMATH OpenFDO

Authors Chris George, Anne Elisabeth Haxthausen

Publication date 2 June 2006

zbMATH Keywords

formal methodslogicsRAISE

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 795688
• Semantical analysis of specification logic. II
• The NDB database specified in the RAISE specification language
• Applicative Modelling with RAISE
• An Institution for Imperative RSL Specifications

Cited in

(8)

• A UTP semantics for \textsf{Circus}
• The NDB database specified in the RAISE specification language
• Order-sorted algebraic specifications with higher-order functions
• Logics of specification languages
• Applicative Modelling with RAISE
• Model checking RAISE applicative specifications
• scientific article; zbMATH DE number 795688 (Why is no real title available?)
• Algebraic Methodology and Software Technology

Describes a project that uses

Uses Software

• RAISE
• PVS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4680192)