000 04571nam a22005655i 4500
001 978-3-540-33653-2
003 DE-He213
005 20161121230530.0
007 cr nn 008mamaa
008 100301s2006 gw | s |||| 0|eng d
020 _a9783540336532
_9978-3-540-33653-2
024 7 _a10.1007/3-540-33653-2
_2doi
050 4 _aQA75.5-76.95
072 7 _aUY
_2bicssc
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aCOM031000
_2bisacsh
082 0 4 _a004.0151
_223
100 1 _aBjøner, Dines.
_eauthor.
245 1 0 _aSoftware Engineering 3
_h[electronic resource] :
_bDomains, Requirements, and Software Design /
_cby Dines Bjøner.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2006.
300 _aXXX, 768 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTexts in Theoretical Computer Science An EATC Series
505 0 _aOpening -- 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.
520 _aThe 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.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aComputer programming.
650 0 _aProgramming languages (Electronic computers).
650 0 _aComputers.
650 0 _aComputer logic.
650 1 4 _aComputer Science.
650 2 4 _aTheory of Computation.
650 2 4 _aSoftware Engineering/Programming and Operating Systems.
650 2 4 _aSoftware Engineering.
650 2 4 _aProgramming Techniques.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aLogics and Meanings of Programs.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540211518
830 0 _aTexts in Theoretical Computer Science An EATC Series
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-33653-2
912 _aZDB-2-SCS
950 _aComputer Science (Springer-11645)
999 _c500156
_d500156