The proceedings contains 6 papers from the ieeE colloquium on computeraidedsoftware Testing (CAST) tools. Topics discussed include an overview of various CAST tools, Channel Tunnel control and communication software...
详细信息
The proceedings contains 6 papers from the ieeE colloquium on computeraidedsoftware Testing (CAST) tools. Topics discussed include an overview of various CAST tools, Channel Tunnel control and communication software testing, Ada tools for component testing, testing safety critical software for aerospace applications, automatic test data generation and evolutionary computation.
An IPSE (Integrated Project Support Environment), which is a generalisation of computeraidedsoftwareengineering techniques to include all the activities and information within a project is described. The tools requ...
详细信息
An IPSE (Integrated Project Support Environment), which is a generalisation of computeraidedsoftwareengineering techniques to include all the activities and information within a project is described. The tools required to manage an IPSE are examined. It is proposed that an IPSE is an application of conventional data management and process control techniques, and is not just a 'workstation'. Procedural management is fundamental to orderly application of tools, and the tools themselves need explicit specification. Controlled evolution of trusted components may then result in a manageable and efficient IPSE which is suitable for application to critical systems.
This conference proceedings contains 7 papers dealing with softwaretools and packages, their development and applications. Considered are softwareengineering, Unix-based tools, advanced development architecture, use...
详细信息
This conference proceedings contains 7 papers dealing with softwaretools and packages, their development and applications. Considered are softwareengineering, Unix-based tools, advanced development architecture, use of software development tools for control and monitoring and other industrial applications, verification procedures and Ada Programming Support Environment (APSE) software of US Department of Defense (DoD).
The paper discusses would be limitations that computersoftware rather than hardware can impose on sophisticated microprocessor based control of cars and the efforts being done to develop tools to support car software...
详细信息
The paper discusses would be limitations that computersoftware rather than hardware can impose on sophisticated microprocessor based control of cars and the efforts being done to develop tools to support car software development. CASE workbench tools are described with their limitations. softwareengineering environments including their requirements and benefits are considered. Real time software development tools and route planning software are also described.
software reliability engineering involves techniques for the design, testing and evaluation of software systems, focusing on reliability attributes. Design for reliability is achieved by fault-tolerance techniques tha...
详细信息
software reliability engineering involves techniques for the design, testing and evaluation of software systems, focusing on reliability attributes. Design for reliability is achieved by fault-tolerance techniques that keep the system working in the presence of software faults. Testing for reliability is achieved by fault-removal techniques that detect and correct software faults before the system is deployed. Evaluation for reliability is achieved by fault-prediction techniques that model and measure the reliability of the system during its operation. This paper presents the best current practices in software reliability engineering for design, testing and evaluation purposes. There are descriptions of how fault-tolerant components are designed and applied to software systems, how software testing schemes are performed to show improvement of software reliability, and how reliability quantities are obtained for software systems. The tools associated with these techniques are also examined, and some application results are described.
The Alvey softwareengineering Programme is one of the four main technology programmes being pursued by the Alvey Directorate following the recommendations of the Alvey Committee in October 1982. The software Engineer...
详细信息
The Alvey softwareengineering Programme is one of the four main technology programmes being pursued by the Alvey Directorate following the recommendations of the Alvey Committee in October 1982. The softwareengineering Programme aims to establish tools and methods necessary for the production of quality, cost effective software of world leading standard. It will be concerned with all stages of the software life cycle. Of equal importance the programme will seek to foster attitudes within UK management and their software staff that will regard the use of such tools and methods as normal practice.
作者：
AnonIEE
Computing & Control Div London Engl IEE Computing & Control Div London Engl
This colloquium proceedings contains seven papers. The majority of the papers involve the topics of computersoftware documentation and engineering. Specific topics are as follows: guidelines for the documentation of ...
详细信息
This colloquium proceedings contains seven papers. The majority of the papers involve the topics of computersoftware documentation and engineering. Specific topics are as follows: guidelines for the documentation of computer programs used in civil engineering;the Thames river weir automation project;a survey of how computer programmers spend their time on a project;softwareengineering standards;the STARTS (softwaretools for application to Large Real-Time Systems) program as applied to the United Kingdom's real-time software systems supply industry;and the FAST (Federation Against software Theft) organization.
This colloquium contains 7 papers two of which are in abstract form only. The main subjects are computersoftware development methodology, functional and specification languages, systems analysis and design, and softw...
详细信息
This colloquium contains 7 papers two of which are in abstract form only. The main subjects are computersoftware development methodology, functional and specification languages, systems analysis and design, and softwareengineering. application of formal software development methods to office automation is also presented.
暂无评论