0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (7)
  • R2,500 - R5,000 (10)
  • R5,000 - R10,000 (1)
  • -
Status
Brand

Showing 1 - 18 of 18 matches in All Departments

Software Engineering 3 - Domains, Requirements, and Software Design (Hardcover, 2006): Dines Bjorner Software Engineering 3 - Domains, Requirements, and Software Design (Hardcover, 2006)
Dines Bjorner
R2,966 Discovery Miles 29 660 Ships in 10 - 15 working days

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 on the maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood." This book covers the process from the development of domain descriptions, via the derivation of requirements prescriptions from domain models, to the refinement of requirements into software designs, i.e., architectures and component design. Emphasis is placed on what goes into proper domain descriptions and requirements prescriptions, how one acquires and analyses the domain knowledge and requirements expectations, and how one validates and verifies domain and requirements models.

The reader can take an informal route through Vol. 3, and this would be suitable for undergraduate courses on software engineering. Advanced students, lecturers, and researchers may instead follow the formal route through Vol. 3, and in this case Vol. 1 is a prerequisite text. Lecturers will be supported with a comprehensive guide to designing modules based on the textbooks, with solutions to many of the exercises presented, and with a complete set of lecture slides.

Software Engineering 1 - Abstraction and Modelling (Hardcover, 2006 ed.): Dines Bjorner Software Engineering 1 - Abstraction and Modelling (Hardcover, 2006 ed.)
Dines Bjorner
R3,148 Discovery Miles 31 480 Ships in 12 - 17 working days

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 the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its readers in basic property- and model-oriented specification principles and techniques. The model-oriented concepts that are common to such specification languages as B, VDM-SL, and Z are explained here using the RAISE specification language (RSL). This book then covers the basic principles of applicative (functional), imperative, and concurrent (parallel) specification programming. Finally, the volume contains a comprehensive glossary of software engineering, and extensive indexes and references.

These volumes are suitable for self-study by practicing software engineers and for use in university undergraduate and graduate courses on software engineering. Lecturers will be supported with a comprehensive guide to designing modules based on the textbooks, with solutions to many of the exercises presented, and with a complete set of lecture slides.

Logics of Specification Languages (Hardcover, 2008 ed.): Dines Bjorner, Martin C. Henson Logics of Specification Languages (Hardcover, 2008 ed.)
Dines Bjorner, Martin C. Henson
R5,880 R4,309 Discovery Miles 43 090 Save R1,571 (27%) Ships in 12 - 17 working days

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application.

In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.

Software Engineering 2 - Specification of Systems and Languages (Hardcover, 2006 ed.): Dines Bjorner Software Engineering 2 - Specification of Systems and Languages (Hardcover, 2006 ed.)
Dines Bjorner
R1,605 Discovery Miles 16 050 Ships in 12 - 17 working days

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 principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages.

This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text.

Domain Science and Engineering - A Foundation for Software Development (Hardcover, 1st ed. 2021): Dines Bjorner Domain Science and Engineering - A Foundation for Software Development (Hardcover, 1st ed. 2021)
Dines Bjorner
R4,037 Discovery Miles 40 370 Ships in 12 - 17 working days

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 specifications as mathematical quantities. The author's maxim is that before software can be designed we must understand its requirements, and before requirements can be prescribed we must analyse and describe the domain for which the software is intended. He does this by focusing on what it takes to analyse and describe domains. By a domain we understand a rationally describable discrete dynamics segment of human activity, of natural and man-made artefacts, examples include road, rail and air transport, container terminal ports, manufacturing, trade, healthcare, and urban planning. The book addresses issues of seemingly large systems, not small algorithms, and it emphasizes descriptions as formal, mathematical quantities. This is the first thorough monograph treatment of the new software engineering phase of software development, one that precedes requirements engineering. It emphasizes a methodological approach by treating, in depth, analysis and description principles, techniques and tools. It does this by basing its domain modeling on fundamental philosophical principles, a view that is new for a computer science monograph. The book will be of value to computer scientists engaged with formal specifications of software. The author reveals this as a field of interesting problems, most chapters include pointers to further study and exercises drawn from practical engineering and science challenges. The text is supported by a primer to the formal specification language RSL and extensive indexes.

Logics of Specification Languages (Paperback, Softcover reprint of hardcover 1st ed. 2008): Dines Bjorner, Martin C. Henson Logics of Specification Languages (Paperback, Softcover reprint of hardcover 1st ed. 2008)
Dines Bjorner, Martin C. Henson
R4,331 Discovery Miles 43 310 Ships in 10 - 15 working days

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application.

