1984
DOI: 10.1007/978-3-642-70086-6_31
|View full text |Cite
|
Sign up to set email alerts
|

Methoden zur Entwicklung von Realzeitsystemen und ihre praktische Anwendung in EPOS

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0
1

Year Published

1988
1988
2013
2013

Publication Types

Select...
5

Relationship

0
5

Authors

Journals

citations
Cited by 7 publications
(1 citation statement)
references
References 5 publications
0
0
0
1
Order By: Relevance
“…Ein typisches Beispiel ist die Respezifikation der gesamten Maincomputersoftware des TORNADOs unter Verwendung des Spezifikationssystems EPOS[LaLe84],[Goeh84].Ausgehend yom existierenden Quellcode als der Basis fur objektiv korrekte Information werden zu-sammen mit den sparlich verfugbaren Kommentierungen und Beschreibungen der Programmanweisungen Relationen zu vorhandenen Entwurfsbeschreibungen geschaffen. Ein typisches Beispiel ist die Respezifikation der gesamten Maincomputersoftware des TORNADOs unter Verwendung des Spezifikationssystems EPOS[LaLe84],[Goeh84].Ausgehend yom existierenden Quellcode als der Basis fur objektiv korrekte Information werden zu-sammen mit den sparlich verfugbaren Kommentierungen und Beschreibungen der Programmanweisungen Relationen zu vorhandenen Entwurfsbeschreibungen geschaffen.…”
unclassified
“…Ein typisches Beispiel ist die Respezifikation der gesamten Maincomputersoftware des TORNADOs unter Verwendung des Spezifikationssystems EPOS[LaLe84],[Goeh84].Ausgehend yom existierenden Quellcode als der Basis fur objektiv korrekte Information werden zu-sammen mit den sparlich verfugbaren Kommentierungen und Beschreibungen der Programmanweisungen Relationen zu vorhandenen Entwurfsbeschreibungen geschaffen. Ein typisches Beispiel ist die Respezifikation der gesamten Maincomputersoftware des TORNADOs unter Verwendung des Spezifikationssystems EPOS[LaLe84],[Goeh84].Ausgehend yom existierenden Quellcode als der Basis fur objektiv korrekte Information werden zu-sammen mit den sparlich verfugbaren Kommentierungen und Beschreibungen der Programmanweisungen Relationen zu vorhandenen Entwurfsbeschreibungen geschaffen.…”
unclassified