Formal Foundations for Software Engineering Methods

In 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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Hußmann, Heinrich (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
Έκδοση:1st ed. 1997.
Σειρά:Lecture Notes in Computer Science, 1322
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 02987nam a2200493 4500
001 978-3-540-69610-0
003 DE-He213
005 20191220125847.0
007 cr nn 008mamaa
008 121227s1997 gw | s |||| 0|eng d
020 |a 9783540696100  |9 978-3-540-69610-0 
024 7 |a 10.1007/3-540-63613-7  |2 doi 
040 |d GrThAP 
050 4 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
072 7 |a UMZ  |2 thema 
072 7 |a UL  |2 thema 
082 0 4 |a 005.1  |2 23 
100 1 |a Hußmann, Heinrich.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Formal Foundations for Software Engineering Methods  |h [electronic resource] /  |c by Heinrich Hußmann. 
250 |a 1st ed. 1997. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 1997. 
300 |a XI, 293 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 1322 
505 0 |a 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. 
520 |a In 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 |a Software engineering. 
650 1 4 |a Software Engineering/Programming and Operating Systems.  |0 http://scigraph.springernature.com/things/product-market-codes/I14002 
650 2 4 |a Software Engineering.  |0 http://scigraph.springernature.com/things/product-market-codes/I14029 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783662185964 
776 0 8 |i Printed edition:  |z 9783540636137 
830 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 1322 
856 4 0 |u https://doi.org/10.1007/3-540-63613-7  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
912 |a ZDB-2-BAE 
950 |a Computer Science (Springer-11645)