Авторизация
Поиск по указателям
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.
Язык:
Рубрика: Технология /
Статус предметного указателя: Готов указатель с номерами страниц
ed2k: ed2k stats
Год издания: 2006
Количество страниц: 768
Добавлена в каталог: 14.11.2009
Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
Предметный указатель
Software architecture instantiated 584
Software architecture uninterpreted 584
software component 584
Software component design 528
Software component structure 39 528
Software connector 584
software design 7 24 107 473
software development process 30
Software development process model 42
Software generic architecture 584
Software hardware codesign 527—530
Software middleware 694
Software module structure 39
Software subsystem 544
Software system 27
Software system specification 28
software testing 658
Sommerville, Ian 4 43 199 380
Sowa, John F. 127
span 56 62
Span of requirements 414
Span, informative document 57 62 372
Specific problem-oriented description 124
Specification based testing 661
Specification of component 27
Specification of module 25
Specification of software system 28
Spiralling, stagewise 549
Spivey, J. "Mike" 181 222 657 686
Stability of requirements 512
Stage kind 32
Stage of development 31 33
Stagewise evolution 549
Stagewise iteration 549
Stagewise spiralling 549
Stakeholder 201—210 383—387
Stakeholder COTS (Commercial off-the-Shelf) 203 384
Stakeholder domain 195 208
Stakeholder general applications 384
Stakeholder liaison, domain 209
Stakeholder liaison, requirements 386
Stakeholder perspective 203
Stakeholder perspective of domain 195 208
Stakeholder perspective, requirements 384 386
Stakeholder requirements 386
Standards, informative document 57 65
State 144 222
Statechart 71 78 82 148 153 240 249 258 657 686
Static and dynamic domain 222—241
Static domain 223—225
Static domain entity 223
Step of development 33
Stepwise development 548 550
stepwise refinement 548
Stepwise reification 548
Stepwise transformation 548
Stipulative definition 156
Storbank Pedersen, Jan 78 85 96 181 222 657
Stoy, Joseph E. 580
Strachey, Christopher 580
Structural domain theory 351
Structure, shared data 432 433
Structure, software component 528
Structured programming, JSP 648
Subentity 126
Subjective relativistic definition (of art) 161
Subsystem design 544
Subsystem interface 544
Sufficiency 551 561 562
Support document 24 473
Support technology 37 272 406
Support technology domain 271—276
Support technology facet 33 197 252
Support technology of a domain 34 272
Support technology review and replacement 407
Support technology, review and replacement 407
Synchronisation 16 17 146
Synchronisation behaviour 146
Synchronisation process 146
Synchronous communication 145 146
synopsis 56 63
Synopsis, informative document 57 62 63
system 28
System decomposition 544
system design 28 544
System identification 132
System of workflow 404
System refinement 28
system requirements 23 37
System specification 28
System subsystem 544
System tests, etc. 653
Tactile interface 435
Tangibility, of domain 241—245
Tangible, humanly tangible domain 241
Tangible, physically tangible domain 244
Technique 98
Technique of a method 96
Technology support 37 406
Technology support facet 252
Technology support, domain 271—276
Temporality 212
Term designation 174
Terminology 75
Terminology, description 71
Test adequacy 660
Test case 660
test component 653
Test document 24 473
Test documentation 85
Test installation 653
Test integration 653
Test module 653
Test requirement 660
Test suite 660
Test system 653
Test unit 653
Testing 86 345 505 650 658—661
Testing domain 345
testing program 658
Testing requirements 505
testing software 658
Testing, black box 660
Testing, manual 661
Testing, specification-based 661
Testing, white box 661
Theory formation 87
Theory formation of domain 351—358
Theory formation, documentation 85
Thing property 129
TLA+, temporal logic of actions 240
Tool 98
Tool of a method 96
Trace 148
Traceability of requirements 512 513
Training manual 24 473
Transformation data 548
Transformation stepwise 548
Translator frame 585 586
Transparent (glass) box 113
Transparent (white) box 113
Tree analysis, fault 453
TRSL, timed RSL 96
Tuple arity, relation 601
Tuple attribute name, relation 601
Tuple attribute, relation 601
Tuple element value, relation 601
Tuple, relation 601
Turnkey software 203
Turnkey software development stakeholder 203
TYPE 10 100
type constraint 136
Type name 135
Type, concept 122
Type, constraint 136
Type, definition 136
Type, expression 135 136
Type, interface data 544
UML (Unified Modeling Language) 71 148 249 649
UML (Unified Modeling Language), programming 649
Unambiguity of requirements 512
Unauthorised user 452
Uninterpreted software architecture 584
Unique identification 166
Unit description index 322
Unit of domain description 321 322
Unit of requirements prescription 482—484
Unit tests, etc. 653
Universe of discourse 106 107 115 116
Universes of discourse 7 107
use cases 661
Useful proper definition 156
User interface, graphical, GUI 435
user requirements 23 37
User, authorised 452
User, manual 24 473
User, unauthorised 452
User-friendly man-machine interface 444
V diagram 651
Validation 86 346
Validation document 24 473
Validation documentation 85
Validation domain 196
Validation of domain 346
Validation of requirements 506
Value 10 126
Value, concept 122
van Benthem, Johan 212
van Lamsweerde, Axel 340 500
van Vliet, Hans 6 43 199 380 512 658 660
Vardi, Moshe Y. 106 286 315
VDM 96 181 222 657 686
VDM++ 96
VDM-SL, the VDM Specification Language 96
Verifiability of requirements 512 513
Verification 86 344 650 656—657
Verification component 653
Verification document 24 473
Verification module 653
Verification of domain 344
Verification of requirements 504
Verification system 653
Verification unit 653
Verification, documentation 85
Verification, installation 653
Verification, integration 653
Verification, model checking, testing 86
Vetting of data 598
Visualise 654
von Wright, Joachim 648
Wagner, Kim Ritter 71
Well-formedness, invariance 550
White box 113
White box, testing 661
Wittgenstein, Ludwig Josef Johan 162
Woodcock, James C.P. 181 222 657 686
Workflow frame 586
Workflow system 404
Workpiece frame 585
Wright, Jesse B. 40
XP, extreme programming 648
Yellin, Frank 237
Z 181 222 657 686
Zero-dimensional domain 247
Zhou Chaochen 71 78 82 96 240 276 657 686
Реклама