Ebooks

Software Engineering 1~tqw~ darksiderg

• 
• 
• Rate this torrent +  |  -

Torrent info

Torrent Files List

Torrent description

*******************************************************************************
Software Engineering 1
*******************************************************************************

-------------------------------------------------------------------------------
General Information
-------------------------------------------------------------------------------
Type.................: Application
Part Size............: 56,371,837 bytes




-------------------------------------------------------------------------------
Post Information
-------------------------------------------------------------------------------
Posted by............: ~tqw~

-------------------------------------------------------------------------------
Release Notes
-------------------------------------------------------------------------------
The art, craft, discipline, logic, practice and science of developing large-
scale software products needs a professional base. The textbooks in this three-
volume set combine informal, engineeringly sound approaches with the rigor of
formal, mathematics-based approaches. This volume covers the basic principles
and techniques of abstraction and modeling. First it provides a sound, simple
basis of insight into discrete mathematics: numbers, sets, Cartesians, types,
functions, the Lambda calculus, algebras and mathematical logic. Then it teaches
its readers basic property- and model-oriented specification principles and
techniques. The model-oriented concepts that are common to such specification
languages as B, VDM-SL and Z are propagated here through the use of the RAISE
specification language (RSL). Finally the book covers the basic principles of
functional, imperative and parallel specification programming.

Table Of Contents

Preface VII
Part I OPENING
1 Introduction 3
Part II DISCRETE MATHEMATICS
2 Numbers 45
3 Sets 55
4 Cartesians 63
5 Types 71
6 Functions 87
7 Lamada-Calculus 109
8 Algebras 127
9 Mathematical Logic 141
Part III SIMPLE RSL
10 Atomic Types and Values in RSL 205
11 Function Definitions in RSL 221
12 Property-Oriented and Model-Oriented Abstraction 231
13 Sets in RSL 263
14 Cartesians in RSL 295
15 Lists in RSL 321
16 Maps in RSL 349
17 Higher-Order Functions in RSL 393
Part IV SPECIFICATION TYPES
18 Types in RSL 413
Part V SPECIFICATION PROGRAMMING
19 Applicative Specification Programming 429
20 Imperative Specification Programming 467
21 Concurrent Specification Programming 511
Part VI AND SO ON!
22 Etcetera! 557
Part VII APPENDIXES
A Common Exercise Topics 563
B Glossary 567
C Indexes 649
References 687

Product Details

* ISBN: 3540211497
* ISBN-13: 9783540211495
* Format: Hardcover, 714pp
* Publisher: Springer
* Pub. Date: May 2007

-------------------------------------------------------------------------------
Install Notes
-------------------------------------------------------------------------------
PDF Reader

related torrents