- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
An Extension of the Cleanroom Method for Object-Oriented Design
-
- TOMONO Masahiro
- C&C Media Research Laboratories, NEC Corporation
Bibliographic Information
- Other Title
-
- オブジェクト指向設計におけるクリーンルーム手法
Search this article
Description
The Cleanroom method cannot be applied directly to object-oriented programs, since it focuses on only the procedural aspect of programs and provides no framework for class structure design. This paper extend the Cleanroom method for object-oriented design. The proposed method employs a graph notation to represent the class structure of an object-oriented program, and provides the framework of stepwise refinement on a class structure, defining the conditions to preserve program behaviors after refinement.
Journal
-
- IPSJ SIG Notes
-
IPSJ SIG Notes 118 165-172, 1998-03-10
Information Processing Society of Japan (IPSJ)
- Tweet
Details 詳細情報について
-
- CRID
- 1571417127176981376
-
- NII Article ID
- 110002931762
-
- NII Book ID
- AN10112981
-
- ISSN
- 09196072
-
- Text Lang
- ja
-
- Data Source
-
- CiNii Articles
