Approved for public release; distribution unlimited Acknowledgments This thesis would not have been possible without the help and understanding of a number of people. Any merit this work has ii a direct result of that support, and to experience that support has meant as much to me personally as the thesis experience has meant to me professionally
This paper gives a taxonomy for the evaluation of object-oriented design methods and implementation ...
The work described in this paper is a first attempt to find a synthesis of concurrency and the obje...
The integration of concurrent and object-oriented programming, although promising, presents problems...
Object-oriented systems have provided a new methodology for decomposing problems. They have also bro...
In this thesis, we are concerned with the development of concurrent software for embedded systems. T...
PhD ThesisModern computing systems support concurrency as a means of increasing the performance o...
Concurrency in object oriented languages seems natural. However well known problems arise when we tr...
this paper introduces concurrency to the object-oriented language Eiffel by providing a set of Class...
An embedded system is a computer system that is a part of a larger device with hardware and mechanic...
A homogeneous machine architecture, consisting of a regular interconnection of many identical elemen...
In this paper we present an object-oriented method for the design, verification and implementation o...
. This document aims to provide a formal semantics for an object-oriented language with constructs f...
. In this paper, we describe an approach to the representation, specification and implementation of ...
Object-oriented programming has been very successful for general purpose programming tasks for almos...
Efficiency of software application is one of the important metrics that are used to measure the qual...
This paper gives a taxonomy for the evaluation of object-oriented design methods and implementation ...
The work described in this paper is a first attempt to find a synthesis of concurrency and the obje...
The integration of concurrent and object-oriented programming, although promising, presents problems...
Object-oriented systems have provided a new methodology for decomposing problems. They have also bro...
In this thesis, we are concerned with the development of concurrent software for embedded systems. T...
PhD ThesisModern computing systems support concurrency as a means of increasing the performance o...
Concurrency in object oriented languages seems natural. However well known problems arise when we tr...
this paper introduces concurrency to the object-oriented language Eiffel by providing a set of Class...
An embedded system is a computer system that is a part of a larger device with hardware and mechanic...
A homogeneous machine architecture, consisting of a regular interconnection of many identical elemen...
In this paper we present an object-oriented method for the design, verification and implementation o...
. This document aims to provide a formal semantics for an object-oriented language with constructs f...
. In this paper, we describe an approach to the representation, specification and implementation of ...
Object-oriented programming has been very successful for general purpose programming tasks for almos...
Efficiency of software application is one of the important metrics that are used to measure the qual...
This paper gives a taxonomy for the evaluation of object-oriented design methods and implementation ...
The work described in this paper is a first attempt to find a synthesis of concurrency and the obje...
The integration of concurrent and object-oriented programming, although promising, presents problems...