Directions in Safety-Critical Systems
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer London

9783540198178, 9781447120377

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Practical Application Of Formal Methods To High Integrity Systems

Directions in Safety-Critical Systems ◽

10.1007/978-1-4471-2037-7_11 ◽

1993 ◽

pp. 168-176

Author(s):

Peter Bradley ◽

Linda Shackleton ◽

Victoria Stavridou

Keyword(s):

Formal Methods ◽

Practical Application ◽

High Integrity

Download Full-text

SAM—A Tool to Support the Construction, Review and Evolution of Safety Arguments

Directions in Safety-Critical Systems ◽

10.1007/978-1-4471-2037-7_13 ◽

1993 ◽

pp. 195-216 ◽

Cited By ~ 6

Author(s):

Justin Forder ◽

Chris Higgins ◽

John McDermid ◽

Graham Storrs

Download Full-text

Using the Functional Programming Language Haskell to Specify Image Analysis Systems

Directions in Safety-Critical Systems ◽

10.1007/978-1-4471-2037-7_9 ◽

1993 ◽

pp. 133-149 ◽

Cited By ~ 1

Author(s):

Ian Poole ◽

Derek Charleston ◽

Brian Finnie

Keyword(s):

Image Analysis ◽

Programming Language ◽

Functional Programming ◽

Functional Programming Language

Download Full-text

Potential Difficulties in Managing Safety-Critical Computing Projects: a Sociological View

Directions in Safety-Critical Systems ◽

10.1007/978-1-4471-2037-7_4 ◽

1993 ◽

pp. 43-64 ◽

Cited By ~ 1

Author(s):

Margaret Tierney

Keyword(s):

Safety Critical ◽

Sociological View

Download Full-text

The Need for Evidence from Disparate Sources to Evaluate Software Safety

Directions in Safety-Critical Systems ◽

10.1007/978-1-4471-2037-7_14 ◽

1993 ◽

pp. 217-231 ◽

Cited By ~ 8

Author(s):

Bev Littlewood

Keyword(s):

Software Safety

Download Full-text

Tool Support for an Application-Specific Language

Directions in Safety-Critical Systems ◽

10.1007/978-1-4471-2037-7_12 ◽

1993 ◽

pp. 177-191

Author(s):

R. E. B. Barnard

Keyword(s):

Tool Support ◽

Specific Language ◽

Application Specific

Download Full-text

Certification of Safety Critical Systems in Germany

Directions in Safety-Critical Systems ◽

10.1007/978-1-4471-2037-7_1 ◽

1993 ◽

pp. 3-16

Author(s):

Gerhard Rabe

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Data Management in Clinical Laboratory Information Systems

Directions in Safety-Critical Systems ◽

10.1007/978-1-4471-2037-7_6 ◽

1993 ◽

pp. 84-95 ◽

Cited By ~ 4

Author(s):

Richard Fink ◽

Susan Oppert ◽

Paul Collinson ◽

Glenn Cooke ◽

Sukhdev Dhanjal ◽

...

Keyword(s):

Information Systems ◽

Data Management ◽

Clinical Laboratory ◽

Laboratory Information Systems ◽

Clinical Laboratory Information Systems

Download Full-text

Safety for European Space Agency Space Programmes

Directions in Safety-Critical Systems ◽

10.1007/978-1-4471-2037-7_2 ◽

1993 ◽

pp. 17-35 ◽

Cited By ~ 2

Author(s):

Keith M. Wright

Keyword(s):

European Space Agency ◽

Space Agency

Download Full-text

Unification in Uncertainty?

Directions in Safety-Critical Systems ◽

10.1007/978-1-4471-2037-7_19 ◽

1993 ◽

pp. 278-285

Author(s):

Bob Malcolm

Download Full-text