Formal Foundations for Software Engineering Methods
Springer Berlin (Verlag)
978-3-540-63613-7 (ISBN)
Heinrich Hussmann ist Professor für Medieninformatik an der Ludwig-Maximilians-Universität München (LMU) und hat dort den einführenden Vorlesungszyklus für das Studium der Medieninformatik konzipiert. Seine wissenschaftliche Arbeit ist besonders von der Softwaretechnik geprägt. Vor dem Hintergrund einer mehrjährigen Industrietätigkeit als Systemingenieur engagiert er sich besonders für die Vermittlung von praxisrelevantem, aber nicht zu schnell veraltendem Grundlagenwissen.
Terminology.- SSADM - a pragmatic requirements engineering method.- Spectrum - a formal specification framework.- Alternative ways to an integration of SSADM and spectrum.- A semantic reference specification for SSADM.- The SSADM technique "logical data modelling".- The SSADM technique "entity-event modelling".- Logical consistency of SSADM-F.- Formal extensions for SSADM-F.- The SSADM technique "data flow modelling".- Summary and outlook.
Erscheint lt. Verlag | 23.9.1997 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | XI, 293 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 462 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Schlagworte | Design • formal methods • formal specification • Modeling • object-oriented technology • Requirements Engineering • software development • Software engineering • Software Engineering / Softwareentwicklung • Softwareentwicklung • SSADM method • structured analysis |
ISBN-10 | 3-540-63613-7 / 3540636137 |
ISBN-13 | 978-3-540-63613-7 / 9783540636137 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich