scientific article; zbMATH DE number 795680
From MaRDI portal
Publication:4845494
zbMATH Open0875.68296MaRDI QIDQ4845494FDOQ4845494
Authors: Chris George, Steven Hughes, Robert Milne, Søren Prehn, Jan Storbank Pedersen, Anne Elisabeth Haxthausen 
Publication date: 12 September 1995
Title of this publication is not available (Why is that?)
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)
