The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This article describes the rationale for and the long term objectives of the ESPRIT project "A basis for Portable Common Tool Environments (PCTE)". The PCTE project is presented in the context of a strategic initiative which aims to establish the foundations for a systematic approach to software production in Europe. More detailed information on the technical aspects of PCTE can be found...
DIGITAL's VAX Ada is a validated, production-quality implementation of the full Ada language that is well-integrated into the VMSTM operating system environment on VAX systems. The programming support environment consists of an Ada compiler, an Ada program library manager, and a multi-language programming environment including a variety of tools which all work together. The Ada compiler has many features...
Attention here is not confined to a programming support environment, but rather focusses on the broader notion of a project support environment. It is argued that the role of such an environment is to provide effective support for an effective process, and that this role has significant implications for the design of such environments. It is further suggested that, since few aspects of a project environment...
This paper advocates a new paradigm for software development in which validation, modification and enhancement are performed at the level of abstract specifications. An implementation is derived from a system's specification by a process of stepwise refinement that is largely automated. We describe the Refine TM system which supports this new paradigm including automatically compiling specifications...
Project Graphs are acyclic directed graphs and define plans for the development of software. Project Graphs are discussed from several Project Management and Software Engineering points of view, from the point of view of Programming Methodology, and also of Theoretical Computer Science — ie. from more informal, pragmatic viewpoints, via formal methodological viewpoints, to a strictly theoretical...
Formal methods employ mathematical notation to record specifications and use mathematical reasoning to justify designs with respect to such specifications. One avenue of formal methods research is known as the Vienna Development Method. VDM has been used on programming language and non-language applications. In this paper, programming languages and their compilers are ignored; the focus is on the...
The PROSPECTRA project aims to provide a rigorous methodology for developing correct Ada software and a comprehensive support system. It is a cooperative project between Universität Bremen, Universität Dortmund, Universität Passau, Universität des Saarlandes (all D), University of Strathclyde (GB), SYSECA Logiciel (F), Dansk Datamatik Center (DK), and Standard Electrica S.A. (E), and is sponsored...
The Ada Compiler Validation Capability is a set of tests used to check the conformity of Ada compilers to the Ada Standard. This paper discusses the philosophy and development of these tests from a “lessons learned” perspective, and points out lessons that apply to the testing of other large software projects. Examples of tests and test outputs are given.
More and more organizations depend on software for part of their activities. Software suppliers have great difficulty satisfying the increasing demand. The US Department of Defense, being a large user of software, has taken the initiative to push for increased programmers' productivity by improving the software production process. The first phase of the DoD's Software Initiative resulted in the design...
TSL-1 is a language for specifying sequences of tasking events occuring in the execution of distributed Ada programs. Such specifications are intended primarily for testing and debugging of Ada tasking programs, although they can also be applied in designing programs. TSL-1 specifications are included in an Ada program as formal comments. They express constraints to be satis fied by the sequences...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.