In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.

Software Engineering 2 - Specification of Systems and Languages (Paperback, Softcover reprint of hardcover 1st ed. 2006): Dines... Software Engineering 2 - Specification of Systems and Languages (Paperback, Softcover reprint of hardcover 1st ed. 2006)
Dines Bjorner
R1,618 Discovery Miles 16 180 Ships in 10 - 15 working days

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 principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages.

This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text.

Software Engineering 3 - Domains, Requirements, and Software Design (Paperback, 2006): Dines Bjorner Software Engineering 3 - Domains, Requirements, and Software Design (Paperback, 2006)
Dines Bjorner
R3,175 Discovery Miles 31 750 Ships in 10 - 15 working days

The final installment in this three-volume set is based on this maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood." The book covers the process from the development of domain descriptions, through the derivation of requirements prescriptions from domain models, to the refinement of requirements into software architectures and component design.

Software Engineering 1 - Abstraction and Modelling (Paperback, Softcover reprint of hardcover 1st ed. 2006): Dines Bjorner Software Engineering 1 - Abstraction and Modelling (Paperback, Softcover reprint of hardcover 1st ed. 2006)
Dines Bjorner
R2,683 Discovery Miles 26 830 Ships in 10 - 15 working days

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 the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its readers in basic property- and model-oriented specification principles and techniques. The model-oriented concepts that are common to such specification languages as B, VDM-SL, and Z are explained here using the RAISE specification language (RSL). This book then covers the basic principles of applicative (functional), imperative, and concurrent (parallel) specification programming. Finally, the volume contains a comprehensive glossary of software engineering, and extensive indexes and references.

These volumes are suitable for self-study by practicing software engineers and for use in university undergraduate and graduate courses on software engineering. Lecturers will be supported with a comprehensive guide to designing modules based on the textbooks, with solutions to many of the exercises presented, and with a complete set of lecture slides.

Perspectives of System Informatics - 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk,... Perspectives of System Informatics - 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers (Paperback, 2001 ed.)
Dines Bjorner, Manfred Broy, Alexandre Zamulin
R1,722 Discovery Miles 17 220 Ships in 10 - 15 working days

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 were carefully selected during 2 rounds of reviewing and improvement. The book offers topical sections on computing and algorithms, logical methods, verification, program transformation and synthesis, semantics and types, processes and concurrency, UML specification, Petri nets, testing, software construction, data and knowledge bases, logic programming, constraint programming, program analysis, and language implementation.

Perspectives of System Informatics - Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok,... Perspectives of System Informatics - Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings (Paperback, 2000 ed.)
Dines Bjorner, Manfred Broy, Alexandre V. Zamulin
R2,864 Discovery Miles 28 640 Ships in 10 - 15 working days

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 the growth of major areas of research activities in system informatics. The conference was the third one in the line. The r st and second inter- tionalconferences\PerspectivesofSystemInformatics"wereheldinNovosibirsk, Akademgorodok, in May, 1991, and June, 1996, respectively. Both conferences gathered a wide spectrum of specialists and were undoubtedly very successful. The third conferenceincluded many of the subjects of the second conference, such as theoretical computer science, programming methodology, new infor- tiontechnologies,andthepromising eldofarti cialintelligence|asimportant components of system informatics. The style of the second conference was p- served to a certain extent in that there were a considerable number of invited papers in addition to the contributed papers. However,posters were replaced by short talks mainly given by young researchers.

Perspectives of System Informatics - Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk,... Perspectives of System Informatics - Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings (Paperback, 1996 ed.)
Dines Bjorner, Manfred Broy, Igor V. Pottosin
R1,665 Discovery Miles 16 650 Ships in 10 - 15 working days

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 refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented programming, semantics and abstract interpretation, programming and graphical interfaces, and logic programming.

Formal Methods in Programming and Their Applications - International Conference, Academgorodok, Novosibirsk, Russia, June 28 -... Formal Methods in Programming and Their Applications - International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Paperback, 1993 ed.)
Dines Bjorner, Manfred Broy, Igor V. Pottosin
R1,653 Discovery Miles 16 530 Ships in 10 - 15 working days

This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences and was the first forum organized by the Institute which was entirely dedicated to formal methods. The main scientific tracks of the conference were centered around formal methods of program development and program construction. The papers in the book are grouped into the following parts: - formal semantics methods - algebraic specification methods - semantic program analysis and abstract interpretation - semantics of parallelism - logic of programs - software specification and verification - transformational development and program synthesis.

