Software Engineering 1 Abstraction and Modelling
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...
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2006, 2006
|
Edition: | 1st ed. 2006 |
Series: | Texts in Theoretical Computer Science. An EATCS Series
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 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!