Automatic abstraction of real-time software and re-implementation in Ada

Authors:
Noah Prywes;Evan Lock;Xiang Ge
Affiliations:
Computer Command and Control Company, 2300 Chestnut Street, Ste. 230, Philadelphia, PA;Computer Command and Control Company, 2300 Chestnut Street, Ste. 230, Philadelphia, PA;Computer Command and Control Company, 2300 Chestnut Street, Ste. 230, Philadelphia, PA
Venue:
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Year:
1991

Citing 13
Cited 1

Probable correctness theory

Information Processing Letters
Efficient handling of data structures in definitional languages

Science of Computer Programming
A graphical entity-relationship database browser

Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Design Recovery for Maintenance and Reuse

Computer
The Cost of Data Flow Testing: An Empirical Study

IEEE Transactions on Software Engineering
IDL: the language and its implementation

IDL: the language and its implementation
Object oriented design with applications

Object oriented design with applications
OdeView: the graphical interface to Ode

SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Practical visual techniques in system design: with applications to Ada

Practical visual techniques in system design: with applications to Ada
Object-oriented modeling and design

Object-oriented modeling and design
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Structured Analysis and System Specification

Structured Analysis and System Specification

Requirements on Ada reengineering technology from past, present and future systems

TRI-Ada '92 Proceedings of the conference on TRI-Ada '92

Quantified Score

Hi-index	0.00

Visualization

Abstract