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...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Autor Corporativo: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
|
Edición: | 1st ed. 2006. |
Colección: | Texts in Theoretical Computer Science. An EATCS Series,
|
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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!.