Reliable Software Technologies — Ada-Europe '96 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540613176, 9783540684572

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reliability modeling for safety critical software

Reliable Software Technologies — Ada-Europe '96 - Lecture Notes in Computer Science ◽

10.1007/bfb0013476 ◽

1996 ◽

pp. 17-37

Author(s):

Norman F. Schneidewind

Keyword(s):

Reliability Modeling ◽

Safety Critical

Download Full-text

Beyond Ada95: The addition of persistence and its consequences

Reliable Software Technologies — Ada-Europe '96 - Lecture Notes in Computer Science ◽

10.1007/bfb0013501 ◽

1996 ◽

pp. 342-356 ◽

Cited By ~ 4

Author(s):

Michael J. Oudshoorn ◽

Stephen C. Crawley

Download Full-text

Implementing protected types on embedded targets

Reliable Software Technologies — Ada-Europe '96 - Lecture Notes in Computer Science ◽

10.1007/bfb0013496 ◽

1996 ◽

pp. 287-297

Author(s):

David Mundie ◽

John Fardo ◽

Ed Kuzemchak

Download Full-text

HCSD unit development process: Step-wise process improvement

Reliable Software Technologies — Ada-Europe '96 - Lecture Notes in Computer Science ◽

10.1007/bfb0013482 ◽

1996 ◽

pp. 111-122 ◽

Cited By ~ 1

Author(s):

David Emery ◽

Jas Madhur

Keyword(s):

Process Improvement ◽

Development Process ◽

Process Step

Download Full-text

Where does GOTO Go to?

Reliable Software Technologies — Ada-Europe '96 - Lecture Notes in Computer Science ◽

10.1007/bfb0013504 ◽

1996 ◽

pp. 385-395 ◽

Cited By ~ 3

Author(s):

Wolfgang Gellerich ◽

Markus Kosiol ◽

Erhard Ploedereder

Download Full-text

Tasking deadlocks in Ada 95 programs and their detection

Reliable Software Technologies — Ada-Europe '96 - Lecture Notes in Computer Science ◽

10.1007/bfb0013484 ◽

1996 ◽

pp. 135-146 ◽

Cited By ~ 7

Author(s):

Jingde Cheng ◽

Kazuo Ushijima

Keyword(s):

Ada 95

Download Full-text

Ada/O2 coupling: A solution for an efficient management of persistence in Ada 83

Reliable Software Technologies — Ada-Europe '96 - Lecture Notes in Computer Science ◽

10.1007/bfb0013505 ◽

1996 ◽

pp. 396-412 ◽

Cited By ~ 1

Author(s):

Thierry Millan ◽

Pierre Bazex

Keyword(s):

Efficient Management

Download Full-text

An Ada95 harness for converting legacy Fortran applications

Reliable Software Technologies — Ada-Europe '96 - Lecture Notes in Computer Science ◽

10.1007/bfb0013506 ◽

1996 ◽

pp. 413-426

Author(s):

B. Gliss

Download Full-text

On some characterisation problems of subdomain testing

Reliable Software Technologies — Ada-Europe '96 - Lecture Notes in Computer Science ◽

10.1007/bfb0013485 ◽

1996 ◽

pp. 147-158 ◽

Cited By ~ 2

Author(s):

T. Y. Chen ◽

Y. T. Yu

Download Full-text

An Ada 95 view of some difficult or controversial points in object-oriented programming

Reliable Software Technologies — Ada-Europe '96 - Lecture Notes in Computer Science ◽

10.1007/bfb0013503 ◽

1996 ◽

pp. 370-384

Author(s):

Patrick de Bondeli

Keyword(s):

Object Oriented ◽

Object Oriented Programming ◽

Ada 95

Download Full-text

Reliable Software Technologies — Ada-Europe '96 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Reliability modeling for safety critical software

Beyond Ada95: The addition of persistence and its consequences

Implementing protected types on embedded targets

HCSD unit development process: Step-wise process improvement

Where does GOTO Go to?

Tasking deadlocks in Ada 95 programs and their detection

Ada/O2 coupling: A solution for an efficient management of persistence in Ada 83

An Ada95 harness for converting legacy Fortran applications

On some characterisation problems of subdomain testing

An Ada 95 view of some difficult or controversial points in object-oriented programming

Reliable Software Technologies — Ada-Europe '96 - Lecture Notes in Computer Science
Latest Publications