scientific article; zbMATH DE number 795680

MaRDI QIDQ4845494zbMATH OpenFDO

Authors Chris George, Steven Hughes, Robert Milne, Søren Prehn, Jan Storbank Pedersen, Anne Elisabeth Haxthausen

Publication date 12 September 1995

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99)

Cited in

(11)

• Towards a denotational semantics of timed RSL using duration calculus
• An Institution for Imperative RSL Specifications
• Domain endurants. An analysis and description process model
• Model Checking LTL Formulae in RAISE with FDR
• Mutation testing in UTP
• Domain science and engineering from computer science to the sciences of informatics. II: Science
• To every manifest domain a CSP expression -- a rôle for mereology in computer science
• Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering
• Domain modelling: a foundation for software development
• Manifest domains: analysis and description
• Domain science and engineering from computer science to the sciences of informatics. I: Engineering

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