Program development by specification and transformation in Ada/Anna
Proc. of the Ada-Europe international conference on Ada: managing the transition
Semantic specification of Ada packages
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
ANNA: Towards a language for annotating Ada programs
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
The complete transformation methodology for sequential runtime checking of an ANNA subset
The complete transformation methodology for sequential runtime checking of an ANNA subset
Stanford Pascal Verifier user manual
Stanford Pascal Verifier user manual
Runtime and description of deadness errors in ADA tasking
Runtime and description of deadness errors in ADA tasking
ANNA: a language for annotating ADA programs
ANNA: a language for annotating ADA programs
Runtime detection and description of deadness errors in Ada tasking
ACM SIGAda Ada Letters
Compilers: Principles, Techniques, and Tools (2nd Edition)
Compilers: Principles, Techniques, and Tools (2nd Edition)
Parameterization: a case study
ACM SIGAda Ada Letters
High-fidelity C/C++ code transformation
Science of Computer Programming
Hi-index | 0.00 |
This report gives an overview of the current status and plans to construct a prototype environment of advanced tools for software and hardware development based on the use of wide-spectrum languages. The wide-spectrum languages include Anna (ANNotated Ada), and TSL (Task Sequencing Language). The tools described here provide interactive aid at all stages in the system development process. Special emphasis is placed on distributed computing, both in providing tools for handling parallelism in the subject system, and in designing tools that utilize parallelism in the programming environment. Applications of these tools include requirements analysis, formal specification, rapid prototyping, testing, formal verfication and construction of self-testing Ada software for multi-processor systems.The report describes an existing environment of prototype tools supporting applications of Anna and TSL to formal specification and testing of Ada software. The new environment tools will be based on component tools already developed at Stanford and proven to be portable to various Ada environments. All tools are implemented in Ada and are intended to interface with standard components of Ada programming environments.