Domain endurants. An analysis and description process model

DOI10.1007/978-3-642-54624-2_1MaRDI QIDQ5403066zbMATH OpenOpenAlexFDO

Authors Dines Bjørner

Publication date 25 March 2014

Published in Specification, Algebra, and Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54624-2_1

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Manifest domains: analysis and description
• scientific article; zbMATH DE number 2161254
• From Domain to Requirements
• scientific article; zbMATH DE number 2079849
• Domain engineering

Cites work

• scientific article; zbMATH DE number 3864486 (Why is no real title available?)
• scientific article; zbMATH DE number 1249514 (Why is no real title available?)
• scientific article; zbMATH DE number 977452 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 795680 (Why is no real title available?)
• scientific article; zbMATH DE number 795688 (Why is no real title available?)
• scientific article; zbMATH DE number 970743 (Why is no real title available?)
• Domain engineering
• Domain science and engineering from computer science to the sciences of informatics. II: Science
• From Domain to Requirements
• Program verification and system dependability
• The logical systems of Lesniewski

Cited in

(6)

• Automatic derivation of domain terms and concept location based on the analysis of the identifiers
• Relating Domain Concepts Intensionally by Ordering Connections
• To every manifest domain a CSP expression -- a rôle for mereology in computer science
• The deontic pattern – a framework for domain analysis in information systems design
• Domain modelling: a foundation for software development
• Manifest domains: analysis and description

Describes a project that uses

Uses Software

• OBJ3

This page was built for publication: Domain endurants. An analysis and description process model

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