Baltic Computer Science - Selected Papers (Paperback, 1991 ed.): Janis Barzdins, Dines Bjorner Baltic Computer Science - Selected Papers (Paperback, 1991 ed.)
Janis Barzdins, Dines Bjorner
R3,081 Discovery Miles 30 810 Ships in 10 - 15 working days

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 addressed: deductive synthesis of programs, automatic test case generation, and specification and generation of distributed systems. These are all fields where Baltic scientists have made substantial contributions. The volume contains both theoretical results and general descriptions and logical outlines of some practical systems.

VDM '90. VDM and Z - Formal Methods in Software Development - Third International Symposium of VDM Europe, Kiel, FRG,... VDM '90. VDM and Z - Formal Methods in Software Development - Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Paperback, 1990 ed.)
Dines Bjorner, C.A.R. Hoare, Hans Langmaack
R1,741 Discovery Miles 17 410 Ships in 10 - 15 working days

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 proceedings are published regularly. The ones by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming. In Europe, there is very much interest in methodology, semantics and techniques, that is, in understanding how we build and what it is that we are building. The papers of these proceedings basically fall into four major groups: Applications, Methodology, Formalisations, and Foundations. The Methodology group has been further subdivided into five areas: Specification Methodology, Design Methodology, Modularity, Object Orientedness, and Processes, Concurrency and Distributed Systems.

VDM '87. VDM - A Formal Method at Work - VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings... VDM '87. VDM - A Formal Method at Work - VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Paperback, 1987 ed.)
Dines Bjorner, Cliff Jones, Michael Mac An Airchinnigh, Erich J Neuhold
R1,643 Discovery Miles 16 430 Ships in 10 - 15 working days
Towards a Formal Description of Ada (Paperback, 1980 ed.): Dines Bjorner, O.N. Oest Towards a Formal Description of Ada (Paperback, 1980 ed.)
Dines Bjorner, O.N. Oest
R3,091 Discovery Miles 30 910 Ships in 10 - 15 working days
Domain Science and Engineering - A Foundation for Software Development (Paperback, 1st ed. 2021): Dines Bjorner Domain Science and Engineering - A Foundation for Software Development (Paperback, 1st ed. 2021)
Dines Bjorner
R5,015 Discovery Miles 50 150 Ships in 10 - 15 working days

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 specifications as mathematical quantities. The author's maxim is that before software can be designed we must understand its requirements, and before requirements can be prescribed we must analyse and describe the domain for which the software is intended. He does this by focusing on what it takes to analyse and describe domains. By a domain we understand a rationally describable discrete dynamics segment of human activity, of natural and man-made artefacts, examples include road, rail and air transport, container terminal ports, manufacturing, trade, healthcare, and urban planning. The book addresses issues of seemingly large systems, not small algorithms, and it emphasizes descriptions as formal, mathematical quantities. This is the first thorough monograph treatment of the new software engineering phase of software development, one that precedes requirements engineering. It emphasizes a methodological approach by treating, in depth, analysis and description principles, techniques and tools. It does this by basing its domain modeling on fundamental philosophical principles, a view that is new for a computer science monograph. The book will be of value to computer scientists engaged with formal specifications of software. The author reveals this as a field of interesting problems, most chapters include pointers to further study and exercises drawn from practical engineering and science challenges. The text is supported by a primer to the formal specification language RSL and extensive indexes.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Cable Guys Controller and Smartphone…
R399 R349 Discovery Miles 3 490
Atmosfire
Jan Braai Hardcover R590 R425 Discovery Miles 4 250
Fidget Toy Creation Lab
Kit R199 R156 Discovery Miles 1 560
Bestway Heavy Duty Repair Patch
R30 R24 Discovery Miles 240
Sony PlayStation 5 DualSense Wireless…
 (2)
R1,699 R1,399 Discovery Miles 13 990
Casals Cordless Impact Drill Set (13…
 (3)
R2,499 R2,320 Discovery Miles 23 200
Loot
Nadine Gordimer Paperback  (2)
R205 R164 Discovery Miles 1 640
Shatter Me - 9-Book Collection
Tahereh Mafi Paperback R1,699 R1,143 Discovery Miles 11 430
Loot
Nadine Gordimer Paperback  (2)
R205 R164 Discovery Miles 1 640
Aerolatte Cappuccino Art Stencils (Set…
R110 R95 Discovery Miles 950

 

Partners