Ada semantic interface specification (ASIS)

Authors:
James B. Bladen;David Spenhoff;Steven J. Blake
Affiliations:
TeleSoft, 5959 Cornerstone Court West, San Diego, CA;Rational, 3320 Scott Boulevard, Santa Clara, CA;TeleSoft, 5959 Cornerstone Court West, San Diego, CA
Venue:
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Year:
1991

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

TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Experiences with The Ada Semantic Interface Specification (ASIS): developing a tool with a view

TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
A practical tool for distributing Ada programs: TeleSoft's distributed Ada configuration tool

TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
The GNAT project: a GNU-Ada 9X compiler

TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Smart recompilation and the GNAT compiler

TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Verification of the application of coding rules for Ada to enhance portability of real-time applications

WADAS '94 Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on Ada
The architecture of Montana: an open and extensible programming environment with an incremental C++ compiler

SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
An approach to model checking ada programs

Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies

Hi-index	0.00