Chapter: Designware: Software Development by Refinement

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > High Integrity Software > Designware: Software Development by Refinement

High Integrity Software |

Victor L. Winter; Sourav Bhattacharya

Springer US

Designware: Software Development by Refinement

Chapter Info

Authors

Douglas R. Smith

ARI Id

1674219630946_1451695

Access

Not Available Free

Pages

3-21

DOI

10.1007/978-1-4615-1391-9_1

Chapter URL

https://rd.springer.com/chapter/10.1007/978-1-4615-1391-9_1

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 17 of 17 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter		i-xv
Front Matter		1-1
Designware: Software Development by Refinement	Douglas R. Smith	3-21
B: Towards Zero Defect Software	Ib Sorensen; David Neilson	23-42
The Use of B to Specify, Design and Verify Hardware	Wilson Ifill; Ib Sorensen; Steve Schneider	43-62
A System for Predictable Component-Based Software Construction	M. Aronszajn; M. Sitaraman; S. Atkinson; G. Kulczycki	63-87
Autonomous Decentralized Systems Technologies and Their Application to a Train Transport Operation System	Kinji Mori	89-111
Front Matter		113-113
Bay Area Rapid Transit District Advance Automated Train Control System Case Study Description	Victor L. Winter; Raymond S. Berg; James T. Ringland	115-135
Using SCR to Specify Requirements of the Bart Advanced Automated Train Control System	Constance Heitmeyer	137-168
On the Construction of a Domain Language for a Class of Reactive Systems	Deepak Kapur; Victor L. Winter	169-196
A Refinement-Based Approach to Deriving Train Controllers	Victor L. Winter; Deepak Kapur; Raymond S. Berg	197-240
Front Matter		240-240
Systematic Validation of a Relational Control Program for the Bay Area Rapid Transit System	F. B. Bastani; V. Reddy; P. Srigiriraju; I.-L. Yen	243-264
Verification of a Controller for Bart: An Approach Based on Horn Logic and Denotational Semantics	Lawrence King; Gopal Gupta; Enrico Pontelli	265-299
Using Virtual Reality to Validate System Models	Victor L. Winter; Thomas P. Caudell	301-320
Back Matter		321-325
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 17 of 17 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries