Авторизация
Поиск по указателям
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
Предметный указатель
Description, terminology 71 Description, text 54 71 Description, unit of domain 321 322 Descriptive documentation of domain development 361 Descriptive model 107 111 112 Design 107 Design brief 68 Design, brief 56 68 Design, brief, informative document 57 68 372 Design, component software 528 Designate 122 Designation 173 Designation description 174 Designation identification 174 Designation recognition rule 174 Designation term 174 Determination of domain 419 Determination, domain requirements 37 developer 57 Development 116 Development document 24 473 Development documentation of domain 361 Development documentation of domain description 361 Development documentation of informative domain 361 Development platform requirements 472 Development stage 31 33 Development step 33 548 555 Development stepwise 548 550 Development, activity, analytic 74 Development, activity, rough sketch 74 Development, evolutionary 40 Development, iterative 40 Development, logbook 24 473 Development, platform requirements 472 Development, process model domain 359 Development, process model requirements 523 Diaconescu, Razvan 181 Dijkstra, Edsger Wybe 39 647 648 Diligent human behaviour 309 Dimensionality, of domain 246—249 Discipline of programming 647 Discourse, Universe of 107 Discrete 212 Discrete, attribute 214—215 Discreteness 214 Disjunctive definition (of art) 161 Document, analytic 84—88 Document, analytic, concept formation 85—86 Document, analytic, theory formation 85 87 Document, analytic, validation 85—86 Document, analytic, verification, model check, test 85—87 Document, descriptive 70—84 Document, descriptive, formalisation 71 81—84 Document, descriptive, narrative 71 78—81 Document, descriptive, rough sketch 71 73—75 Document, descriptive, terminology 71 75—77 Document, informative, assumptions and dependencies 57 64 Document, informative, concept 57 59 61 Document, informative, contract 57 68 Document, informative, current situation 57 59 60 Document, informative, design brief 57 68 Document, informative, facilities 61 Document, informative, idea 57 59 60 Document, informative, implicit/derivative goals 57 65 Document, informative, need 57 59 60 Document, informative, partner enumeration 57 Document, informative, scope 57 62 Document, informative, span 57 62 Document, informative, standards 57 65 Document, informative, synopsis 57 62 63 Documentation 85 Documentation of concept formation 85 Documentation of domain development 361 Documentation of model checks 85 Documentation of tests 85 Documentation of validation 85 Documentation of verification 85 Documentation requirements 38 445 473 481 Documentation, verification 85 Domain 8 107 116 207 Domain acquisition 196 321 Domain active dynamic 228—240 domain analysis 196 333 Domain autonomous active dynamic 229—231 Domain biddable active dynamic 231—236 Domain business process 34 253—264 Domain concept formation 196 334 Domain demo 653 Domain description 7 9 10 24 194 473 Domain description conflict 337 Domain description forgotten 424—426 Domain description incompleteness 337 Domain description inconsistency 337 Domain description looseness 338 Domain description nondeterministic 338 Domain description unit 321 322 Domain determination requirements 37 Domain development descriptive documentation 361 Domain development documentation 361 Domain development informative documentation 361 Domain development process model 359 Domain dimensionality 246—249 Domain dynamic 225—241 Domain elicitation of descriptions 321 Domain engineering 9 10 194 355 Domain extension 423—426 Domain extension requirements 37 Domain facet 33 197 252 Domain facilitator 253—264 Domain fact, recording 322 Domain facts 322 Domain facts, elicitation 322 Domain fitting 426 Domain human behaviour 308—315 Domain inert dynamic 226—228 Domain instantiation 422 Domain instantiation requirements 37 Domain intangible 245 Domain intrinsics 34 264—271 406 Domain management 35 277 Domain management and organisation 276—282 Domain model 194 Domain organisation 35 277 Domain programmable active dynamic 236—239 Domain projection 414 Domain projection requirements 37 Domain regulation 36 283 Domain requirements 23 37 411 Domain requirements acquisition 480 Domain requirements component 533 Domain requirements determination 419 Domain requirements extension 423—426 Domain requirements fitting 37 426 Domain requirements instantiation 422 Domain requirements projection 414 Domain rule 35 283 Domain rules and regulations 282—287 Domain script 287—308 Domain sketch index 324 Domain specification 116 Domain stakeholder 33 195 201—210 Domain stakeholder liaison 209 Domain stakeholder perspective 195 208 Domain static 223—225 Domain static and dynamic 222—241 Domain support technology 34 271—276 Domain tangibility 241—245 Domain tangible, humanly 241 Domain tangible, physically 244 Domain testing 345 Domain theory 194 351—358 Domain theory of aerodynamics 351 Domain theory of air traffic 354 Domain theory of airports 354 Domain theory of electricity 351 Domain theory of financial services 354 Domain theory of freight logistics 353 355 Domain theory of healthcare 353 Domain theory of mechanics 351 Domain theory of railways 352 355 Domain theory of structural statics 351 Domain to requirements operation 411 Domain validation 196 346 Domain verification 344 Domain, multidimensional 248 Domain, one-dimensional 247 Domain, reactive dynamic 239—240 Domain, zero-dimensional 247 Domain-to-requirements operation 411 Duerr, Eugene 249 Dynamic and static domain 222—241 Dynamic domain 225—241 Dynamic phenomena, I 225 Dynamic phenomena, II 226 Electricity domain theory 351 Elicitation 321 322 482 Elicitation of domain descriptions 321 Elicitation of domain facts 322 Elicitation of requirements 38 411 483 Elicitation of requirements prescriptions 482 Encapsulation 26 Engineering business process 256 Engineering knowledge 105 315 Engineering of domains 355 Engineering rules and regulations 409 Entity 10 36 125 Entity attribute 126 Entity composite 126 Entity concept 122 Entity mereology 127 Entity sub 126 Entity, atomic 125 Environment of the machine 23 Epistemology 121 Epistemology, footnote 8 168 Error 448 659 Essentialistic definition (of art) 161 Eureka requirements 373—374 390 Event 16 144 Event intensity 150 Event, concept 122 Event, intensity 149 150 Evolution, stagewise 549 Evolutionary Development 40 Execution platform requirements 472 Experimental programming 650 Explorative programming 650 Extend with, RSL 267 318 Extension domain 423—426 Extension domain requirements 37 Extension of domain 423 Extensional maintenance 470 471 Extensional model 107 113 Extreme programming 648 Facet of a domain 252 Facet, business procedure 197 Facet, domain 197 Facet, human behaviour 34 197 252 Facet, intrinsics 33 197 252 Facet, management and organisation 33 197 252 Facet, rules and regulations 34 197 252 Facet, script 34 197 252 Facet, support technology 33 197 252 Facilitator, of domain 253—264 Facilities, informative document 61 372 Fact 173 Fact about domain 322 Fagin, Ronald 106 286 315 Failure 448 449 659 Faithful requirements 512 513 Family likeness definition (of art) 161 fault 448 450 Fault analysis 453 Fault forecasting 450 Fault prevention 450 Fault removal 450 Fault software 659 Fault tolerance 450 Fault tree analysis 453 Favrholdt, David 161 162 Financial services domain theory 354 Fitting of domain requirements 37 426 Fitzgerald, John 96 181 222 657 686 Flow analysis 627 Flow problem 627 Forgotten domain description 424—426 Formal definition 160 Formal parameter 26 Formal proof 345 506 Formal proofs 345 506 Formalisation 81 Formalised description 71 Forward reference (definition) 246 Frame, client/server 585 Frame, connection 586 Frame, reactive systems 586 Frame, repository 585 Frame, translator 585 586 Frame, workflow 586 Frame, workpiece 585 Freight logistics domain theory 353 355 Function 13 36 100 138 Function definition 140 Function intensity 150 Function signature 139 Function, abstraction 561 Function, body 26 Function, concept 122 Function, definition 140 Function, definition symbol 26 Function, definition, body 26 Function, intensity 149 150 Function, signature 26 139 Functional requirements 23 37 Functionality component 584 Futatsugi Kokichi 181 Garlan, David 545 640 General application requirements 384 General application stakeholder 202 384 Generic software architecture 584 Genuine domain extension 423—424 George, Chris W. 71 78 82 85 96 181 222 657 692 Ghezzi, Carlo 5 43 199 380 Glass (transparent) box 113 Glass box 114 Goguen, Joseph A. 340 500 Golden rule of requirements 367 389 479 Gorm Larsen, Peter 96 181 222 657 686 Gosling, James 237 Graph labelling 166 graphical interface 435 Graphical user interface, GUI 435 Gries, David 39 647 648 GUI (Graphical User Interface) 435 Haff, Peter L. 71 Hall, Anthony 681 682 Halpern, Joseph Y. 106 286 315 Hammer, Michael 475 Hansen, Kirsten Mark, XII 454—469 475 Hansen, Michael Reichhardt 71 78 82 96 240 276 657 686
Реклама
|
|
О проекте