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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540631149, 9783540691501

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Ada bindings for C interfaces: Lessons learned from the florist implementation

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

10.1007/3-540-63114-3_2 ◽

1997 ◽

pp. 13-22

Author(s):

T. P. Baker ◽

Dong- Ik Oh

Keyword(s):

Lessons Learned

Download Full-text

Systematic unit-testing of Ada programs

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

10.1007/3-540-63114-3_7 ◽

1997 ◽

pp. 64-75 ◽

Cited By ~ 1

Author(s):

Joachim Wegener ◽

Ines Fey

Keyword(s):

Unit Testing

Download Full-text

Developing scripting capabilities for an Ada-based simulator

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

10.1007/3-540-63114-3_6 ◽

1997 ◽

pp. 56-63

Author(s):

Slobodan S. Jovanovic ◽

Drasko M. Sotirovski ◽

Pierre van Aswegen

Download Full-text

Task termination in Ada 95

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

10.1007/3-540-63114-3_14 ◽

1997 ◽

pp. 149-160

Author(s):

A. J. Wellings ◽

A. Burns ◽

O. Pazy

Keyword(s):

Ada 95

Download Full-text

The SPIF project

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

10.1007/3-540-63114-3_5 ◽

1997 ◽

pp. 46-55

Author(s):

Bertrand Dupouy ◽

Olivier Hainque ◽

Laurent Pautet ◽

Samuel Tardieu

Download Full-text

Capturing and verifying performance requirements for hard real time systems

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

10.1007/3-540-63114-3_13 ◽

1997 ◽

pp. 137-148 ◽

Cited By ~ 2

Author(s):

R. H. Pierce ◽

Sandra Ayache ◽

R. Ward ◽

J. Stevens ◽

Helen Clifton ◽

...

Keyword(s):

Real Time ◽

Real Time Systems ◽

Performance Requirements ◽

Hard Real Time ◽

Time Systems

Download Full-text

Static analysis and diversity in the software development process — experiences with the use of SPARK

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

10.1007/3-540-63114-3_24 ◽

1997 ◽

pp. 266-277 ◽

Cited By ~ 1

Author(s):

J. Phil Thornley

Keyword(s):

Software Development ◽

Static Analysis ◽

Development Process ◽

Software Development Process

Download Full-text

Ada 95 as a base to architect systems in O4S™

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

10.1007/3-540-63114-3_8 ◽

1997 ◽

pp. 76-87

Author(s):

Ingmar Ögren

Keyword(s):

Ada 95

Download Full-text

An Ada 95 sort race construction set

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

10.1007/3-540-63114-3_3 ◽

1997 ◽

pp. 23-34

Author(s):

Michael B. Feldman

Keyword(s):

Ada 95

Download Full-text

On programming atomic actions in Ada 95

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

10.1007/3-540-63114-3_23 ◽

1997 ◽

pp. 254-265 ◽

Cited By ~ 5

Author(s):

A. Romanovsky ◽

S. E. Mitchell ◽

A. J. Wellings

Keyword(s):

Atomic Actions ◽

Ada 95

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Ada bindings for C interfaces: Lessons learned from the florist implementation

Systematic unit-testing of Ada programs

Developing scripting capabilities for an Ada-based simulator

Task termination in Ada 95

The SPIF project

Capturing and verifying performance requirements for hard real time systems

Static analysis and diversity in the software development process — experiences with the use of SPARK

Ada 95 as a base to architect systems in O4S™

An Ada 95 sort race construction set

On programming atomic actions in Ada 95

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