Task sequencing language for specifying distributed Ada systems
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Task sequencing language for specifying distributed Ada systems
Proc. of the CRAI Workshop on Software Factories and Ada on System development and Ada
An extension of standard ML modules with subtyping and inheritance
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
Hardware Design and Simulation in Val-VHDL
Hardware Design and Simulation in Val-VHDL
An extension of standard ML modules with subtyping and inheritance
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Exploiting locality in maintaining potential causality
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Building distributed Ada applications from specifications and functional components
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Specification prototyping of concurrent Ada programs in DProto
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
ADL—an interface definition language for specifying and testing software
IDL '94 Proceedings of the workshop on Interface definition languages
Polymorphism and subtyping in interface
IDL '94 Proceedings of the workshop on Interface definition languages
A complete axiomatic semantics of spawning
Distributed Computing
Hi-index | 0.00 |
Prototyping is not a single technique, but rather a collection of widely diverse activities, with highly fragmented support technology. TRW and Stanford have recently collaborated to develop an approach for reducing this fragmentation in the future. This approach is particularly supportive of the development of large distributed systems in Ada. It is based upon the design of a prototyping language and system which we are tentatively calling Reality. The Reality language is a departure from “normal” programming languages, but bears similarities in form and concepts to standard languages Ada and VHDL. In fact, it can be viewed as bothan executable design language for distributed Ada systems anda Module Interconnection Language for pre-existing Ada components.The Reality language and system are being designed to support multiple prototyping strategies including (i) evolutionary development based on successive refinements of abstract models, (ii) bottom-up approaches based on using, for example, preexisting Ada components in prototypes of full Ada systems, and (iii) various hybrid approaches.