Chargement en cours…

Software Engineering 3 Domains, Requirements, and Software Design /

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...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Bjørner, Dines (Auteur)
Collectivité auteur: SpringerLink (Online service)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Édition:1st ed. 2006.
Collection:Texts in Theoretical Computer Science. An EATCS Series,
Sujets:
Accès en ligne:Texto Completo
Table des matières:
  • 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.