Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
来源:互联网 发布:mac状态栏图标隐藏 编辑:程序博客网 时间:2024/05/17 23:07
Dines Bjorner , «Software Engineering 3: Domains, Requirements, and Software Design»
(Texts in Theoretical Computer Science. An EATCS Series)
Springer-Verlag | ISBN: 3540211519 | May 2005 | 766 Pages | PDF | 6.8 Mb
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 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood." This book covers the process from the development of domain descriptions, via the derivation of requirements prescriptions from domain models, to the refinement of requirements into software designs, i.e., architectures and component design. Emphasis is placed on what goes into proper domain descriptions and requirements prescriptions, how one acquires and analyses the domain knowledge and requirements expectations, and how one validates and verifies domain and requirements models. The reader can take an informal route through Vol. 3, and this would be suitable for undergraduate courses on software engineering. Advanced students, lecturers, and researchers may instead follow the formal route through Vol. 3, and in this case Vol. 1 is a prerequisite text. Lecturers will be supported with a comprehensive guide to designing modules based on the textbooks, with solutions to many of the exercises presented, and with a complete set of lecture slides.
About the Author:
MSc.EE, 1962, PhD.CS 1969; IBM 1962-1975 (R&D: Sweden, California USA, Switzerland, Austria); Prof. Techn.Univ. of Denmark 1976--...; Guest Profs.: Univ. of California at Berkeley, Kiel Univ., Natl.Univ. of Singapore; Founder & Scientific Director: Dansk Datamatik Center (1979—1989); UN Director, UN Univ. Intl. Inst. f. Softw.Techn., Macau (1991-1997); Co-founder of (VDM now) Formal Methods Europe, 1987-...; Member of Academia Europaea; Member of the Russian Academy of Natural Sciences (AB); The Ths.Masaryk Gold Medal, Masaryk Univ., Brno, Czech Republic; The John von Neumann Medal, Hungarian Computer (JvN) Society; Knight of the Danish Flag
Product Details
DownLoad @ RapidShare.Com
- Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
- "Computer Science" is Not Science and "Software Engineering" is Not Engineering
- Software Engineering and Computer Games
- Classic Texts in Computer Science
- Wireless Network Deployments (The International Series in Engineering and Computer Science)
- Software Engineering and the Art of Design
- An Introduction to Software Engineering
- Software Engineering is NOT an Engineering
- Software architecture, software engineering, and Renaissance Jazz
- Software Engineering: Theory and Practice
- Metrics and Models in Software Quality Engineering, Second Edition
- Emerging Methods, Technologies and Process Management in Software Engineering
- Computer Organization and Design: The Software / Hardware Interface 电子书下载
- Software Requirements
- 《Great Theoretical Ideas In Computer Science》学习笔记
- Software Modeling and Design
- Software design and testing
- Software Engineering
- 心血来潮,写了个走迷宫的程序
- 《给初学者的Windows Vista的补遗手册》之030
- genexus中用procedure写数据到表时用事务处理处理
- 《给初学者的Windows Vista的补遗手册》之031
- 五种常见的PHP设计模式
- Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
- VB.net 连接 MySql,Use MySql.Data.dll
- AIO - Cyberlink DVD
- ADO.NET in a Nutshell
- 实践Eclipse RCP +Spring
- DNS on Windows 2000
- C#.net Web Developer's Guide
- 进程编程3 - UNIX高级环境编程第9章读书笔记
- Practical Hacking Techniques and Countermeasures