×

zbMATH — the first resource for mathematics

Bjørner, Dines

Compute Distance To:
Author ID: bjorner.dines Recent zbMATH articles by "Bjørner, Dines"
Published as: Bjørner, Dines; Bjorner, Dines; Bjørner, D.; Bjorner, D.; Bjoerner, Dines
Documents Indexed: 45 Publications since 1970, including 18 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 51 times in 32 Documents Cited by Year
The Vienna development method: The meta-language. Zbl 0373.68006
Bjorner, D. (ed.); Jones, C. B. (ed.)
10
1978
Formal specification and software development. In collab. with Derek Andrews, Elizabeth Fielding, Wolfgang Henhapl, Peter Lucas, Hans Henrik Loevengreen and Joseph E. Stoy. Zbl 0525.68001
Bjorner, Dines; Jones, Cliff B.
5
1982
Domain engineering. Zbl 1194.68100
Bjørner, Dines
5
2010
Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering. Zbl 1274.68477
Bjørner, Dines; Eir, Asger
4
2010
Towards a formal description of Ada. Zbl 0451.68015
Bjorner, D. (ed.); Oest, O. N. (ed.)
4
1980
Logics of specification languages. Zbl 1138.68302
Bjørner, Dines (ed.); Henson, Martin C. (ed.)
2
2008
Domain science and engineering from computer science to the sciences of informatics. I: Engineering. Zbl 1290.68037
Bjørner, D.
2
2010
Domain science and engineering from computer science to the sciences of informatics. II: Science. Zbl 1298.68061
Bjørner, D.
2
2011
Software engineering 3. Domains, requirements, and software design. Zbl 1095.68022
Bjørner, Dines
2
2005
Flowchart machines. Zbl 0213.43104
Bjørner, D.
2
1970
To every manifest domain a CSP expression – a rôle for mereology in computer science. Zbl 1382.68050
Bjørner, Dines
1
2018
Partial evaluation and mixed computation. Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 October 1987. Zbl 0744.68013
Bjoerner, Dines (ed.); Ershov, Andrei P. (ed.); Jones, Neil D. (ed.)
1
1988
VDM ’90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings. Zbl 0746.68006
Bjørner, Dines (ed.); Hoare, C. A. R. (ed.); Langmaack, Hans (ed.)
1
1990
The VDM principles of software specification & program design. A tutorial overview. Zbl 0467.68039
Bjorner, Dines
1
1981
Algorithmic and knowledge based methods. Do they “unify”? Zbl 0861.68017
Bjørner, Dines; Fischer Nilsson, Jørgen
1
1992
Programming languages: Formal development of interpreters and compilers. Zbl 0367.68007
Bjorner, Dines
1
1977
The Vienna development method (VDM): Software specification & program synthesis. Zbl 0404.68009
Bjorner, Dines
1
1979
Experiments in block-structured GOTO language modeling: Exits versus continuations. Zbl 0435.68010
Bjorner, Dines
1
1980
Domain endurants. An analysis and description process model. Zbl 1407.68072
Bjørner, Dines
1
2014
From domain to requirements. Zbl 1143.68372
Bjørner, Dines
1
2008
Pinnacles of software engineering: 25 years of formal methods. Zbl 1012.68565
Bjørner, Dines
1
2000
Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen. Zbl 1095.68021
Bjørner, Dines
1
2005
On mereologies in computing science. Zbl 1214.68117
Bjørner, Dines
1
2010
To every manifest domain a CSP expression – a rôle for mereology in computer science. Zbl 1382.68050
Bjørner, Dines
1
2018
Domain endurants. An analysis and description process model. Zbl 1407.68072
Bjørner, Dines
1
2014
Domain science and engineering from computer science to the sciences of informatics. II: Science. Zbl 1298.68061
Bjørner, D.
2
2011
Domain engineering. Zbl 1194.68100
Bjørner, Dines
5
2010
Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering. Zbl 1274.68477
Bjørner, Dines; Eir, Asger
4
2010
Domain science and engineering from computer science to the sciences of informatics. I: Engineering. Zbl 1290.68037
Bjørner, D.
2
2010
On mereologies in computing science. Zbl 1214.68117
Bjørner, Dines
1
2010
Logics of specification languages. Zbl 1138.68302
Bjørner, Dines; Henson, Martin C.
2
2008
From domain to requirements. Zbl 1143.68372
Bjørner, Dines
1
2008
Software engineering 3. Domains, requirements, and software design. Zbl 1095.68022
Bjørner, Dines
2
2005
Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen. Zbl 1095.68021
Bjørner, Dines
1
2005
Pinnacles of software engineering: 25 years of formal methods. Zbl 1012.68565
Bjørner, Dines
1
2000
Algorithmic and knowledge based methods. Do they “unify”? Zbl 0861.68017
Bjørner, Dines; Fischer Nilsson, Jørgen
1
1992
VDM ’90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings. Zbl 0746.68006
Bjørner, Dines; Hoare, C. A. R.; Langmaack, Hans
1
1990
Partial evaluation and mixed computation. Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 October 1987. Zbl 0744.68013
Bjoerner, Dines; Ershov, Andrei P.; Jones, Neil D.
1
1988
Formal specification and software development. In collab. with Derek Andrews, Elizabeth Fielding, Wolfgang Henhapl, Peter Lucas, Hans Henrik Loevengreen and Joseph E. Stoy. Zbl 0525.68001
Bjorner, Dines; Jones, Cliff B.
5
1982
The VDM principles of software specification & program design. A tutorial overview. Zbl 0467.68039
Bjorner, Dines
1
1981
Towards a formal description of Ada. Zbl 0451.68015
Bjorner, D.; Oest, O. N.
4
1980
Experiments in block-structured GOTO language modeling: Exits versus continuations. Zbl 0435.68010
Bjorner, Dines
1
1980
The Vienna development method (VDM): Software specification & program synthesis. Zbl 0404.68009
Bjorner, Dines
1
1979
The Vienna development method: The meta-language. Zbl 0373.68006
Bjorner, D.; Jones, C. B.
10
1978
Programming languages: Formal development of interpreters and compilers. Zbl 0367.68007
Bjorner, Dines
1
1977
Flowchart machines. Zbl 0213.43104
Bjørner, D.
2
1970

Citations by Year