This article surveys techniques used in structured and object-oriented software specification
methods. The techniques are classified as techniques for the specification of external …

Chemical methods of synthesis of materials play a crucial role in the design and discovery of
new materials, and also provide better and less cumbersome methods for preparing known …

Alloy is a little language for describing structural properties. It offers a declaration syntax
compatible with graphical object models, and a set-based formula syntax powerful enough …

UML is the de-facto standard formalism for software design and analysis. To support the
design of large-scale industrial applications, sophisticated CASE tools are available on the …

The Unified Modeling Language (UML) is a family of design notations that is rapidly
becoming a de facto standard software design language. UML provides a variety of useful …

The paper describes a model-integrated approach for embedded software development that
is based on domain-specific, multiple-view models used in all phases of the development …

The Unified Modeling Language (UML) is an Object Management Group (OMG) object-
oriented (OO) modeling notation standard. It consists of a set of notations for modeling …

We present a formal semantics for the Object Constraint Language (OCL) which is part of the
Unified Modeling Language (UML)–an emerging standard language and notation for object …

In many domains, software development has to meet the challenges of developing highly
adaptable software very rapidly. In order to accomplish this task, domain specific, formal …

Informal and graphical modeling techniques enable developers to construct abstract
representations of systems. Object-oriented modeling techniques further facilitate the …