Formal methods for object-oriented software engineering

Mahesh Dodani

doi:10.1007/bf02063808

Vista: a user interface for a distributed object-oriented software engineering environment

Software Engineering Journal ◽

10.1049/sej.1992.0003 ◽

1992 ◽

Vol 7 (1) ◽

pp. 25 ◽

Cited By ~ 1

Author(s):

T. Rodden ◽

P. Sawyer ◽

I. Sommerville

Keyword(s):

User Interface ◽

Software Engineering ◽

Object Oriented ◽

Distributed Object ◽

Engineering Environment

Download Full-text

A framework for using formal methods in object-oriented software development

ACM SIGPLAN OOPS Messenger ◽

10.1145/130943.130946 ◽

1992 ◽

Vol 3 (2) ◽

pp. 9-10 ◽

Cited By ~ 2

Author(s):

Richard Holt ◽

Dennis deChampeaux

Keyword(s):

Software Development ◽

Formal Methods ◽

Object Oriented

Download Full-text

Software engineering and formal methods: SEFM 2019 special section

Software & Systems Modeling ◽

10.1007/s10270-021-00874-1 ◽

2021 ◽

Vol 20 (2) ◽

pp. 291-292

Author(s):

Peter Csaba Ölveczky ◽

Gwen Salaün

Keyword(s):

Software Engineering ◽

Formal Methods ◽

Special Section

Download Full-text

UML Diagrams in Software Engineering Research: A Systematic Literature Review

Proceedings ◽

10.3390/proceedings2021074013 ◽

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.

Download Full-text

Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment

ACM Transactions on Software Engineering and Methodology ◽

10.1145/3450968 ◽

2021 ◽

Vol 30 (4) ◽

pp. 1-29

Author(s):

Philipp Paulweber ◽

Georg Simhandl ◽

Uwe Zdun

Keyword(s):

Formal Methods ◽

Formal Method ◽

Object Oriented ◽

Controlled Experiment ◽

Specification Languages ◽

Randomized Design ◽

Textual Description ◽

Efficiency And Effectiveness ◽

Completely Randomized Design ◽

Experimental Group

Abstract State Machine (ASM) theory is a well-known state-based formal method. As in other state-based formal methods, the proposed specification languages for ASMs still lack easy-to-comprehend abstractions to express structural and behavioral aspects of specifications. Our goal is to investigate object-oriented abstractions such as interfaces and traits for ASM-based specification languages. We report on a controlled experiment with 98 participants to study the specification efficiency and effectiveness in which participants needed to comprehend an informal specification as problem (stimulus) in form of a textual description and express a corresponding solution in form of a textual ASM specification using either interface or trait syntax extensions. The study was carried out with a completely randomized design and one alternative (interface or trait) per experimental group. The results indicate that specification effectiveness of the traits experiment group shows a better performance compared to the interfaces experiment group, but specification efficiency shows no statistically significant differences. To the best of our knowledge, this is the first empirical study studying the specification effectiveness and efficiency of object-oriented abstractions in the context of formal methods.

Download Full-text