Dines Bjørner – författare
Visar alla böcker från författaren Dines Bjørner. Handla med fri frakt och snabb leverans.
17 produkter
Domain Science and Engineering
A Foundation for Software Development
Inbunden, 2021
1917 kr
Lägg i varukorg
In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions. A further motivation is to present domain descriptions, requirements prescriptions, and software design …
Domain Science and Engineering
A Foundation for Software Development
Häftad, 2022
1917 kr
Lägg i varukorg
In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions. A further motivation is to present domain descriptions, requirements prescriptions, and software design …
VDM '87. VDM - A Formal Method at Work
VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Av Dines Bjørner, Cliff Jones m. fl.
Häftad, 1987
569 kr
Lägg i varukorg
Software Engineering 1
Abstraction and Modelling
Inbunden, 2005
1131 kr
Lägg i varukorg
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches.Volume 1 covers …
Software Engineering 2
Specification of Systems and Languages
Inbunden, 2006
569 kr
Lägg i varukorg
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches.This volume covers the basic …
Software Engineering 3
Domains, Requirements, and Software Design
Inbunden, 2006
1131 kr
Lägg i varukorg
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches.Volume 3 is based …
Perspectives of System Informatics
4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Av Dines Bjørner, Manfred Broy m. fl.
Häftad, 2001
569 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov …
VDM '90. VDM and Z - Formal Methods in Software Development
Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Av Dines Bjørner, C.A.R. Hoare m. fl.
Häftad, 1990
569 kr
Lägg i varukorg
The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering …
Baltic Computer Science
Selected Papers
Av Janis Barzdins, Dines Bjørner
Häftad, 1991
1131 kr
Lägg i varukorg
This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely new results. The following main topics are …
Formal Methods in Programming and Their Applications
International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Av Dines Bjørner, Manfred Broy m. fl.
Häftad, 1993
569 kr
Lägg i varukorg
This volume comprises the papers selected for presentationat the international conference on Formal Methods inProgramming and Their Applications, held in Academgorodok,Novosibirsk, Russia, June-July 1993. The conference wasorganized by the Institute of Informatics Systems of theSiberian Division of …
Perspectives of System Informatics
Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
Av Dines Bjørner, Manfred Broy m. fl.
Häftad, 1996
569 kr
Lägg i varukorg
This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996.The 27 revised full papers presented together with 9 invited contributions were thoroughly …
Perspectives of System Informatics
Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
Av Dines Bjørner, Manfred Broy m. fl.
Häftad, 2000
1131 kr
Lägg i varukorg
This volume comprises the papers presented at the Third International Andrei Ershov Memorial Conference \Perspectives of System Informatics", Akadem- rodok (Novosibirsk, Russia), July 6{9, 1999. The main goal of the conference was to give an overview of research directions which are decisive for …
Logics of Specification Languages
Av Dines Bjørner, Martin C. Henson
Inbunden, 2007
1693 kr
Lägg i varukorg
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the …
Software Engineering 1
Abstraction and Modelling
Häftad, 2010
962 kr
Lägg i varukorg
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches.Volume 1 covers …
Software Engineering 2
Specification of Systems and Languages
Häftad, 2010
569 kr
Lägg i varukorg
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches.This volume covers the basic …
Software Engineering 3
Domains, Requirements, and Software Design
Häftad, 2010
1243 kr
Lägg i varukorg
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches.Volume 3 is based …
Logics of Specification Languages
Av Dines Bjørner, Martin C. Henson
Häftad, 2010
1693 kr
Lägg i varukorg
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the …
