Hußmann H. - Formal Foundations for Software Engineeing Methods :: Электронная библиотека попечительского совета мехмата МГУ

Документ взят из кэша поисковой машины. Адрес оригинального документа : http://lib.mexmat.ru/books/80529
Дата изменения: Unknown
Дата индексирования: Mon Apr 11 15:02:58 2016
Кодировка: Windows-1251

Электронная библиотека Попечительского совета
механико-математического факультета
Московского государственного университета

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

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

Hußmann H. - Formal Foundations for Software Engineeing Methods

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

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

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

Название: Formal Foundations for Software Engineeing Methods

Автор: Hußmann H.

Аннотация:

In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semantic analysis of the concepts in SSADM, a British standard structured software engineering method. Thirdly, a way of obtaining a hybrid formal-pragmatic specification using a combination of SSADM notations and formal (SPECTRUM) specifications is shown. This well-written book encourages scientists and software engineers to apply formal methods to practical software development problems.

Язык:

Рубрика: Computer science/

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

ed2k: ed2k stats

Издание: 1

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

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

1 2

О проекте