Bienvenue chez nous !
Logo Ex Libris
 Laissez-vous inspirer ! 

Software Engineering 3

  • Livre Relié
  • 800 Nombre de pages
(0) Donner la première évaluation
Afficher toutes les évaluations
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professio... Lire la suite
CHF 165.00
Impression sur demande - Habituellement expédié sous 4 à 6 semaines.
Commande avec livraison dans une succursale


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.

This third volume examines the basic principles and techniques of overall software development, from domains via requirements to software designs, advocating a novel approach to software engineering based on the adage "Before requirements can be formulated one must understand the application domain."


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

Opening.- The Triptych Paradigm.- Documents.- Conceptual Framework.- Methods and Methodology.- Models and Modelling.- Descriptions: Theory and Practice.- Phenomena and Concepts.- On Defining and on Definitions.- Jackson's Description Principles.- Domain Engineering.- Overview of Domain Engineering.- Domain Stakeholders.- Domain Attributes.- Domain Facets.- Domain Acquisition.- Domain Analysis and Concept Formation.- Domain Verification and Validation.- Towards Domain Theories.- The Domain Engineering Process Model.- Requirements Engineering.- Overview of Requirements Engineering.- Requirements Stakeholders.- Requirements Facets.- Requirements Acquisition.- Requirements Analysis and Concept Formation.- Requirements Verification and Validation.- Requirements Satisfiability and Feasibility.- The Requirements Engineering Process Model.- Computing Systems Design.- Hardware/Software Codesign.- Software Architecture Design.- A Case Study in Component Design.- Domain-Specific Architectures.- Etcetera: Coding and All That!.- The Computing Systems Design Process Model.- Closing.- The Triptych Development Process Model.- Finale.

Informations sur le produit

Titre: Software Engineering 3
Code EAN: 9783540211518
ISBN: 3540211519
Format: Livre Relié
Editeur: Springer Berlin Heidelberg
Genre: Langages de programmation
nombre de pages: 800
Poids: 1349g
Taille: H241mm x B160mm x T47mm
Année: 2006
Auflage: 2006

Autres articles de cette série  "Texts in Theoretical Computer Science. An EATCS Series"