|
 |
Авторизация |
|
 |
Поиск по указателям |
|
 |
|
 |
|
 |
 |
|
 |
|
Hußmann H. — Formal Foundations for Software Engineeing Methods |
|
 |
Предметный указатель |
Acceptance 67 153 176
AccessType 109
ACE 67
AD/Cycle 60
AdmOpts 108
AdmRoles 108
AdmTargets 110
Affects 74
Aggregation 231
Algebra 28
Arc identifier 83
Architecture 64
Attr 90
attrDom 95
Attribute 89 169 198 203
Attribute, mandatory 89 90
Attribute, optional 89 90
AttrOptionOK 92
Attrs 90
AttrVal 91
Axiom 28
Axiomatic specification 27
Axioms (keyword) 32
Bound 72
Business System Options 23 38
Cardinality in ECDs 125
CardType 125
CASE 8 46 60 229
CCTA 22
CIP-L 27
clock 51
COLD 53
Combination 185
comment 30
Complementarity 48
Connected 85
Consistency 45 161 222
Consistency, Deductive approach 162
Consistency, Model-theoretic approach 162
constructor 31 36 164
Context condition 81 140 162 164 179 190 211
Core Reference Specification 66
CORR 127
Correspondence specification 117 199
CorrOK 132
Corrs 127
CRAMM 22
Crossed 83
Crow's foot 78
ctype 127
Cut 146
D-DISJOINT 88
Data (keyword) 36
Data domain 90 93
data flow 208
data flow diagram 20 39 60 64 207
Data Flow Modelling 22 64 207
Data integrity 187
Data refinement 14 167
Data store 208
Data type 35 94
Dataltems 190
DataStore 210
def 92
Definedness condition 32
Degree 78
Dependent types 93
Descriptive 27
Descriptive specification 164
detail 78
DFD 20 64 207
DFData 213
DFM 22 64 207 215
Diagram 39
Discriminator 36
Disjointness 87
Domain 90 93 94
DState 213
Dynamic behaviour 144
ECD 64
EEM 22
EEX 109
Effect 44
Effect Correspondence Diagram 64 74 117
Elementary Process Description 222
ELH 64 74 135 140
Enriches (keyword) 30
Entity 44 76 81
Entity description 88 93
Entity Life History 64 74 135 146
Entity, external 208
Entity-Event Modelling 22 64 71 99
Entity-Relationship 20
entity-relationship diagram 3 4 75
EntriesOK 130
Entry specification 198
EPD 222
eq 33
Equality predicate 32 34
ER 75
ER diagram 20 64 80
Essential Systems Analysis 66
EUROMETHOD 22
Evaluation 226
Event 67 100 113 171
Event-Entity Matrix 74 104
ExclArc 83
Exclusion 79
Executability 163
executable 28
Executable specification 163 166
Expandlnp 190
Extension 186
Extension, global 186
Extension, local 186
extent 210
Feasibility study 22
Flow 210
Formal 2
Formality 15 186
Foundation 48
Freely (keyword) 32
FS 22
Function 28 219
Function definition 45
Function symbol 30
Function, higher-order 34
Function, partial 31
Function, strict 31
Function, total 31
Functional program 163
Functional programming 28
Gain 146
Generation 31
get 72
Gofer 163
Haskell 28
Hierarchy 209
history 142
HistoryOK 145
Hotel Agency 25
Hotel Agency, DFD 209
Hotel Agency, ECD 117
Hotel Agency, ELH 138
Hotel Agency, ER Diagram 80
Hotel Agency, Event-Entity Matrix 104
Hotel Agency, operations 146
IDENT 73
Identifier 30 81
Identifier, affected 74
| Identifier, arc 83
Identifier, attribute 89
Identifier, data domain 94
Identifier, data flow 210
Identifier, data store 210
Identifier, entity 81
Identifier, event 106
Identifier, external entity 210
Identifier, occurrence 72 92
Identifier, option 106
Identifier, process 210
Identifier, relationship 81
Identifier, role 106
Identity 114
implementation 162
Induction principle 31
Inductive definition 164
InECDsl 25
Infix operator 30
information systems 7
inheritance 231
InitState 144
InpData 190
InpEv 67
Inpltems 190
InpTg 189
Input 67
Integration 37
Interface generation 196
Interpretation 15
INV 82
Inverse relationship 82
Iteration 136
Jackson structure diagram 135
Jackson Structures 60
Jackson System Development 20
Key 72 89
Key, primary 89 169
l-abstraction 35
L-TOTAL 87
L-UNIQUE 87
LARCH 2 28
large-scale 41
LBMS 22
LCF 28
LDM 22 64 69 215
Left-Total 87
Left-Uniqueness 87
Link phrase 77
List1 33
List2 35
LISTO 29
LISTS 32
localization 69
Logical Data Modelling 22 64 69
Logical Data Store/Entity Cross reference 208 216
Logical DFM 209
Logical System Specification 22
Lose 146
ls 22
mandatory 90
Mandatory, attribute 89
Mandatory, relationship 79
Master 78
Mathematical framework 52
meta-language 52 225
Meta-Model 8 46
method 13 231
Method level 56 62
Method, formal 15
Method, object-oriented 20
Mini-specification 222
ML 28
Module 22
Multiple 82
Mutual exclusion 79
NeXT 68
Next* 69
Notation 14
OBJ 28 227
Object-orientation 73
Object-oriented Analysis 20 231
Object-orientiation 11
Occ 70
OccHistory 142
Occld 72
Occurrence 70 76
Occurrence identifier 74
OMT 4 21
OOA 4 231
OOD 4
Operation 30 146
OPN 150
OPS 150
OptEventllO 114
Option 102 113 171
Option, selection 201
Option, standard 108
OPTIONAL 82
Optional, attribute 89
Optional, relationship 79
Optionality 79
OUT 67
outp 213
Output 67
Parallel Life 136
Petri net 59
Physical DFM 209
PLUSS 27
Polymorphism 30
Pragmatism3 17 186
PRECISION 44
Primary key 89
PrimaryKey 90
Prince 22
Pro 63
proc 210
Procedural guidelines 14
Process 208
Project level 56 62
Projection 69
Prototyping 180
Pseudo-code 47
Quality 45
Quantification 32
quit 137
RA 22
Ref 63
Reference 50
refinement 39 163
RegCorrs 134
RegCType 134
RegEntries 134
RegEType 134
Regular expression 139
REL 81
related 81
Relationship 77
Relationship Qualification 77
Relationship, inverse 82
Relationship, many-to-many 78
Relationship, one-to-many 78
Relationship, one-to-one 78
RelDegreeOK 86
RelExclOK 86
RelOptionOK 86
REPLACE 146
Repository 46
Requirements analysis 6 22
Requirements engineering 19 38
|
|
 |
Реклама |
 |
|
|