Teaching object-oriented development with emphasis on pattern application

2000 ◽  
Author(s):  
Lew Della ◽  
David Clark
Keyword(s):  
Object Oriented ◽  
Pattern Application

A Generic Model of Object-Oriented Patterns Specified in RSL

2011 ◽  
pp. 44-72 ◽  
Author(s):  
Andrés Flores ◽  
Alejandra Cechich ◽  
Gabriela Aranda
Keyword(s):  
Design Process ◽  
Object Oriented ◽  
Tool Support ◽  
Generic Model ◽  
Formal Specifications ◽  
Java Language ◽  
Wide Range ◽  
Dynamic Structures ◽  
Pattern Modeling ◽  
Pattern Application

Object-oriented patterns are a promising technique for achieving widespread reuse of software architectures. They capture the static and dynamic structures of components and frameworks in successful solutions to problems for a wide range of domains. However, patterns are invariably described informally in the literature, which makes it difficult to give any meaningful certification of pattern-based software. The design process could be enhanced by means of an automatic support for modeling and verification with a proper formal foundation. In this chapter, we show how formal specifications of GoF patterns, based on the RAISE language, have been helpful in developing that tool support, where we have adopted the well-known Java language upon its portability facet. Thus, the object-oriented design process is extended by the inclusion of pattern-based modeling and verification steps, the latter involving checking design correctness and appropriate pattern application through the use of the supporting tool, called DePMoVe (design and pattern modeling and verification).

Automatic Verification of OOD Pattern Applications

2011 ◽  
pp. 143-192
Author(s):  
Andreas Flores ◽  
Alejandra Cechich ◽  
Rodrigo Ruiz
Keyword(s):  
Design Process ◽  
Design Patterns ◽  
Object Oriented ◽  
Tool Support ◽  
Formal Specifications ◽  
Object Oriented Design ◽  
Java Language ◽  
Common Problems ◽  
Pattern Modeling ◽  
Pattern Application

Object-oriented patterns condense experimental knowledge from developers. Their pragmatic benefits may involve a reduction on the effort impact of the maintenance stage. However, some common problems can be distinguished as well. For instance, some design patterns are simply too difficult for the average OO designer to learn. A pattern-based design process could be enhanced by the provision of an automatic support for modeling and verification with a proper formal foundation. In this chapter we show how formal specifications of GoF patterns have been helpful to develop that tool support, where we have adopted the well-known Java language upon its portability facet. Thus, we are changing the object-oriented design process by the inclusion of pattern-based modeling and verification steps. The latter involving checking design correctness and appropriate pattern application through the use of the supporting tool, called DePMoVe (Design and Pattern Modeling and Verification).

Early generation of performance models for object-oriented systems

2000 ◽  
Vol 147 (3) ◽  
pp. 61 ◽  
Author(s):  
V. Cortellessa ◽  
G. Iazeolla ◽  
R. Mirandola
Keyword(s):  
Object Oriented ◽  
Performance Models ◽  
Early Generation ◽  
Object Oriented Systems

Object-oriented approach

IEE Review ◽  
1990 ◽  
Vol 36 (9) ◽  
pp. 338
Author(s):  
Stephen Wilson
Keyword(s):  
Object Oriented ◽  
Object Oriented Approach ◽  
Oriented Approach

Adding rigour to object-oriented analysis

1996 ◽  
Vol 11 (5) ◽  
pp. 270 ◽  
Author(s):  
Ana M.D. Moreira ◽  
Robert G. Clark
Keyword(s):  
Object Oriented ◽  
Object Oriented Analysis

A General Model of Drug Prescription

1995 ◽  
Vol 34 (04) ◽  
pp. 310-317 ◽  
Author(s):  
B. Séné ◽  
I. de Zegher ◽  
C. Milstein ◽  
S. Errore ◽  
F de Rosis ◽  
...  
Keyword(s):  
User Interface ◽  
Life Events ◽  
Drug Prescription ◽  
Clinical Signs ◽  
Object Oriented ◽  
Drug Prescriptions ◽  
Free Text ◽  
Medical Procedures ◽  
Dosage Regimens ◽  
Structured Representation

Abstract:Currently, there is no widely accepted structured representation of drug prescription. Nevertheless, a structured representation is required for entering and storing drug prescriptions avoiding free text in computerized systems, and for drug prescription reviews. Derived from part of the work of the European OPADE project, we describe an object-oriented model of drug prescription which incorporates important concepts such as the phase and triggering event concepts. This model can be used to record all drug prescriptions, including infusions, in a structured way avoiding free text. The phase concept allows the storage of sequentially ordered dosage regimens for a drug within the same prescription. The prescription triggering event concept allows recording of the administration of a drug conditional to dates, symptoms and clinical signs, medical procedures, and everyday life events. This model has been implemented within the OPADE project; the corresponding aspects of the user interface are presented to show how this model can be used in practice. Even if other new attributes may be added to the described objects, the structure of this model is suitable for general use in software which requires the entry, storage and processing of drug prescriptions.

Sign in / Sign up

Export Citation Format

Share Document