Automated implementations of Lotos specification

Cuypers, Ludo

doi:10.1016/0165-6074(92)90395-n

Search citation statements

Order By: Relevance

Paper Sections

Select...

Metaphor2

Citation Types

Supporting

Mentioning

Contrasting

Year Published

1993

Publication Types

Select...

Other2

Relationship

Self Cite1

Independent1

Authors

Journals

Cited by 2 publications

(2 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For an in-depth discussion on the differences between the implementation relations, we refer to [4].…”

Section: Metaphormentioning

confidence: 99%

See 1 more Smart Citation

Specification languages and their implementations

Cuypers

1993

Proceedings of the 1993 ACM Conference on Computer Science - CSC '93

Self Cite

View full text Add to dashboard Cite

This paper describes some historical software engineering backgrounds leading to specification languages. These specification languages have high promises for the future. One of the main problems is the derivation of implementations. We propose a methoa'ology to translate L.otos specifications into implementations. The principles behind the framework and its concepts are introduced using a simple example. Finally, we explain how implementation techniques proposed by other authors can be integrated in our-framework.

show abstract

“…For an in-depth discussion on the differences between the implementation relations, we refer to [4].…”

Section: Metaphormentioning

confidence: 99%

“…3 These building blocks are enriched to have all their relevant infannation locally. 4 The blocks are used as the nodes of a graph. The arcs represent the control, interaction point and data flow between the blocks.…”

Section: Metaphormentioning

confidence: 99%