首页> 美国政府科技报告 >Software Technology for Adaptable, Reliable Systems (STARS) Program: Cleanroom Software Process Case Study. Addendum. The Cleanroom Engineering Process Assistant (CEPA) Specifications for a Prototype of the Workstation and Dispatcher.

【24h】

Software Technology for Adaptable, Reliable Systems (STARS) Program: Cleanroom Software Process Case Study. Addendum. The Cleanroom Engineering Process Assistant (CEPA) Specifications for a Prototype of the Workstation and Dispatcher.

机译：适应性，可靠系统的软件技术（sTaRs）计划：洁净室软件过程案例研究。附录。工作站和调度员原型的洁净室工程过程助手（CEpa）规范。

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

This document provides the requirements for a process system to support the development of software using the Cleanroom Engineering Software Development Process. This document provides functional specifications (in box structure notation) for the Cleanroom Engineering Process Assistant (CEPA) prototype system and provides a concept of operations for the CEPA support of the Cleanroom Engineering Software Development Process.

著录项

作者
Ett, W.;
展开▼
作者单位

展开▼
年度 1991
页码 1-159
总页数 159
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Case studies; Computer programming; Computer programs; Prototypes; Specifications; Work stations; Software engineering; Systems management; Computer program reliability;

机译：案例研究;计算机编程;计算机程序;原型;规范;工作站;软件工程;系统管理;计算机程序可靠性;

相似文献

外文文献
专利

1. Software Engineering Processing and Linguistics Properties of Adaptable Systems (Part 2) [J] . Dumitru Todoroi, Diana Micu?a, Zinaida Todoroi Informatica Economica . 2006,第1期

机译：自适应系统的软件工程处理和语言学特性（第2部分）
2. Software Engineering Processing and Linguistics Properties of Adaptable Systems (Part 2) [J] . Dumitru Todoroi, Diana Micu?a, Zinaida Todoroi Informatica Economica . 2006,第1期

机译：自适应系统的软件工程处理和语言学特性（第2部分）
3. Software/Hardware Solutions for Information Processing in All Programmable Systems-on-Chip [J] . Valery Sklyarov Journal of Control Engineering and Applied Informatics . 2016,第3期

机译：所有片上可编程系统中信息处理的软件/硬件解决方案
4. Teaching specification and verification of event-driven programs using cleanroom software engineering [C] . Gabriel J. Ferrer, PGabriel J. Ferrer Proceedings of the 2nd annual conference on Mid-south college computing . 2004

机译：使用洁净室软件工程进行教学规范和事件驱动程序的验证
5. Serialization of concurrent software specifications and the effects of processor autonomy on parallel program execution. [D] . Hawver, Dennis M. 2004

机译：并发软件规范的序列化以及处理器自治权对并行程序执行的影响。
6. Integrating Software Engineering Processes in the Development of Efficient Intrusion Detection Systems in Wireless Sensor Networks [O] . Iman Almomani, Afnan Alromi 2020

机译：在无线传感器网络中高效的入侵检测系统开发中集成软件工程流程
7. Applying agent technology to software process modeling and process-centered software engineering environment [O] . Zhao X, Chan KCC, Li M 2005

机译：将代理技术应用于软件过程建模和以过程为中心的软件工程环境

Software Technology for Adaptable, Reliable Systems (STARS) Program: Cleanroom Software Process Case Study. Addendum. The Cleanroom Engineering Process Assistant (CEPA) Specifications for a Prototype of the Workstation and Dispatcher.

摘要

著录项

相似文献

相关主题

期刊订阅