1997
DOI: 10.1007/s004500050086
|View full text |Cite
|
Sign up to set email alerts
|

Formale objektorientierte Softwareentwicklung mit ${\cal F}{{\scriptstyle{\cal O}{\cal X}}}$

Abstract: Zusammenfassung. Wir stellen die neue Methode FOX vor, die auf die formale Entwicklung sequentieller, objektorientierter Softwaresysteme abzielt. FOX ist eine synergetische Kombination aus der semiformalen Methode Fusion und der formalen Spezifikationssprache Object-Z. Die Methode unterscheidet ausdrücklich Analyse und Entwurf, um die Komplexität und die unterschiedlichen Aufgaben der Softwareentwicklung zu bewältigen. In jeder Entwicklungsphase werden Zustands-und Verhaltensspezifikationen in graphischer oder… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2000
2000
2000
2000

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
references
References 9 publications
(2 reference statements)
0
0
0
Order By: Relevance