Code synthesis based on object-oriented design models and formal specifications

2002 ◽  
Author(s):  
Xiaoping Jia ◽  
S. Skevoulis
Keyword(s):  
Object Oriented ◽  
Formal Specifications ◽  
Design Models ◽  
Object Oriented Design

scholarly journals UML Diagrams in Software Engineering Research: A Systematic Literature Review

Proceedings ◽  
2021 ◽  
Vol 74 (1) ◽  
pp. 13
Author(s):  
Hatice Koç ◽  
Ali Mert Erdoğan ◽  
Yousef Barjakly ◽  
Serhat Peker
Keyword(s):  
Software Engineering ◽  
Object Oriented ◽  
Modelling Language ◽  
Design Models ◽  
Engineering Research ◽  
Object Oriented Design ◽  
Unified Modelling Language ◽  
Visual Models ◽  
Uml Diagrams ◽  
Software Engineering Research

Software engineering is a discipline utilizing Unified Modelling Language (UML) diagrams, which are accepted as a standard to depict object-oriented design models. UML diagrams make it easier to identify the requirements and scopes of systems and applications by providing visual models. In this manner, this study aims to systematically review the literature on UML diagram utilization in software engineering research. A comprehensive review was conducted over the last two decades, spanning from 2000 to 2019. Among several papers, 128 were selected and examined. The main findings showed that UML diagrams were mostly used for the purpose of design and modeling, and class diagrams were the most commonly used ones.

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).

Sign in / Sign up

Export Citation Format

Share Document