Design patterns have been widely employed as a useful object-oriented technique in software engineering. In this paper, we present an approach to property checking for the application of design patterns in rCOS, which is known as a refinement calculus for object oriented systems. A relational calculus is proposed to specify the pattern properties we would like to check. To construct the abstrac...

We present a view on software systems and emphasize that a software system creates the user’s conceptual model. Regarding a software developer as a user, we point out the existence of a gap between the conceptual model of a software development system and the software developer’s conceptual model of a software system. To minimize this gap, extending software development systems to support archi...

The design of the architecture of a software is a crucial step in the development process. The architecture defines the components of the software and the functions and responsibilities of each component. Also, the architecture determines the maintainability of the software, and the techniques that are used in the implementation. Software architecture visualizations support the architect when s...

Description Software design patterns are solutions to problems that arise regularly during software design. They are meant to serve as readily applicable, time-saving strategies for software development. The structured documentation that accompanies a properly defined pattern allows developers to quickly identify and apply patterns to a given problem. Security patterns are software design patte...

Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for precisely representing design patterns. It is true that some graphical annotations related to parameterized collaborations can be drawn on a UML model, but even the most classical GoF patterns, such as Observer, Composite or Vi...

Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design refinement, the process of refining a set of design patterns to arrive at application-specific design components, and ultimately, to system implementations. The approach also enables designers to refine a given pattern to arriv...

The paper presents a formalization of (some) design patterns as operators between lasses. A on rete design pattern is understood as an operator that modi es ertain lasses into the design proposed by the pattern. In su h this way, we present a way to understand design patterns in a formal ontext, what aims for formal reasoning about them. Furthermore, the view of design patterns as lass operator...

In this work, we are interested in building a software engineering discipline for planning system design. Our objective is to enable planning systems to become more configurable and modular, with the help of object libraries capturing well designed experiences and a common planner-design pattern catalog. It is hoped that the planning systems thus constructed will be more reusable and modifiable...

This thesis presents an examination of design patterns within the context of garbage collection. Initially, I review garbage collection and design patterns. Four garbage collectors are then examined and the design patterns found described. Both domain speci c and generic patterns are described. The domain speci c patterns are TriColour and RootSet, the generic patterns are Adaptor, Facade, Iter...

Visualization of design patterns information play a vital role in analysis, design and comprehension of software applications. Different representations of design patterns have been proposed in literature, but each representation has its strengths and limitations. State of the art design pattern visualization approaches are unable to capture all the aspects of design pattern visualization which...