The Kluwer International Series in Engineering and Computer Science - High Integrity Software
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer US

9781461355304, 9781461513919

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Construction of a Domain Language for a Class of Reactive Systems

The Kluwer International Series in Engineering and Computer Science - High Integrity Software ◽

10.1007/978-1-4615-1391-9_8 ◽

2001 ◽

pp. 169-196 ◽

Author(s):

Deepak Kapur ◽

Victor L. Winter

Keyword(s):

Reactive Systems

Download Full-text

B: Towards Zero Defect Software

The Kluwer International Series in Engineering and Computer Science - High Integrity Software ◽

10.1007/978-1-4615-1391-9_2 ◽

2001 ◽

pp. 23-42 ◽

Author(s):

Ib Sorensen ◽

David Neilson

Download Full-text

Systematic Validation of a Relational Control Program for the Bay Area Rapid Transit System

The Kluwer International Series in Engineering and Computer Science - High Integrity Software ◽

10.1007/978-1-4615-1391-9_10 ◽

2001 ◽

pp. 243-264 ◽

Author(s):

F. B. Bastani ◽

V. Reddy ◽

P. Srigiriraju ◽

I.-L. Yen

Keyword(s):

Control Program ◽

Rapid Transit ◽

Transit System ◽

Bay Area ◽

Relational Control

Download Full-text

Using SCR to Specify Requirements of the Bart Advanced Automated Train Control System

The Kluwer International Series in Engineering and Computer Science - High Integrity Software ◽

10.1007/978-1-4615-1391-9_7 ◽

2001 ◽

pp. 137-168 ◽

Author(s):

Constance Heitmeyer

Keyword(s):

Control System ◽

Train Control ◽

Train Control System

Download Full-text

A System for Predictable Component-Based Software Construction

The Kluwer International Series in Engineering and Computer Science - High Integrity Software ◽

10.1007/978-1-4615-1391-9_4 ◽

2001 ◽

pp. 63-87

Author(s):

M. Aronszajn ◽

M. Sitaraman ◽

S. Atkinson ◽

G. Kulczycki

Keyword(s):

Software Construction

Download Full-text

Verification of a Controller for Bart: An Approach Based on Horn Logic and Denotational Semantics

The Kluwer International Series in Engineering and Computer Science - High Integrity Software ◽

10.1007/978-1-4615-1391-9_11 ◽

2001 ◽

pp. 265-299 ◽

Author(s):

Lawrence King ◽

Gopal Gupta ◽

Enrico Pontelli

Keyword(s):

Denotational Semantics ◽

Download Full-text

Designware: Software Development by Refinement

The Kluwer International Series in Engineering and Computer Science - High Integrity Software ◽

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

2001 ◽

pp. 3-21 ◽

Author(s):

Douglas R. Smith

Keyword(s):

Software Development

Download Full-text

Using Virtual Reality to Validate System Models

The Kluwer International Series in Engineering and Computer Science - High Integrity Software ◽

10.1007/978-1-4615-1391-9_12 ◽

2001 ◽

pp. 301-320

Author(s):

Victor L. Winter ◽

Thomas P. Caudell

Keyword(s):

Virtual Reality ◽

Download Full-text

A Refinement-Based Approach to Deriving Train Controllers

The Kluwer International Series in Engineering and Computer Science - High Integrity Software ◽

10.1007/978-1-4615-1391-9_9 ◽

2001 ◽

pp. 197-240 ◽

Author(s):

Victor L. Winter ◽

Deepak Kapur ◽

Raymond S. Berg

Download Full-text

Bay Area Rapid Transit District Advance Automated Train Control System Case Study Description

The Kluwer International Series in Engineering and Computer Science - High Integrity Software ◽

10.1007/978-1-4615-1391-9_6 ◽

2001 ◽

pp. 115-135 ◽

Author(s):

Victor L. Winter ◽

Raymond S. Berg ◽

James T. Ringland

Keyword(s):

Control System ◽

Rapid Transit ◽

Train Control ◽

Bay Area ◽

Train Control System

Download Full-text