Proceedings of the 1987 annual ACM SIGAda international conference on Ada - SIGAda '87
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897912438

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Experience with the automatic temporal analysis of multitasking Ada designs

Proceedings of the 1987 annual ACM SIGAda international conference on Ada - SIGAda '87 ◽

10.1145/317500.317505 ◽

1987 ◽

Cited By ~ 2

Author(s):

Gerald M. Karam ◽

Raymond J. A. Buhr

Keyword(s):

Temporal Analysis

Download Full-text

Empirical guidelines to use Ada effectively

Proceedings of the 1987 annual ACM SIGAda international conference on Ada - SIGAda '87 ◽

10.1145/317500.317503 ◽

1987 ◽

Author(s):

Shunichi Fukuyama ◽

Naoi Okuse ◽

Masato Fujimaru ◽

Seiichi Yamasaki

Download Full-text

Use of the Rational R1000 Ada development environment for an IBM based command and control system

Proceedings of the 1987 annual ACM SIGAda international conference on Ada - SIGAda '87 ◽

10.1145/317500.317506 ◽

1987 ◽

Author(s):

Charles B. Williams

Keyword(s):

Control System ◽

Command And Control ◽

Development Environment ◽

And Control ◽

Command And Control System

Download Full-text

A library of generic algorithms in Ada

Proceedings of the 1987 annual ACM SIGAda international conference on Ada - SIGAda '87 ◽

10.1145/317500.317529 ◽

1987 ◽

Cited By ~ 9

Author(s):

David R. Musser ◽

Alexander A. Stepanov

Keyword(s):

Generic Algorithms

Download Full-text

Pioneering mission---critical Ada software

Proceedings of the 1987 annual ACM SIGAda international conference on Ada - SIGAda '87 ◽

10.1145/317500.317504 ◽

1987 ◽

Author(s):

Fred Francl

Keyword(s):

Mission Critical

Download Full-text

Discrete-event simulation in Ada

Proceedings of the 1987 annual ACM SIGAda international conference on Ada - SIGAda '87 ◽

10.1145/317500.317518 ◽

1987 ◽

Author(s):

C. Amiguet ◽

A. Schiper

Keyword(s):

Discrete Event Simulation ◽

Discrete Event ◽

Event Simulation

Download Full-text

Reclamation of memory for dynamic Ada tasking

Proceedings of the 1987 annual ACM SIGAda international conference on Ada - SIGAda '87 ◽

10.1145/317500.317527 ◽

1987 ◽

Author(s):

Philip J. Lefebvre

Download Full-text

The system-oriented editor---a tool for managing large software systems

Proceedings of the 1987 annual ACM SIGAda international conference on Ada - SIGAda '87 ◽

10.1145/317500.317507 ◽

1987 ◽

Author(s):

Dick Schefstrom

Keyword(s):

Software Systems ◽

Large Software

Download Full-text

Real-time Ada demonstration

Proceedings of the 1987 annual ACM SIGAda international conference on Ada - SIGAda '87 ◽

10.1145/317500.317522 ◽

1987 ◽

Author(s):

L. Lucas ◽

D. Dent

Keyword(s):

Real Time

Download Full-text

Design automation for Ada development under DOD-STD-2167 (and beyond)

Proceedings of the 1987 annual ACM SIGAda international conference on Ada - SIGAda '87 ◽

10.1145/317500.317510 ◽

1987 ◽

Author(s):

Brett Bachman

Keyword(s):

Design Automation

Download Full-text

Proceedings of the 1987 annual ACM SIGAda international conference on Ada - SIGAda '87Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Experience with the automatic temporal analysis of multitasking Ada designs

Empirical guidelines to use Ada effectively

Use of the Rational R1000 Ada development environment for an IBM based command and control system

A library of generic algorithms in Ada

Pioneering mission---critical Ada software

Discrete-event simulation in Ada

Reclamation of memory for dynamic Ada tasking

The system-oriented editor---a tool for managing large software systems

Real-time Ada demonstration

Design automation for Ada development under DOD-STD-2167 (and beyond)

Proceedings of the 1987 annual ACM SIGAda international conference on Ada - SIGAda '87
Latest Publications