Авторизация
Поиск по указателям
Bjorner D. — Software Engineering 3
Обсудите книгу на научном форуме Нашли опечатку?
Название: 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.
Язык: Рубрика: Технология /Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 2006Количество страниц: 768Добавлена в каталог: 14.11.2009Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
Предметный указатель
Perspective domain stakeholder 195 203 208 Perspective requirements stakeholder 384 386 Petri nets 71 78 82 148 153 249 257 649 657 686 Petri, Carl Adam 71 78 82 148 153 249 257 649 657 686 Pfleeger, Shari 5 43 199 380 Phenomenological description 123 Phenomenon 10 121 122 173 Phenomenon to, from concept 418 Phenomenon, humanly tangible 241 Phenomenon, intangible 245 Phenomenon, manifest 157 244 Phenomenon, physically tangible 244 Philosophy 121 Philosophy, definition 160—163 Physical world definition 159 Physically manifest thing 121 Physically tangible domain 244 Physically tangible phenomenon 244 Platform 471 Platform requirements 38 445 472 481 Platform requirements, demonstration 472 Platform requirements, development 472 Platform requirements, execution 472 Platform requirements, maintenance 472 Pnueli, Amir 220 636 Possible world 106 Practice of programming 647 Prehn, Soren 71 78 85 96 181 222 657 Prescription conflict of requirements 498 Prescription incompleteness of requirements 498 Prescription inconsistency of requirements 497 Prescription looseness of requirements 499 Prescription nondeterministic of requirements 499 Prescription text 54 71 Prescription unit of requirements 482—484 Prescriptive model 107 111 113 Pressmann, Roger S. 43 199 380 preventive maintenance 470 471 Principle 97 Principle of a method 96 Prioritisation of requirements 544 problem domain 116 Problem frame 153 583 585—586 Problem of flow 627 Problem, intensity 153 Process 17 147 Process engineering 256 Process intensity 149 151 Process model 42 Process model, domain development 359 Process model, requirements development 523 Process reengineering 404 Process synchronisation 146 Process, business 254 Process, business, domain 253—264 Program, flow analysis 627 Program, flow problem 627 Program, testing 658 Programmable active dynamic domain 236—239 Programmable active dynamics 236 Programming as a craft 647 Programming as a discipline 647 Programming as a logic 647 Programming as a practice 647 Programming as a science 647 Programming as an art 647 Programming by chief programmer 649 Programming, experimentally 650 Programming, exploratively 650 Programming, extreme 648 Programming, incrementally 650 Programming, OO 649 Programming, structured, JSP 648 Programming, UML 649 Projection domain requirements 37 Projection of domain 414 Proof formal 345 506 Proper definition 156 Property 128 Property of thing 129 Protocol connector 584 Protocol interface 544 Prototype 654 Prototype component 654 Putative 112 Railway domain theory 352 355 raise 78 96 181 222 657 Randell, Brian 475 Reactive dynamic domain 239—240 Reactive dynamics 239 Reactive systems frame 586 Reasoning informal 345 505 Recognition 165 Recognition of syntactic structure 166 Recognition rule, designation 174 Recording domain fact 322 Recording domain facts 322 Recording requirements 483 Recursive reference, immediate (definition) 246 Recursive reference, non-immediate (definition) [footnote 7] 246 Reengineering 116 Reengineering, business process 23 37 404 Reengineering, business process requirements 37 Reengineering, human behaviour 409 Reengineering, management and organisation 408 Reengineering, rules and regulations 410 Reengineering, script 410 refinement 28 33 Refinement data 547 548 564 Refinement of component 29 Refinement of module 29 Refinement of system 28 Refinement stepwise 548 Refutable assertion 187 Refutable description 173 Regulation 36 283 Regulations and rules 37 232 406 Regulations and rules, domain 282—287 Regulations and rules, facet 197 252 Regulations and rules, reengineering 409 410 Regulations of a domain 36 283 Reif, Wolfgang 453 Reification data 548 Reification stepwise 548 Reisig, Wolfgang 71 78 82 148 153 249 257 649 657 686 Relation 101 600 Relation database initialisation 601 Relation query 601 Relation schema declaration 601 Relation update 601 Relational database management architecture 600 Reliability 450 452 Repository frame 585 Reproduction of syntactic structure 166 Requirements 23 36 107 116 369 482 Requirements (validated) correctness 512 Requirements acquisition 38 411 482 Requirements analysis 495 Requirements business process reengineering 37 Requirements completeness 512 Requirements computational data and control 430 433—434 481 Requirements consistency 512 Requirements correctness 512 Requirements COTS (Commerical off-the-Shelf) 384 Requirements customer 383 Requirements decomposition 544 Requirements demo 654 Requirements demonstration platform 472 Requirements dependability 38 445 448 481 Requirements determination, of domain 419 Requirements development platform 472 Requirements development process model 523 Requirements documentation 38 445 473 481 Requirements domain 23 37 411 Requirements domain component 533 Requirements domain determination 37 Requirements domain extension 37 Requirements domain fitting 37 Requirements domain instantiation 37 Requirements domain projection 37 Requirements elicitation 38 411 483 Requirements elicitation, of prescriptions 482 Requirements engineer 38 411 Requirements engineering 22 23 37 Requirements eureka 373—374 390 Requirements execution platform 472 Requirements extension, of domain 423 Requirements faithful 512 513 Requirements feasibility, economics 515 Requirements feasibility, technical 514 Requirements fitting, of domain 426 Requirements functional 23 37 Requirements general applications 384 Requirements golden rule 367 389 479 Requirements ideal rule 367 389 Requirements instantiation, of domain 422 Requirements interface 23 37 38 429 Requirements interface, computational data and control 430 433—434 481 Requirements interface, machine-machine dialogue 430 442—443 481 Requirements interface, man-machine dialogue 430 434—435 481 Requirements interface, man-machine physiological 430 435—442 481 Requirements interface, shared data initialisation 430 432 481 Requirements interface, shared data refreshment 430 433 481 Requirements intrinsics 406 Requirements machine 23 37 38 445 Requirements machine-machine dialogue 38 430 442—443 481 Requirements maintenance 38 445 470 481 Requirements maintenance, platform 472 Requirements man-machine dialogue 38 430 434—435 481 Requirements man-machine dialogue, physiological interface 38 430 435—442 481 Requirements market-driven 383 Requirements modifiability 512 513 Requirements performance 38 445 446 481 Requirements platform 38 445 472 481 Requirements prescription 23 24 36 473 Requirements prescription conflict 498 Requirements prescription incompleteness 498 Requirements prescription inconsistency 497 Requirements prescription looseness 499 Requirements prescription unit 482—484 Requirements prescription, conflict 498 Requirements prescription, incompleteness 498 Requirements prescription, inconsistency 497 Requirements prescription, looseness 499 Requirements prescription, nondeterministic 499 Requirements prioritisation 544 Requirements projection, of domain 414 Requirements recording 483 Requirements satisfiability 512 Requirements shared data initialisation 38 430 432 481 Requirements shared data refreshment 38 430 433 481 Requirements sketch index 485 Requirements stability 512 Requirements stakeholder 383—387 Requirements stakeholder liaison 386 Requirements stakeholder, perspective 386 Requirements system 23 37 Requirements testing 505 Requirements to tests 660 requirements traceability 512 513 Requirements unambiguity 512 Requirements user 23 37 Requirements validation 506 Requirements verifiability 512 513 Requirements verification 504 Requirements, non-functional 23 37 retrieve function 559 Review and replacement intrinsics 407 Review and replacement support technology 407 Reynolds, John C. 39 647 648 Robustness 450 453 Roscoe, A. William 17 148 182 257 281 Rough sketch 73 415 Rough sketch activity 74 Rough sketch description 71 RSL 71 78 96 181 222 657 RSL object 267 318 RSL scheme 267 318 RSL to C# 647 RSL to Java 647 RSL to SML 647 RSL, class 267 318 RSL, CSP 17 RSL, extend with 267 318 RSL, hide 267 318 Rule 35 283 Rules and regulation reengineering 409 Rules and regulations 37 232 406 Rules and regulations domain 282—287 Rules and regulations facet 33 197 252 Rules and regulations reengineering 409 410 Rules of a domain 35 283 Rumbaugh, James 71 148 249 649 Rushby, John 657 safety 450 452 Scheme, RSL 267 318 Schneider, Steve 17 148 182 257 281 Science of collaboration 355 Science of programming 647 Scope 56 62 Scope of domain 414 Scope, informative document 57 62 372 Scott, Dana 180 Script 37 287 Script domain 287—308 Script facet 34 197 252 Script of a domain 287 Script reengineering 410 scripting 406 Security 450 452 Selection of technique or tool 96 Sender behaviour 145 Separation of concerns 30 615 Server/client 610 Sestoft, Peter 237 Shankar, Natharajan 657 Shared concept, domain-machine 429 Shared data initialisation 432 Shared data initialisation requirements 38 430 432 481 Shared data refreshment 433 Shared data refreshment requirements 38 430 433 481 Shared data structure 432 433 Shared event 146 Shared interface 429 Shared phenomenon, domain-machine 429 Sharp, Robin I. 443 640 Shaw, Mary 545 640 Shaw, Roger C.F. 692 Signature of a function 26 139 Simple definition 246 Simple type name 135 Sintzoff, Michel 96 Skeleton 654 Skeleton architecture 654 Sloppy human behaviour 309 Socio science 355 Software 24 software architecture 24 39 527 531—546 584 Software architecture design 25 528 Software architecture generic 584
Реклама
|
|
О проекте