scientific article; zbMATH DE number 795688

MaRDI QIDQ4845499zbMATH OpenFDO

Authors Chris George, Peter Haff, Klaus Havelund, Robert Milne, Claus Bendix Nielsen, Søren Prehn, Kim Ritter Wagner, Anne Elisabeth Haxthausen

Publication date 12 September 1995

zbMATH Keywords

specification language RAISE

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Applicative Modelling with RAISE
• scientific article; zbMATH DE number 2172805
• The NDB database specified in the RAISE specification language
• Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen.
• Logics of specification languages

Cited in

(17)

• HasCasl: integrated higher-order specification and program development
• The NDB database specified in the RAISE specification language
• To every manifest domain a CSP expression -- a rôle for mereology in computer science
• Semantics of under-determined expressions
• Stepwise development and model checking of a distributed interlocking system using RAISE
• Stepwise development and model checking of a distributed interlocking system -- using RAISE
• Refinement-oriented probability for CSP
• Classifying categories for partial equational logic
• Applicative Modelling with RAISE
• Model Checking LTL Formulae in RAISE with FDR
• Connectors as designs: modeling, refinement and test case generation
• scientific article; zbMATH DE number 1949619 (Why is no real title available?)
• scientific article; zbMATH DE number 2172805 (Why is no real title available?)
• Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering
• Manifest domains: analysis and description
• Domain endurants. An analysis and description process model
• Towards a denotational semantics of timed RSL using duration calculus

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 Q4845499)