Ada in Europe - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540588221, 9783540491101

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Test philosophy and validation stategy of on-board real time software in envisat-1 satellite radar-altimeter

Ada in Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-58822-1_105 ◽

1994 ◽

pp. 270-281

Author(s):

S. Francola ◽

M. Manigrasso

Keyword(s):

Real Time ◽

Radar Altimeter ◽

Satellite Radar

Download Full-text

Experiences integrating object-oriented analysis with Joint Application Development (JAD)

Ada in Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-58822-1_123 ◽

1994 ◽

pp. 509-521

Author(s):

John A. Anderson

Keyword(s):

Object Oriented ◽

Application Development ◽

Joint Application ◽

Object Oriented Analysis

Download Full-text

Evolving an Ada curriculum to 9X

Ada in Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-58822-1_99 ◽

1994 ◽

pp. 170-174

Author(s):

John Rymer

Download Full-text

A new approach for HOOD/Ada mapping

Ada in Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-58822-1_96 ◽

1994 ◽

pp. 147-154

Author(s):

P. Dissaux ◽

P. Farail ◽

P. Leroy ◽

P. Micouin

Keyword(s):

New Approach

Download Full-text

Integrating modular, Object Oriented Programming, and application generator technologies in large real time and distributed developments

Ada in Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-58822-1_95 ◽

1994 ◽

pp. 130-146

Author(s):

Maurice Heitz

Keyword(s):

Real Time ◽

Object Oriented ◽

Object Oriented Programming

Download Full-text

Formal methods for a space software development environment

Ada in Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-58822-1_91 ◽

1994 ◽

pp. 90-103 ◽

Cited By ~ 1

Author(s):

P. Taylor

Keyword(s):

Software Development ◽

Formal Methods ◽

Development Environment ◽

Software Development Environment

Download Full-text

Tool support for high integrity Ada software

Ada in Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-58822-1_89 ◽

1994 ◽

pp. 63-75

Author(s):

A. D. Hutcheon ◽

D. T. Jordan ◽

J. A. McDermid ◽

R. H. Pierce ◽

I. C. Wand ◽

...

Keyword(s):

Tool Support ◽

High Integrity

Download Full-text

Adequacy of the new generation of multithreading operating systems to the Ada Tasking Model

Ada in Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-58822-1_85 ◽

1994 ◽

pp. 24-32

Author(s):

Jacques Sevestre ◽

Jacques Brygier

Keyword(s):

Operating Systems ◽

New Generation

Download Full-text

Opening address: Ada 9X

Ada in Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-58822-1_83 ◽

1994 ◽

pp. 1-10

Author(s):

Chris Anderson

Keyword(s):

Opening Address

Download Full-text

Safety aspects of the Ariane 5 on-board software

Ada in Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-58822-1_108 ◽

1994 ◽

pp. 302-321 ◽

Cited By ~ 1

Author(s):

Steven A. Birnie

Keyword(s):

Safety Aspects

Download Full-text

Ada in Europe - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Test philosophy and validation stategy of on-board real time software in envisat-1 satellite radar-altimeter

Experiences integrating object-oriented analysis with Joint Application Development (JAD)

Evolving an Ada curriculum to 9X

A new approach for HOOD/Ada mapping

Integrating modular, Object Oriented Programming, and application generator technologies in large real time and distributed developments

Formal methods for a space software development environment

Tool support for high integrity Ada software

Adequacy of the new generation of multithreading operating systems to the Ada Tasking Model

Opening address: Ada 9X

Safety aspects of the Ariane 5 on-board software

Ada in Europe - Lecture Notes in Computer Science
Latest Publications