Software Engineering 2: Specification of Systems and LanguagesSpringer Science & Business Media, 2007. gada 1. aug. - 780 lappuses 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. This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages. This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text. |
No grāmatas satura
1.–5. rezultāts no 90.
... 315 12.2 Condition Event Nets (CENs) 316 12.2.1 Description 316 12.2.2 Small CEN Examples 317 12.2.3 An RSL Model of Condition Event Nets 320 12.3 Place Transition Nets (PTNs) 323 12.3.1 Description 323 12.3.2 Contents XVII.
Specification of Systems and Languages Dines Bjørner. 12.3 Place Transition Nets (PTNs) 323 12.3.1 Description 323 12.3.2 Small PTN Examples 324 12.3.3 An RSL Model of Place Transition Nets 324 12.3.4 Railway Domain Petri Net Examples ...
... Transition Loop 695 19.6 Semantic Functions 695 19.6.1 The Next-State Transition Function 695 19.6.2 The Assignment Statement 696 19.6.3 The case Statement 696 19.6.4 The while Loop 697 19.6.5 The repeat until Loop 697 19.6.6 Simple ...
... transition nets, and the coloured Petri nets [238,400,419-421]; the sequence charts (SCs): the message SCs (MSCs) [227-229] and the live SCs (LSCs) [89,195,268]; the statecharts [174,175, 185,193,197]; the interval temporal logic (ITL) ...
... transition, and which to each composite syntactic construct associates a sequence of state transitions. □ We shall likewise in this chapter explain the computational concept while giving examples and providing abstraction and modelling ...
Saturs
3 | |
31 | |
55 | |
Contexts and States | 93 |
A CRUCIAL DOMAIN AND COMPUTING FACET | 118 |
LINGUISTICS | 142 |
Semantics | 151 |
Syntax | 173 |
CONCURRENCY AND TEMPORALITY | 313 |
Message and Live Sequence Charts | 375 |
Statecharts | 475 |
Quantitative Models of Time | 517 |
INTERPRETER AND COMPILER DEFINITIONS | 570 |
Simple Imperative Language | 659 |
Simple Modular Imperative Language | 671 |
Simple Parallel Imperative Language | 681 |
Semiotics | 213 |
FURTHER SPECIFICATION TECHNIQUES | 240 |
Automata and Machines | 285 |
A Naming Convention 717 | 715 |
References | 751 |
Citi izdevumi - Skatīt visu
Software Engineering 2: Specification of Systems and Languages Dines Bjørner Ierobežota priekšskatīšana - 2007 |
Software Engineering 2: Specification of Systems and Languages Dines Bjørner Priekšskatījums nav pieejams - 2006 |
Software Engineering 2: Specification of Systems and Languages Dines Bjørner Priekšskatījums nav pieejams - 2006 |