Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Bjorner D. — Software Engineering 3
Bjorner D. — Software Engineering 3



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Software Engineering 3

Автор: Bjorner D.

Аннотация:

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.

Advocating a novel approach based on understanding the application domain before formulating the requirements, the book takes the reader from the principles and techniques for the development of domain descriptions, via principles and techniques for the derivation of requirements prescriptions from domain models, to principles and techniques for the refinement of requirements into software designs: architectures and component design. Focusing only on the informal parts, this book targets undergraduate students in courses on software engineering and college lecturers in that field, while the full version of the book also targets advanced students, lecturers and researchers.


Язык: en

Рубрика: Технология/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 2006

Количество страниц: 768

Добавлена в каталог: 14.11.2009

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Abowd, Gregory D.      545 640
Abrial, Jean-Raymond      96 181 222 580 657 686
Abstract concept      123
Abstract concept, concretisation      123
Abstract data type      25
Abstract specification      28
Abstraction      551 555 558
Abstraction, function      558 559
Access right      37
Accessibility      450
Acquisition      321 482
Acquisition of domain      321
Acquisition of requirements      38 411 482
Acquisition, domain      196
action      13 144
Active dynamic domain      228—240
Active dynamic phenomena      228
Adaptive maintenance      470
Adequacy      551 561 562
Adequacy of tests      660
Aerodynamics domain theory      351
Aesthetics, footnote      4 157
Agent      105 315
Agrawala, Ashok K.      636
Air traffic domain theory      354
Airport domain theory      354
Algebra      102
Algorithm      142
Allen, Robert J.      545 640
Analogic model      107 108 110
Analysis      55 84 97
Analysis as part of a method      96
Analysis of domain      196 333
Analysis of program flow      627
Analysis of requirements      495
Analysis, fault      453
Analysis, fault tree      453
Analysis, text      55
Analytic activity      74
Analytic document      84—88
Analytic document, concept formation      85—86
Analytic document, theory formation      85 87
Analytic document, validation      85—86
Analytic document, verification, model check, test      85—87
Analytic model      107—110
animate      654
Application domain      7 8
Application of principle, technique, tool      96
Applicative to concurrent transformation      647
Applicative to imperative      646
Architecture, generic software      584
Architecture, hardware      527
Architecture, instantiated, software      584
Architecture, skeleton      654
Architecture, software      39 527 531—546 584
Architecture, uninterpreted, software      584
Arnold, Ken      237
Art of programming      647
Art, what is      161—162
Artifact      96 158
Artifact, intellectual      158
Artifact, manifest      158
Ascending reference, definition      246
Assumptions and dependencies informative document      57 64
Asynchronous communication      145 146
Atomic entity      125
Attribute      126 128 129
Attribute of entity      126
Attribute, chaotic      220—222
Attribute, continuity      212—214
Attribute, discrete      214—215
Attribute, hybrid      216—220
audio interface      435
Authentication password      37
Authorisation      37
Authorised user      452
Autonomous active dynamic domain      229—231
Autonomous dynamic active      229
Availability      450 451
B      96 181 222 657 686
Back, Ralph-Johan      40 648
Backward reference (definition)      246
Barwise, Jon      249
Bauer, Friedrich Ludwig      3
Beck, Kent      648
Behaviour      15 36 144 449
Behaviour communication      145
Behaviour concept      122
Behaviour of a human      36 309
Behaviour synchronisation      146
Behaviour, human      37 406
Behaviour, human domain      308—315
Behaviour, human facet      252
Biddable active dynamic domain      231—236
Biddable active dynamics      231
Black (opaque) box      113
Black Box      114
Black box, testing      660
Boehm, Barry      504
Booch, Grady      71 148 249 649
Bowen, Jonathan P.      657 682 683 685
Box, black/opaque      113
Box, glass/white/transparent      113
BPI (business process improvement)      256
Brief, design, informative document      372
Browse      654
Business plan      257
Business procedure facet      197
Business process      34 254
Business process domain      253—264
Business process engineering      256
Business process improvement (BPI)      256
Business process of a domain      34
business process reengineering      23 37 116 404
Business process reengineering requirements      37
Business processes      33
C#      237
Cadastral information      424
CafeOBJ      181
Casl      181
Ccs, calculus of communication systems      96
Change management      404
Chaos      212
Chaotic attribute      220—222
Chaotic phenomena      220
Checking of model      346 506
Cheng, Albert M.K.      220 636
Chief programmer programming      649
Clarke, Ed      506 509
Class, RSL      267 318
Client      57
Client/server      610 642—644
Client/server frame      585
Codd, Edgar Frank      610
Code      24 29 473
Codesign hardware/software      527—530
Codesign hardware/software decision      39
Collaborative science      355
Collection of data      598
Communication      16 17 145
Communication, asynchronous      145 146
Communication, behaviour      145
Communication, synchronous      145 146
Completeness of requirements      512
Component      27 584
Component arbiter      539
Component client      533
Component client multiplexor      538
Component client queue      541
Component client staff queue      541
Component client/staff multiplexor      538
Component Design      25 28
Component domain requirements      533
Component functionality      584
Component prototype      654
Component refinement      29
Component software      584
Component software design      528
Component software structure      528
Component specification      27
Component staff      533
Component structure      25 39
Component tests, etc.      653
Component timetable      533
Composite entity      126
Composite type name      136
Computational data and control interface Requirements      433
Computational data and control requirements      430 433—434 481
Computing systems architecture      527
Computing systems, architecture      527
Computing systems, design      116
Concept      10 56 121 122 173
Concept and facility      61
Concept concretisation, abstract      123
Concept concretisation, concrete      123
Concept formation      74 85
Concept formation documentation      85
Concept formation for machine      496
Concept formation of domain      196 334
Concept of behaviour      122
Concept of entity      122
Concept of event      122
Concept of function      122
Concept of type      122
Concept of value      122
Concept, abstract      123
Concept, concrete      123 175
Concept, from, to phenomenon      418
Concept, informative document      57 59 61 372
Concept, intellectual      158
Conceptual description      123
Concrete concept      123 175
Concrete concept, concretisation      123
Concrete specification      28
Concretisation of abstract concept      123
Concretisation of concrete concept      123
Configuration      222
Conflict of domain description      337
Conflict of requirements prescription      498
Conjunctive definition (of art)      161
Connection frame      586
Connector      542—543
Connector protocol      584
Connector, protocol      584
Connector, software      584
Connotation (footnote)      113
Consistency of requirements      512
Constraint on type      136
Construction      98
Construction as part of a method      96
context      222
Continuity      212
Continuity attribute      212—214
continuous      212
contract      56 68
Contract, informative document      57 68
Coordination language      628 640
Copernicus, Nicolaus      229
Core module is initial module      28
corrective maintenance      470
Corrective maintenance, cost      651
correctness      551 561 562
Correctness of requirements      512
Correctness, (validated) requirements      512
Cost of corrective maintenance      651
COTS (Commercial off-the-Shelf) requirements      384
COTS (Commercial off-the-Shelf) stakeholder      203 384
Cousot, Patrick      627 661
Craft of programming      647
Criminal human behaviour      309
CSP (Communicating Sequential Processes)      17
Current situation      56 60
Current situation, informative document      57 59 60 371
Customer driven, requirements      383
Damm, Werner      71 78 82 148 153 258 434 435 649 657 686
Dang Van, Hung      692
Data collection      598
Data refinement      547 548 564
Data reification      548
Data structure shared      432 433
data transformation      548
data type, abstract      25
Data vetting      598
Date, Chris J.      610
Davies, Jim      181 222 657 686
DC (Duration Calculus)      71 78 96 240 276 657 686
Definiendum      163 169
Definiendum, an expression, usually a term that is being defined      163
Definiens      163 169
Definiens, defining expression      164
Definition      155—169 173
Definition of type      136
Definition, ascending reference      246
Definition, backward reference      246
Definition, conjunctive (of art)      161
Definition, definiendum      169
Definition, definiens      169
Definition, descending reference      246
Definition, disjunctive (of art)      161
Definition, essentialistic (of art)      161
Definition, family likeness (of art)      161
Definition, formal      160
Definition, forward reference      246
Definition, function      140
Definition, immediate recursive reference      246
Definition, lexical      156
Definition, mathematical      159
Definition, ostensive      156
Definition, parameter theory (of art)      162
Definition, philosophy      160—163
Definition, physical world      159
Definition, pragmatics of      157—160
Definition, semantics of      167—168
Definition, simple      246
Definition, stipulative      156
Definition, subjective relativistic (of art)      161
Definition, syntax of      163—164
Delinquent human behaviour      309
Deliverable      56
demo      654
Demo domain      653
Demo requirements      654
Demonstration platform requirements      472
Denotation (footnote)      113
Dependability      448 449
Dependability attribute      450
Dependability requirements      38 445 448 481
Dependability tree      449
Descending reference, definition      246
description      54 71 124
Description, conflict of domain      337
Description, designation      174
Description, domain, forgotten      424—426
Description, formalised      71
Description, incompleteness of domain      337
Description, inconsistency, of domain      337
Description, looseness of domain      338
Description, narrative      71
Description, nondeterministic of domain      338
Description, rough sketch      71
1 2 3 4 5
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2022
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте