Авторизация
Поиск по указателям
Jacky J. — The Way of Z: Practical Programming with Formal Methods
Обсудите книгу на научном форуме Нашли опечатку?
Название: The Way of Z: Practical Programming with Formal MethodsАвтор: Jacky J. Аннотация: This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.
Язык: Рубрика: Computer science /Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1997Количество страниц: 370Добавлена в каталог: 18.08.2014Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
Предметный указатель
State transition, diagram 45—46 87 State transition, system 45—48 57 206—208 274 State transition, table 46 State variable 31 51 Statechart 206—208 242 326 Storage 50 Strictly positive number 64 301 313 Stronger predicate 97 Structure, C programming language 267—268 Style, Z notation, analytic 32 Style, Z notation, descriptive 32 subclass 232 Subset 73 300 309 Subsystem 211 227 Subtraction 72 271 277 301 313 Successor function 304 Suffix 304 Symmetric relation 183 Syntax 4 7—9 45 148 161 Syntax error 74 Syntax tree 87 Syntax, operator, infix 74 94 98—99 299 305 318 Syntax, operator, mixfix 83 Syntax, operator, outfix 119 Syntax, operator, postfix 193 299 Syntax, operator, prefix 74 95 98—99 194 299 318 table 25 Table, AND/OR 326 Table, decision 106 Table, state-transition 46 Table, truth 100—104 248 324 tail 54 302 315 Target set 82 Telephone network 59 Temporal Logic of Actions (TLA) 326 Term 72 Testing 4—5 9—10 17 18 149 254 296 testing, acceptance 37 38 Text editor 49—58 122—137 145 Text processing 169—173 Textbooks, Z notation 59 Theorem prover 160 162 327 Therapy machine 15—16 39—48 60 199—218 Theta 143—144 281—283 303 Time, real 239 Timeout 239—240 Timer 239—240 TLA (Temporal Logic of Actions) 326 Tool-kit, mathematical 32 176 308—315 Tools, Z notation 32 60 Top level schema 56—57 286—287 Top-down 10 202 Total function 92 224 301 314 Total operation 55—57 127 203 229 transaction processing 12 59 Transitive closure 193 242 301 311 Transitivity 150—151 317—318 323 Transputer 59 Trial and error 4 5 18 254 Triangle, right 114 322 TRUE 96 300 316 Truth table 100—104 248 324 Truth value 96 Tuple 78—79 300 TYPE 63—65 70—71 73—74 138—145 Type checker 32 69 74 160 Type error 64 74 233 Types, C programming language see "Programming language constructs" Types, Z notation, basic 70—71 138 266 299 Types, Z notation, Cartesian product 79 138 300 Types, Z notation, cross product 79 300 Types, Z notation, free 70 148 266 299 Types, Z notation, schema 138—145 Types, Z notation, set 69—71 138 Typesetting 32 Unary relation 98—99 109 140 Undefined expression 74 110—111 Undetermined predicate 110—111 Unification 242 union 73 300 309 Union, generalized 304 Unity 326 Universal quantifier 106 133—144 Unix File System 59 User interface 24 User interface, graphical 199—210 Valid proof 152 Valid refinement law 263—264 270 Valid specification 26 Validation 26 Value 65 Variable, after 124 274 303 Variable, before 124 274 303 Variable, bound 106—108 112 118 172 226 294 Variable, decorated 124 303 Variable, free 106—107 172 271 Variable, global 50 67 Variable, input 53 124 196 303 Variable, local 51 106 Variable, output 195—196 303 Variable, primed 53 124 303 Variant 260—262 325 VDM 241 242 326 Verification 11 254—262 297—298 Verification condition 259 261 263 325 Vertical schema format 126 Vienna Development Method (VDM) 241 242 326 Virtual memory 234—235 Walkthrough 4 Weaker predicate 97 Weakest precondition 257 While loop 256 Window 114 119 word count 91 171 World Wide Web (WWW) 60 327 WWW (World Wide Web) 60 327 X Window System 59 199 242 XI 125 Z notation 31—32 59—60 161—162 Z notation, annotated bibilography 59 Z notation, applications 59 Z notation, case studies 59 Z notation, criticism 60 Z notation, dialects 233 326 Z notation, history 60 161 Z notation, home page 60 Z notation, idioms 225—226 233 Z notation, journals 59 Z notation, mathematical tool-kit 32 176 308—315 Z notation, method 31 38 56—58 172—173 209—210 211 218 230 252—253 265—266 285—287 290—296 Z notation, object-oriented programming 31 231—233 Z notation, Reference Manual 59 Z notation, semantics 138 142 161 Z notation, standard 59 Z notation, style 60 Z notation, textbooks 59 Z notation, tools 32 60 Z notation, user meetings 59 Z++ 233 326
Реклама
|
|
О проекте