| 000 | 02871nam a22005055i 4500 | ||
|---|---|---|---|
| 001 | 978-3-540-69610-0 | ||
| 003 | DE-He213 | ||
| 005 | 20240423132557.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 121227s1997 gw | s |||| 0|eng d | ||
| 020 |
_a9783540696100 _9978-3-540-69610-0 |
||
| 024 | 7 |
_a10.1007/3-540-63613-7 _2doi |
|
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 072 | 7 |
_aUMZ _2thema |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 100 | 1 |
_aHußmann, Heinrich. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
| 245 | 1 | 0 |
_aFormal Foundations for Software Engineering Methods _h[electronic resource] / _cby Heinrich Hußmann. |
| 250 | _a1st ed. 1997. | ||
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c1997. |
|
| 300 |
_aXI, 293 p. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v1322 |
|
| 505 | 0 | _aTerminology -- 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. | |
| 520 | _aIn this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semantic analysis of the concepts in SSADM, a British standard structured software engineering method. Thirdly, a way of obtaining a hybrid formal-pragmatic specification using a combination of SSADM notations and formal (SPECTRUM) specifications is shown. This well-written book encourages scientists and software engineers to apply formal methods to practical software development problems. | ||
| 650 | 0 | _aSoftware engineering. | |
| 650 | 1 | 4 | _aSoftware Engineering. |
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783540636137 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783662185964 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v1322 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/3-540-63613-7 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 912 | _aZDB-2-BAE | ||
| 942 | _cSPRINGER | ||
| 999 |
_c189316 _d189316 |
||