Software Engineering 1 Abstraction and Modelling /

• Κύριος συγγραφέας: Bjørner, Dines (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Texts in Theoretical Computer Science an EATCS Series,
• Θέματα: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.

The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 1 covers t...

Πίνακας περιεχομένων:

• Opening
• Discrete Mathematics
• Numbers
• Sets
• Cartesians
• Types
• Functions
• A ?-Calculus
• Algebras
• Mathematical Logic
• Simple RSL
• Atomic Types and Values in RSL
• Function Definitions in RSL
• Property-Oriented and Model-Oriented Abstraction
• Sets in RSL
• Cartesians in RSL
• Lists in RSL
• Maps in RSL
• Higher-Order Functions in RSL
• Specification Types
• Types in RSL
• Specification Programming
• Applicative Specification Programming
• Imperative Specification Programming
• Concurrent Specification Programming
• And So On!
• Etcetera!.