Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
IEEE Transactions on Software Engineering
Encapsulation and inheritance in object-oriented programming languages
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Automatic translation of FORTRAN programs to vector form
ACM Transactions on Programming Languages and Systems (TOPLAS)
TS: an optimizing compiler for smalltalk
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Supercompilers for parallel and vector computers
Supercompilers for parallel and vector computers
Object-oriented modeling and design
Object-oriented modeling and design
Compiling Fortran D for MIMD distributed-memory machines
Communications of the ACM
Object distribution in Orca using Compile-Time and Run-Time techniques
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Object-oriented software metrics: a practical guide
Object-oriented software metrics: a practical guide
Performance implications of synchronization support for parallel Fortran programs
Journal of Parallel and Distributed Computing
Dependence Analysis for Supercomputing
Dependence Analysis for Supercomputing
An Implementation of an Operating System Kernel Using Concurrent Object-Oriented Language ABCL/c+
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
| Hi-index | 0.00 |
This paper discusses safety analysis of design documents constructed by object-oriented development approaches. In our previously proposed method, whether design documents satisfy safety requirements is checked using some information tables, and these safety requirements are assumed to be given in advance. However, any systematic method that can derive such safety requirements from requirements specification and safety standards has not been developed. To overcome this problem, we propose a new FTA(Fault Tree Analysis)-based technique to derive safety requirements from requirements specification, component library, and design documents. Then, we apply the proposed method to typical examples taken from previous reports.