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

DOI10.1007/S10559-011-9308-4zbMATH Open1298.68061OpenAlexW4206053158MaRDI QIDQ464883FDOQ464883

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)

Cites Work

• Statecharts: a visual formalism for complex systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modelling Systems
• Title not available (Why is that?)
• Domain science and engineering from computer science to the sciences of informatics. I: Engineering
• A formal theory of objects, space and time
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Compositionality: Ontology and Mereology of Domains
• Title not available (Why is that?)

Cited In (5)

• Domains of Sciences, Universes of Discourse and Omega Arguments
• Title not available (Why is that?)
• Domain modelling: a foundation for software development
• Domain Endurants
• Manifest domains: analysis and description

Uses Software

• CASL
• CafeOBJ
• Maude
• Rodin
• Z

   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 👍 👎
• Computing and software science. State of the art and perspectives 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)