Domain science and engineering from computer science to the sciences of informatics. II: Science

DOI10.1007/S10559-011-9308-4MaRDI QIDQ464883zbMATH OpenOpenAlexFDO

Authors Dines Bjørner

Publication date 30 October 2014

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10559-011-9308-4

zbMATH Keywords

software engineeringdomain descriptiondomain engineeringdomain modelingsoftware development

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Domain science and engineering from computer science to the sciences of informatics. I: Engineering
• From computational science to Internetics: Integration of science with computer science
• The science of computing: shaping a discipline
• Computing and software science. State of the art and perspectives
• scientific article; zbMATH DE number 2079849
• scientific article; zbMATH DE number 1955835

Cites work

• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 2043522 (Why is no real title available?)
• scientific article; zbMATH DE number 2161254 (Why is no real title available?)
• scientific article; zbMATH DE number 795680 (Why is no real title available?)
• scientific article; zbMATH DE number 1390334 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• scientific article; zbMATH DE number 3418623 (Why is no real title available?)
• A formal theory of objects, space and time
• Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering
• Domain science and engineering from computer science to the sciences of informatics. I: Engineering
• Modelling Systems
• Statecharts: a visual formalism for complex systems

Cited in

(6)

• Domains of Sciences, Universes of Discourse and Omega Arguments
• Domain endurants. An analysis and description process model
• scientific article; zbMATH DE number 1983038 (Why is no real title available?)
• 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

Describes a project that uses

Uses Software

• Z
• Rodin
• Maude
• CafeOBJ
• CASL

This page was built for publication: Domain science and engineering from computer science to the sciences of informatics. II: Science

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