From Domain to Requirements

DOI10.1007/978-3-540-68679-8_18MaRDI QIDQ3507370zbMATH OpenOpenAlexFDO

Authors Dines Bjørner

Publication date 19 June 2008

Published in Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1842/3719

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Domain engineering
• scientific article; zbMATH DE number 2079849
• scientific article; zbMATH DE number 2161254
• Software engineering 1. Abstraction and modelling.
• Manifest domains: analysis and description

Cited in

(6)

• Domain engineering
• scientific article; zbMATH DE number 2161254 (Why is no real title available?)
• scientific article; zbMATH DE number 2087591 (Why is no real title available?)
• Manifest domains: analysis and description
• Domain endurants. An analysis and description process model
• Domain modelling: a foundation for software development

Describes a project that uses

Uses Software

• CafeOBJ

This page was built for publication: From Domain to Requirements

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