The following pages link to Dines Bjørner (Q520234):
Displaying 31 items.
- (Q464882) (redirect page) (← links)
- Domain science and engineering from computer science to the sciences of informatics. II: Science (Q464883) (← links)
- Manifest domains: analysis and description (Q520235) (← links)
- John Warner Backus: 3 Dec 1924-17 March 2007 (Q931437) (← links)
- To every manifest domain a CSP expression -- a rôle for mereology in computer science (Q1683705) (← links)
- Software engineering 1. Abstraction and modelling. (Q1773139) (← links)
- Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen. (Q1773140) (← links)
- Formal specification is an experimental science (Q1817111) (← links)
- Pinnacles of software engineering: 25 years of formal methods (Q1859528) (← links)
- Domain science and engineering from computer science to the sciences of informatics. I: Engineering (Q2452758) (← links)
- (Q2755064) (← links)
- (Q3038590) (← links)
- On Mereologies in Computing Science (Q3163397) (← links)
- From Domain to Requirements (Q3507370) (← links)
- Domain Engineering (Q3557667) (← links)
- (Q3875316) (← links)
- (Q3875331) (← links)
- (Q3883455) (← links)
- (Q3886847) (← links)
- (Q3920640) (← links)
- (Q4044159) (← links)
- (Q4144162) (← links)
- (Q4144759) (← links)
- (Q4190094) (← links)
- (Q4471960) (← links)
- (Q4671215) (← links)
- Compositionality: Ontology and Mereology of Domains (Q5187818) (← links)
- Domain Endurants (Q5403066) (← links)
- 40 Years of Formal Methods (Q5498750) (← links)
- A flow-mode, self-steering, cellular multiplier-summation processor (Q5595909) (← links)
- Flowchart machines (Q5615718) (← links)
