A survey of structured and object-oriented software specification methods and techniques

@article{Wieringa1998ASO,
  title={A survey of structured and object-oriented software specification methods and techniques},
  author={Roel Wieringa},
  journal={ACM Comput. Surv.},
  year={1998},
  volume={30},
  pages={459-527}
}
  • R. Wieringa
  • Published 1 December 1998
  • Computer Science
  • ACM Comput. Surv.
This article surveys techniques used in structured and object-oriented software specification methods. The techniques are classified as techniques for the specification of external interaction and internal decomposition. The external specification techniques are further subdivided into techniques for the specification of functions, behavior, and communication. After surveying the techniques, we summarize the way they are used in structured and object-oriented methods and indicate ways in which… 
Integrating Semi-Formal and Formal Software Specification Techniques
Functional and Object-Oriented Modeling of Embedded Software
TLDR
How Data Flow Diagrams, the main diagram in the traditional structured methods, can be integrated in an object-oriented development strategy based on the Unified Modeling Language (UML) is presented.
Embedding Object-Oriented Design in System Engineering
  • R. Wieringa
  • Computer Science
    Behavioral Specifications of Businesses and Systems
  • 1999
TLDR
This paper gives a conceptual framework for engineering design that accommodates the system- as well as the software level and shows how techniques from the UML and YSM can be classified within this framework, and how this allows a coherent use of these techniques in a system engineering approach.
Object-Orientation in Requirements, Specifications and Models
TLDR
It is demonstrated that while a specification may be expressed as an object-oriented model, there are disadvantages to doing so that have not been adequately considered in this context.
Process-centered review of object oriented software development methodologies
TLDR
A process-centered template is used for summarizing the object-oriented software development methodologies, highlighting the activities prescribed in the methodology while describing the modeling languages used (mainly diagrams and tables) as secondary to the activities.
Object-Orientation in Requirements , Specifications and Models TR-2001-12
TLDR
While a specification may be expressed as an objec t-ori nted model, there are disadvantages to doing so that have not been adequately c onsidered in this context.
Object-Oriented Analysis and Design
  • K. Cooper
  • Computer Science
    Wiley Encyclopedia of Computer Science and Engineering
  • 2008
TLDR
This article provides an overview of two design activities: analysis and detailed design in object-oriented design.
A framework for formal specification of embedded systems
TLDR
Concepts of a specification-driven framework focusing on object-oriented design of embedded systems and logic calculus of objects, related class specification language, and techniques both for architecture specifications and for behavior specifications generated either from UML based semiformal behavioral diagrams or from source code.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 161 REFERENCES
Coherent models for object-oriented analysis
TLDR
A set of formally based coherent models extending current informal techniques have a precise semantics and they constitute a consistent description technique for domain analysis.
A Formal Semantics for Object Model Diagrams
TLDR
A formal semantics for the OMT object model notations is presented, where an object model provides the basis for the architecture of an object oriented system, and a method for deriving modular algebraic specifications directly from object model diagrams is described.
Executable object modeling with statecharts
  • D. Harel, Eran Gery
  • Computer Science
    Proceedings of IEEE 18th International Conference on Software Engineering
  • 1996
TLDR
An effort to develop an integrated set of diagrammatic languages for modeling object-oriented systems to be intuitive and well-structured, yet fully executable and analyzable, enabling automatic synthesis of usable and efficient code in object- oriented languages such as C++.
Executable object modeling with statecharts
TLDR
An effort to develop an integrated set of diagrammatic languages for modeling object-oriented systems to be intuitive and well-structured, yet fully executable and analyzable, enabling automatic synthesis of usable and efficient code in object- oriented languages such as C++.
Guidelines for Formalizing Fusion Object-Oriented Analysis Methods
TLDR
This paper shows how a particular OOM, the Fusion analysis method, can be made more formal while preserving its essential qualities, by integrating the Z formal specification style with the Fusion method.
Object-oriented requirements analysis and logical design - a software engineering approach
  • D. Firesmith
  • Computer Science
    Wiley professional computing
  • 1993
TLDR
Object-Oriented Requirements Analysis and Logical Design provides professionals with the necessary concepts, models, notation, method, and knowledge with which to effectively develop large, complex software applications using a practical, yet state-of-the-art, object-oriented method.
An Object Modelling Technique for Conceptual Design
TLDR
This work has successfully applied the Object Modeling Technique to support conceptual design, followed by implementation using both conventional programming languages and an object-oriented language.
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
TLDR
The paper shows how Objectcharts can be used to find subtyping inheritance relationships between classes, and concludes with a description of a systematic approach for evolving Objectchart specifications.
A research typology for object-oriented analysis and design
TLDR
Critical components in OOAD are identified and various OOAD techniques (i.e., processes or methods) and representations are compared based on these components and areas for future research are discussed.
...
1
2
3
4
5
...