Gaining a uniform view of different integration aspects in a prototyping environment

Kusch, Jan-Hardy; Hartel, Peter; Hartmann, Thorsten; Saake, Gunter

doi:10.1007/bfb0049103

Cited by 2 publications

(2 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In contrast to other works in this area ( [Wie93,Kus95]), our approach is to use this combination of approaches in a graphic, 00 conceptual modeling environment which collects the system properties considered relevant for building a formal, textual 00 specification in an automated way. This formal 00 specification constitutes a high-level system repository.…”

Section: Introductionmentioning

confidence: 99%

00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods

Pastor

Insfrán

Pelechano

et al. 2013

Seminal Contributions to Information Systems Engineering

View full text Add to dashboard Cite

00-Method is an 00 Methodology that blends the use of formal specification systems with conventional 00 methodologies based on practice. In contrast to other approaches in this field ([Jun95,Esd93]), a set of graphical models provided by the methodology allows analysts to introduce the relevant system information to obtain the conceptual model through a requirements collection phase, so that an 00 formal specification in Oasis ([Pas92, Pas95-1 ]), can be generated at any time. This formal specification acts as a high-level system repository. Furthermore, a software prototype which is functionally equivalent to the Oasis specification is also generated in an automated way. This is achieved by defining an execution model which gives the pattern for obtaining a concrete implementation in a declarative or an imperative software development environment (depending on the user choice). The methodology is supported by a CASE workbench.

show abstract

Section: Introductionmentioning

confidence: 99%

00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods

Pastor

Insfrán

Pelechano

et al. 2013

Seminal Contributions to Information Systems Engineering

View full text Add to dashboard Cite

show abstract

“…In contrast to other works in this area ( [Wie93,Kus95]), our approach is to use this combination of approaches in a graphic, OO conceptual modeling environment which collects the system properties considered relevant for building a formal, textual OO specification in an automated way. This formal OO specification constitutes a high-level system repository.…”

Section: Introductionmentioning

confidence: 99%

OO-Method: An OO software production environment combining conventional and formal methods

Pastor

Insfrán

Pelechano

et al. 1997

Notes on Numerical Fluid Mechanics and Multidisciplinary Design

View full text Add to dashboard Cite

OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this field ([Jun95,Esd93]), a set of graphical models provided by the methodology allows analysts to introduce the relevant system information to obtain the conceptual model through a requirements collection phase, so that an OO formal specification in Oasis ([Pas92, Pas95-1]), can be generated at any time. This formal specification acts as a high-level system repository. Furthermore, a software prototype which is functionally equivalent to the Oasis specification is also generated in an automated way. This is achieved by defining an execution model which gives the pattern for obtaining a concrete implementation in a declarative or an imperative software development environment (depending on the user choice). The methodology is supported by a CASE workbench.

show abstract

Gaining a uniform view of different integration aspects in a prototyping environment

Cited by 2 publications

References 16 publications

00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods

00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods

OO-Method: An OO software production environment combining conventional and formal methods

Contact Info

Product

Resources

About