close
1.

図書
図書
1. Graph transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004 : proceedings
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  xii, 450 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3256
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Improving Flow in Software Development Through Graphical Representations / Margaret-Anne D. Storey
A Perspective on Graphs and Access Control Models / Ravi Sandhu
Transformation Language Design: A Metamodelling Foundation / Tony Clark ; Andy Evans ; Paul Sammut ; James Willans
Integration Technology
Rule Execution in Graph-Based Incremental Interactive Integration Tools / Simon M. Becker ; Sebastian Lohmann ; Bernhard Westfechtel
Composition of Relations in Enterprise Architecture Models / René van Buuren ; Henk Jonkers ; Maria-Eugenia Jacob ; Patrick Strating
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation / Esther Guerra ; Juan de Lara
Chemistry and Biology
Analysis of Metabolic Pathways by Graph Transformation / Francesc Rosselló ; Gabriel Valiente
The Potential of a Chemical Graph Transformation System / Maneesh K.Yadav ; Brian P. Kelley ; Steven M. Silverman
Graph Transformation Concepts
Concepts for Specifying Complex Graph Transformation Systems / Boris Böhlen ; Ulrike Ranger
Typing of Graph Transformation Units / Renate Klempien-Hinrichs ; Hans-Jörg Kreowski ; Sabine Kuske
Towards Graph Programs for Graph Algorithms / Detlef Plump ; Sandra Steinert
DPO Theory for High-Level Structures
Adhesive High-Level Replacement Categories and Systems / Hartmut Ehrig ; Annegret Habel ; Julia Padberg ; Ulrike Prange
Fundamental Theory for Typed Attributed Graph Transformation / Gabriele Taentzer
Parallel Independence in Hierarchical Graph Transformation / Berthold Hoffmann
Analysis and Testing
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems / Paolo Baldan ; Barbara König ; Ingo Stürmer
Stochastic Graph Transformation Systems / Reiko Heckel ; Georgios Lajios ; Sebastian Menge
Model Checking Graph Transformations: A Comparison of Two Approaches / Arend Rensink ; Ákos Schmidt ; Dániel Varró
Graph Theory and Algorithms
Election, Naming and Cellular Edge Local Computations / Jérémie Chalopin ; Yves Métivier ; Wiesław Zielonka
Embedding in Switching Classes with Skew Gains / Andrzej Ehrenfeucht ; Jurriaan Hage ; Tero Harju ; Grzegorz Rozenberg
Synchronizers for Local Computations / Mohamed Mosbah ; Rodrigue Ossamy ; Afif Sellami
Application Conditions and Logic
Constraints and Application Conditions: From Graphs to High-Level Structures / Karsten Ehrig ; Karl-Heinz Pennemann
Specification Matching of Web Services Using Conditional Graph Transformation Rules / Alexey Cherchago
Representing First-Order Logic Using Graphs
Transformation of Special Structures
Coproduct Transformations on Lattices of Closed Partial Orders / Gemma Casas-Garriga ; José L. Balcázar
Parsing String Generating Hypergraph Grammars / Sebastian Seifert ; Ingrid Fischer
Composition of Path Transductions / Tanguy Urvoy
Object-Orientation
Translating Java Code to Graph Transformation Systems / Andrea Corradini ; Fernando Luís Dotti ; Luciana Foss ; Leila Ribeiro
Extending Graph Rewriting for Refactoring / Niels Van Eetvelde ; Dirk Janssens
Derivations in Object-Oriented Graph Grammars / Ana Paula Löudtke Ferreira
Tutorials and Workshops
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective / Luciano Baresi
Tutorial on DNA Computing and Graph Transformation / Ion Petre
Workshop TERMGRAPH 2004 / Maribel Fernández
Workshop on Graph-Based Tools / Tom Mens ; Andy Schöurr
Workshop on Petri Nets and Graph Transformations
Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions
Workshop on Logic, Graph Transformations, Finite and Infinite Structures / Bruno Courcelle ; David Janin
Author Index
Invited Papers
Improving Flow in Software Development Through Graphical Representations / Margaret-Anne D. Storey
A Perspective on Graphs and Access Control Models / Ravi Sandhu
2.

図書
図書
2. The mathematical theory of L systems
Grzegorz Rozenberg, Arto Salomaa
出版情報: New York : Academic Press, 1980  xvi, 352 p. ; 24 cm
シリーズ名: Pure and applied mathematics ; 90
所蔵情報: loading…
3.

図書
図書
3. Petri Nets : central models and their properties : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 (: gw ; : us)
edited by W. Brauer, W. Reisig, and G. Rozenberg
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  x, 480 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 254 . Advances in Petri Nets 1986 ; pt. 1
所蔵情報: loading…
4.

図書
図書
4. Petri Nets : applications and relationships to other models of concurrency : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 (: gw ; : us)
edited by W. Brauer, W. Reisig, and G. Rozenberg
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  x, 516 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 255 . Advances in Petri Nets 1986 ; pt. 2
所蔵情報: loading…
5.

図書
図書
5. Advances in Petri nets 1987 (: gw ; : us)
Grzegorz Rozenberg (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vi, 451 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 266
所蔵情報: loading…
6.

図書
図書
6. L systems (: gw ; : us)
edited by Grzegorz Rozenberg and Arto Salomaa
出版情報: Berlin ; New York : Springer-Verlag, 1974  vi, 338 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 15
所蔵情報: loading…
7.

図書
図書
7. Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 (: gw ; : us)
under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg
出版情報: Berlin ; Tokyo : Springer-Verlag, 1983  vii, 452 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 153
所蔵情報: loading…
8.

図書
図書
8. Theory and application of graph transformations : 6th International Workshop, TAGT '98, Paderborn, Germany, November 16-20, 1998 : selected papers
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2000  ix, 490 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1764
所蔵情報: loading…
目次情報: 続きを見る
Graph Languages
Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars / Frank Drewes
Tree Languages Generated by Context-Free Graph Grammars / Joost Engelfriet ; Sebastian Maneth
Neighborhood Expansion Grammars / John L. Pfaltz
Neighborhood-Preserving Node Replacements / Konstantin Skodinis ; Egon Wanke
Graph Theory
Complexity Issues in Switching of Graphs / Andrzej Ehrenfeucht ; Jurriaan Hage ; Tero Harju ; Grzegorz Rozenberg
The Power of Local Computations in Graphs with Initial Knowledge / Emmanuel Godard ; Yves Métivier ; Anca Muscholl
Categorical Approaches
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information / Hartmut Ehrig ; Reiko Heckel ; Mercé Llabrés ; Fernando Orejas ; Julia Padberg
Double-Pushout Approach with Injective Matching / Annegret Habel ; Jürgen Müller ; Detlef Plump
Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approach / Héléne Jacquet ; Renate Klempien-Hinrichs
Pushout Complements for Arbitrary Partial Algebras / Francesc Rosselló
Concurrency and Distribution
Unfolding of Double-Pushout Graph Grammars is a Coreflection / Paolo Baldan ; Andrea Corradini ; Ugo Montanari
Local Views on Distributed Systems and Their Communication / Ingrid Fischer ; Manuel Koch ; Gabriele Taentzer
Dynamic Change Management by Distributed Graph Transformation:
Towards Configurable Distributed Systems / Michael Goedicke ; Torsten Meyer
A Framework for NLC and ESM: Local Action Systems / Nico Verlinden ; Dirk Janssens
Artificial Intelligence
Redundancy and Subsumption in High-Level Replacement Systems / Hans-Jörg Kreowski ; Gabriel Valiente
Knowledge Representation and Graph Transformation / Stefan Schuster
Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching / Michael Rudolf
Visual Languages
Conceptual Model of the Graphical Editor GenGEd for the Visual Definition of Visual Languages / Roswitha Bardohl
From Formulae to Rewriting Systems / Paolo Bottoni ; Francesco Parisi-Presicce ; Marta Simeoni
Hypergraphs as a Uniform Diagram Representation Model / Mark Minas
Specification Concepts
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java / Thorsten Fischer ; Jörg Niere ; Lars Torunski ; Albert Zündorf
A Fully Abstract Model for Graph-Interpreted Temporal Logic / Fabio Gadducci
More About Control Conditions for Transformation Units / Sabine Kuske
Integrity Constraints in the Multi-paradigm Language PROGRES / Manfred Münch ; Andy Schürr ; Andreas J. Winter
Modularity and Refinement
A Framework for Adding Packages to Graph Transformation Approaches / Giorgio Busatto ; Gregor Engels ; Katharina Mehner ; Annika Wagner
Refinements of Graph Transformation Systems via Rule Expressions / Martin Große-Rhode
Simple Modules for Grace / Berthold Hoffmann ; Peter Knirsch
UML Packages for PROgrammed Graph REwriting Systems
Incremental Development of Safety Properties in Petri Net Transformations / Maike Gajewsky ; Kathrin Hoffmann
Software Engineering
Using Graph Transformation Techniques for Integrating Information from the WWW / Lukas C. Faulstich
A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism / Curtis E. Hrischuk
Graph-Based Models for Managing Development Processes, Resources, and Products / Carl-Arndt Krapp ; Sven Kruppel ; Ansgar Schleicher ; Bernhard Westfechtel
Deriving Software Performance Models from Architectural Patterns by Graph Transformations / Dorina C. Petriu ; Xin Wang
Author Index
Graph Languages
Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars / Frank Drewes
Tree Languages Generated by Context-Free Graph Grammars / Joost Engelfriet ; Sebastian Maneth
9.

図書
図書
9. DNAコンピューティング : 新しい計算パラダイム
G. パウン, G. ローゼンバーグ, A. サローマ著 ; 横森貴, 榊原康文, 小林聡訳
出版情報: 東京 : シュプリンガー・フェアラーク東京, 1999.12  x, 444p ; 25cm
所蔵情報: loading…
10.

図書
図書
10. Application of Petri nets to communication networks : advances in Petri nets
Jonathan Billington, Michel Diaz, Grzegorz Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  vii, 303 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1605
所蔵情報: loading…
11.

図書
図書
11. The theory of 2-structures : a framework for decomposition and transformation of graphs
A. Ehrenfeucht, T. Harju, G. Rozenberg
出版情報: Singapore : World Scientific, c1999  xvi, 290 p. ; 23 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Preliminaries / Chapter 1：
Notations / 1.1：
Sets and functions / 1.1.1：
Closure operators / 1.1.2：
Relations / 1.1.3：
Equivalence relations / 1.1.4：
Partial orders / 1.2：
Downsets / 1.2.1：
Order embeddings / 1.2.2：
Linear orders / 1.2.3：
Semigroups and groups / 1.3：
Notations for semigroups and monoids / 1.3.1：
Free monoids (with involution) / 1.3.2：
Preliminaries on groups / 1.3.3：
Group actions / 1.3.4：
Free groups, commutators and verbal identities / 1.3.5：
Graph Theoretical Preliminaries / Chapter 2：
Directed and Undirected Graphs / 2.1：
Basic notions / 2.1.1：
Connectivity of graphs / 2.1.2：
Some special graphs / 2.1.3：
Comparability graphs / 2.2：
Transitively oriented graphs / 2.2.1：
Permutation graphs and cographs / 2.2.2：
Construction trees of cographs / 2.2.3：
2-Structures and Their Clans / Chapter 3：
Introduction and representations / 3.1：
Definition of a 2-structure / 3.1.1：
Isomorphic 2-structures / 3.1.2：
Reversibility / 3.1.3：
Substructures and clans / 3.2：
Substructures, clans and factors / 3.2.1：
Refinements and similarity / 3.2.2：
Reversible version / 3.2.3：
Graphs and packed components / 3.2.4：
Some special 2-structures / 3.2.5：
Closure properties of clans / 3.3：
Basic closures / 3.3.1：
Sibas: set theoretic closure properties / 3.3.2：
Clans of factors / 3.3.3：
Prime clans / 3.4：
Prime members in sibas / 3.4.1：
Minimal overlapping clans / 3.4.2：
Quotients and Homomorphisms / Chapter 4：
Quotients / 4.1：
Factorizations and quotients / 4.1.1：
Homomorphisms / 4.1.2：
Natural epimorphisms and decompositions / 4.1.3：
Clans and epimorphisms / 4.2：
Homomorphism theorem / 4.2.1：
Prime clans in quotients / 4.2.2：
Primitive quotients / 4.2.3：
Other operations / 4.3：
Premorphisms / 4.3.1：
Extensions / 4.3.2：
Clan Decomposition / Chapter 5：
The clan decomposition theorem / 5.1：
Maximal prime clans / 5.1.1：
Special sibas and 2-structures / 5.1.2：
The relationship of sibas to 2-structures / 5.1.3：
The shape of a 2-structure / 5.2：
The shape and its representation as a tree / 5.2.1：
Same shapes / 5.2.2：
A construction of prime clans / 5.3：
A construction of clans / 5.3.1：
Primitive 2-Structures / 5.3.2：
Small primitive substructures / 6.1：
Uniformly imprimitive 2-structures / 6.1.1：
Primitive substructures of 3 or 4 nodes / 6.1.2：
Hereditary properties / 6.2：
Local and global nodes / 6.2.1：
Critically primitive 2-structures / 6.2.2：
The parity theorem / 6.3.1：
The list of critically primitive 2-structures / 6.3.2：
Angular 2-Structures / Chapter 7：
Angularity / 7.1：
All-connectivity / 7.1.1：
All-connected skew angular 2-structures / 7.1.2：
T-structures / 7.2：
T-structures and partial orders / 7.2.1：
T[subscript 2]-structures / 7.2.2：
Linear orders and Schroder numbers / 7.3：
Bi-orders and linear orders / 7.3.1：
Uniformly imprimitive linear orders / 7.3.2：
Parenthesis words and Schroder numbers / 7.3.3：
Labelled 2-Structures / Chapter 8：
Introduction to l2-structures / 8.1：
Definitions / 8.1.1：
Substructures, clans and quotients / 8.1.2：
Clan decomposition of l2-structures / 8.2：
Uniqueness of decompositions / 8.2.1：
The shape of an l2-structure / 8.2.2：
Graphs and their representations / 8.2.3：
Graphs as l2-structures / 8.3.1：
On comparability graphs / 8.3.2：
Unstable Labelled 2-Structures / Chapter 9：
Triangle free and unstable l2-structures / 9.1：
Removable edges / 9.1.1：
Internal and external nodes / 9.1.2：
Triangle-free l2-structures / 9.1.3：
Heredity in unstable l2-structures / 9.2：
The partition of nodes / 9.2.1：
Alternating structures / 9.2.2：
Degrees of nodes / 9.2.3：
A composition of unstable l2-structures / 9.3：
A constructive reduction of primitive l2-structures / 9.3.1：
Pendant components / 9.3.2：
Automorphisms of Labelled 2-Structures / Chapter 10：
Label preserving automorphisms / 10.1：
The l-automorphism groups / 10.1.1：
Transitivity / 10.1.2：
Automorphic actions on factors / 10.1.3：
Universality of l-automorphism groups / 10.1.4：
Nonpreserving automorphisms / 10.2：
Connections to l-automorphisms / 10.2.1：
Transitivity and associated permutations / 10.2.2：
Representing labels by automorphisms / 10.2.3：
Switching of Graphs / Chapter 11：
Introduction to switching / 11.1：
The group of graphs / 11.1.1：
Switching classes / 11.1.3：
Structural properties of switching classes / 11.2：
A local characterization / 11.2.1：
Automorphisms / 11.2.2：
Special problems on undirected graphs / 11.3：
Two-graphs / 11.3.1：
Eulerian graphs / 11.3.2：
Pancyclic graphs / 11.3.3：
Trees / 11.3.4：
Labelled Structures over Groups / Chapter 12：
Introduction / 12.1：
Groups and involutions / 12.1.1：
Selectors and switching classes / 12.1.2：
An interpretation in networks / 12.2：
Concurrent behaviour in networks / 12.2.1：
Reducing the actions to groups / 12.2.2：
Introducing reversibility / 12.2.3：
Examples for some special groups / 12.3：
The cyclic groups Z[subscript 3] and Z[subscript 4] / 12.3.1：
The symmetric group S[subscript 3] / 12.3.2：
Clans of Switching Classes / Chapter 13：
Associated groups / 13.1：
The group of selectors / 13.1.1：
The group of abelian switching classes / 13.1.2：
Clans and horizons / 13.2：
Spanning trees / 13.2.1：
Horizons and constant selectors / 13.2.2：
Clans / 13.2.3：
Cardinalities of switching classes / 13.3：
Some special cases / 13.3.1：
Centralizers / 13.3.2：
Some improvements / 13.3.3：
Quotients and Plane Trees / Chapter 14：
Quotients of switching classes / 14.1：
Planes and plane trees / 14.1.1：
Planes / 14.2.1：
Plane trees / 14.2.2：
Bijective correspondence of plane trees / 14.2.3：
Forms / 14.2.4：
Invariants / Chapter 15：
Free invariants / 15.1：
General invariants / 15.1.1：
Edge monoids / 15.1.2：
Variable functions and free invariants / 15.1.3：
Group properties of free invariants / 15.2：
Abelian property / 15.2.1：
Graphs of words / 15.2.2：
Verbal identities / 15.2.3：
Invariants on abelian groups / 15.3：
Independency of free invariants / 15.3.1：
Complete sets of invariants / 15.3.2：
Invariants on nonabelian groups / 15.4：
General observations / 15.4.1：
Central characters / 15.4.2：
A characterization theorem / 15.4.3：
Bibliography
Index
Preface
Preliminaries / Chapter 1：
Notations / 1.1：
12.

図書
図書
12. Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996
Grzegorz Rozenberg, Frits Vaandrager (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  viii, 421 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1494
所蔵情報: loading…
13.

図書
図書
13. Lectures on Petri nets : advances in Petri nets (1 ; 2)
Wolfgang Reisig, Grzegorz Rozenberg (eds.)
出版情報: Berlin ; New York : Springer, c1998  2 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1491-1492
所蔵情報: loading…
14.

図書
図書
14. Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (eds.)
出版情報: Berlin : Springer, c1997  x, 370 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1261
所蔵情報: loading…
15.

図書
図書
15. Word, language, grammar
G. Rozenberg, A. Salomaa, (eds.)
出版情報: Berlin : Springer, c1997  xxiv, 873 p. ; 25 cm
シリーズ名: Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 1
所蔵情報: loading…
16.

図書
図書
16. Handbook of formal languages (: set)
G. Rozenberg, A. Salomaa, (eds.)
出版情報: Berlin : Springer, c1997  3 vols ; 25 cm
所蔵情報: loading…
17.

図書
図書
17. Linear modeling : background and application (: pbk)
G. Rozenberg, A. Salomaa, (eds.)
出版情報: Berlin : Springer, c1997  xxii, 528 p. ; 25 cm
シリーズ名: Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 2
所蔵情報: loading…
18.

図書
図書
18. Beyond words (: [pbk])
G. Rozenberg, A. Salomaa, (eds.)
出版情報: Berlin : Springer, c1997  xx, 625 p. ; 25 cm
シリーズ名: Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 3
所蔵情報: loading…
19.

図書
図書
19. Developments in language theory II : at the crossroads of mathematics, computer science and biology : Magdeburg, Germany 17-21 July 1995
editors, Jürgen Dassow, Grzegorz Rozenberg, Arto Salomaa
出版情報: Singapore : World Scientific, c1996  x, 491 p. ; 23 cm
所蔵情報: loading…
20.

図書
図書
20. Advances in Petri nets 1984 (: gw ; : us)
edited by G. Rozenberg, with the cooperation of H. Genrich and G. Roucairol
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  vii, 467 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 188
所蔵情報: loading…
21.

図書
図書
21. Advances in Petri nets 1992 (: gw ; : us)
G. Rozenberg, (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  viii, 472 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 609
所蔵情報: loading…
22.

図書
図書
22. Advances in Petri nets 1991 (: gw ; : us)
G. Rozenberg, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  viii, 572 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 524
所蔵情報: loading…
23.

図書
図書
23. Graph grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5-9, 1990 : proceedings (: gw ; : us)
H. Ehrig, H.-J. Kreowski, G. Rozenberg, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  x, 703 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 532
所蔵情報: loading…
24.

図書
図書
24. Advances in Petri nets 1990 (: gw ; : us)
Grzegorz Rozenberg, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  vi, 515 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 483
所蔵情報: loading…
25.

図書
図書
25. Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings (: gw ; : us)
J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991  viii, 442 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 489
所蔵情報: loading…
26.

図書
図書
26. Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978
edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg
出版情報: Berlin ; New York : Springer-Verlag, 1980  vii, 477 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 73
所蔵情報: loading…
目次情報: 続きを見る
The Criminal Network Perspective / 1：
The Criminal Network Difference / I：
Flexible Order / II：
Centrality and Key Player Designations / III：
Direct Centrality and Visibility
Brokers as Key Players
Seek, Rather than Assume, Structure / IV：
Organization of the Book / V：
Case Study Sources and Designs / 2：
Case Selection and Access
Case Study Descriptions
Krebs' Terrorist Network
Project Ciel
Project Caviar
Projects Siren and Togo
Operation Springtime 2001
Street Gangs and Drug Distribution in Montreal North
Designing the Criminal Networks
The Matrix and the Sociogram
Assembling the Final Network Representation
Centrality and Analogous Network Measures
In the Thick of Things
In Between
In the Thick of the Thick
Less Efficiently In Between
Localized Clustering
Challenges in Criminal Network Analysis
Clarity and Attributes in Relational Data
Missing Data Beyond the Final Network Representation
Missing Data Within the Final Network Representation
Are Central Participants Simply Central Targets of a Police Investigation?
Are Law-Enforcement Intercepted Networks Simply Failed Criminal Networks?
Partnership Configurations in Illegal Drug-Importation / 3：
Resource-Sharing in Crime
Two Networks in One
Direct and Indirect Connectivity Within the Ciel Network
Conclusion
The Efficiency-Security Trade-Off / 4：
The Network's Objective and Time-to-Task
Snakes and Clusters
Centrality Issues and Distinctions
Legitimate Strengths in Criminal Networks / 5：
Legitimate Actors in Criminal Settings
Differences Between Trafficker and Nontrafficker Subsets
Seeds in the Network
The Direction of Contact
Discrete Participants and Pawns
Law-Enforcement Disruption of a Drug-Importation Network / VI：
Coding for Criminal Network Dynamics
The Context of Control
The Uniqueness of the Caviar Case
Characteristics of the Overall Caviar Network
Changes in the Caviar Network Across Investigative Phases
Decentralization and Core Changes
Disorder and Accountability
Brokerage Qualifications in Ringing Scripts / 7：
Crime Scripts and Flexibility
Merging Crime Script and Social Network Frameworks
The Case Study Design
Determining Brokerage Qualifications
Assessing Participant Removal Impact on Script Permutation
Criminal Network Flexibility and Script Permutation
Overall Scripts
Networks Within the Scripts
General Participant Removal and Impact
The Broker Impact on Flexibility
Nonbroker Impact on Flexibility
Hells Angels in Springtime / 8：
Hells Angels Inc.
The Hells Angels Network in Operation Springtime
Variations in Key Participant Status Across the Network
Street Gang Presence in Drug-Distribution Operations / 9：
Gangs and Flexible Order
Past Research on "Gang Networks"
Three Investigations, One Network
Identifying Gang Members
Single-Case Versus Overlapped-Cases Representations
Where are the Gang Members?
Summary and Extensions / 10：
Extensions of the Criminal Network Perspective
Assessing Change Within Disrupted Networks
Content Analysis of Electronically Monitored Conversations
Expanding on the Social Embeddedness of Network Participants
Criminal Network Position and Individual Traits
Criminal Networks and the Criminal Career
Criminal Networks Beyond the Individual
The Master Network
Appendix
References
Index
The Criminal Network Perspective / 1：
The Criminal Network Difference / I：
Flexible Order / II：
27.

図書
図書
27. Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings (: gw ; : us)
J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  x, 808 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 430
所蔵情報: loading…
28.

図書
図書
28. Advances in Petri nets 1989 (: gw ; : us)
Grzegorz Rozenberg (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  vi, 524 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 424
所蔵情報: loading…
29.

図書
図書
29. Advances in Petri nets 1988 (: gw ; : us)
Grzegorz Rozenberg (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vi, 439 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 340
所蔵情報: loading…
30.

図書
図書
30. Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 (: gw ; : us)
J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  viii, 713 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 354
所蔵情報: loading…
31.

図書
図書
31. Developmental systems and languages (: us ; : ne)
[by] Gabor T. Herman and Grzegorz Rozenberg, with a contribution by Aristid Lindenmayer
出版情報: Amsterdam : North-Holland Pub. Co. , New York : American Elsevier Pub. Co., 1975  xvi, 363 p. ; 23 cm
所蔵情報: loading…
32.

図書
図書
32. Current trends in concurrency : overviews and tutorials (: gw ; : us)
edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg
出版情報: Berlin ; New York : Springer-Verlag, c1986  xii, 716 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 224
所蔵情報: loading…
33.

図書
図書
33. Advances in Petri nets 1985 (: gw ; : us)
edited by G. Rozenberg
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  498 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 222
所蔵情報: loading…
34.

図書
図書
34. Results and trends in theoretical computer science : Colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings (: us ; : gw)
J. Karhumäki, H. Maurer, G. Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994  x, 443 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 812
所蔵情報: loading…
35.

図書
図書
35. A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings (: gw ; : us)
J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  684 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 803
所蔵情報: loading…
36.

図書
図書
36. Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings (: gw ; : us)
J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993  viii, 659 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 666
所蔵情報: loading…
37.

図書
図書
37. Advances in Petri nets 1993 (: gw ; : us)
Grzegorz Rozenberg (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  457 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 674
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Handbook of Natural Computing
Grzegorz Rozenberg, Thomas B?ck
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Formal Methods in Software and Systems Modeling
David Hutchison, Hartmut Ehrig, Takeo Kanade, Hans-J?rg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Membrane Computing
WMC 2004, Takeo Kanade, Gian Carlo Mauri, Gheorghe Paun, Mario J. P??rez-Jim??nez, Grzegorz Rozenberg, Arto Salomaa
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Graph Transformations
Hartmut Ehrig, Reiko Heckel, Takeo Kanade, Grzegorz Rozenberg, Gabriele Taentzer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Graph Transformations
Andrea Corradini, Hartmut Ehrig, Takeo Kanade, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Unconventional Computing
Cristian S. Calude, Jos? F?lix Costa, Rudolf Freund, Takeo Kanade, Marion Oswald, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Unconventional Computation
Cristian S. Calude, Jos? F?lix Costa, Nachum Dershowitz, Elisabete Freire, Takeo Kanade, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Unconventional Computation
Cristian S. Calude, Masami Hagiya, Takeo Kanade, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Computations Inspired from the Brain / Shun-ichi Amari
Algebras and Languages for Molecular Programming / Luca Cardelli
A Computational Journey into Nonlinearity / Françoise Chatelin
Computable Scientists, Uncomputable World (Abstract) / José Félix Costa
Regular Contributions
Finite State Transducers with Intuition / Ruben Agadzanyan ; Rusinš Freivalds
Reversibility and Determinism in Sequential Multiset Rewriting / Artiom Alhazov ; Rudolf Freund ; Kenichi Morita
Synchronization in P Modules / Michael J. Dinneen ; Yun-Bum Kim ; Radu Nicolescu
On Universality of Radius 1/2 Number-Conserving Cellular Automata / Katsunobu Imai
DNA Origami as Self-assembling Circuit Boards / Kyoung Nan Kim ; Koshala Sarveswaran ; Lesli Mark ; Marya Lieberman
Tug-of-War Model for Multi-armed Bandit Problem / Song-Ju Kim ; Masashi Aono ; Masahiko Hara
Characterising Enzymes for Information Processing: Towards an Artificial Experimenter / Chris Lovell ; Gareth Jones ; Steve R. Gunn ; Klaus-Peter Zauner
Majority Adder Implementation by Competing Patterns in Life-Like Rule B2/S2345 / Genaro J. Martínez ; Andrew Adamatzky ; Maurice Margenstern
Solving Partial Differential Equation via Stochastic Process / Jun Ohkubo
Postselection Finite Quantum Automata / Oksana Scegulnaja-Dubrovska ; Lelde Lace
A New Representation of Chaitin ? Number Based on Compressible Strings / Kohtaro Tadaki
Quantum Query Algorithms for Conjunctions / Alina Vasilieva ; Taisia Mischenko-Slatenkova
Universal Continuous Variable Quantum Computation in the Micromaser / Rob C. Wagner ; Mark S. Everitt ; Viv M. Kendon ; Martin L. Jones
Quantum Computation with Devices Whose Contents Are Never Read / Abuzer Yakaryilmaz ; A. C. Cem Say
The Extended Glider-Eater Machine in the Spiral Rule / Liang Zhang
Posters
Formalizing the Behavior of Biological Processes with Mobility / Bogdan Aman ; Gabriel Ciobanu
Quantum Finite State Automata over Infinite Words / Ilze Dzelme-Berzina
A Geometrical Allosteric DNA Switch / Anthony J. Genot ; Jon Bath ; Andrew J. Turberfield
Properties of "Planar Binary (Butchi Number)" / Yuuki Iwabuchi ; Junichi Akita
Characterising Enzymes for Information Processing: Microfluidics for Autonomous Experimentation / Hywel Morgan
Inference with DNA Molecules / Alfonso Rodríguez-Patón ; José María Larrea ; Iñaki Sainz de Murieta
A Network-Based Computational Model with Learning / Hideaki Suzuki ; Hiroyuki Ohsaki ; Hidefumi Sawai
Image Processing with Neuron-Like Branching Elements (POSTER) / Hisako Takigawa-Imamura ; Ikuko N. Motoike
Author Index
Invited Talks
Computations Inspired from the Brain / Shun-ichi Amari
Algebras and Languages for Molecular Programming / Luca Cardelli
46.

電子ブック
ＥＢ
46. Graph Transformations
Hartmut Ehrig, Takeo Kanade, Arend Rensink, Grzegorz Rozenberg, Andy Sch?rr
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Speakers
A False History of True Concurrency: From Petri to Tools (Abstract) / Javier Esparza
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? / Christoph Brandt ; Frank Hermann
Graphs and Logic / Session 1：
Graph Transformation Units Guided by a SAT Solver / Hans-Jörg Kreowski ; Sabine Kuske ; Robert Wille
Delaying Constraint Solving in Symbolic Graph Transformation / Fernando Orejas ; Leen Lambers
A Dynamic Logic for Termgraph Rewriting / Philippe Balbiani ; Rachid Echahed ; Andreas Herzig
Behavioural Analysis / Session 2：
A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes / Victor Khomenko
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars / Paolo Baldan ; Alessandro Bruni ; Andrea Corradini ; Barbara König ; Stefan Schwoon
Verification of Graph Transformation Systems with Context-Free Specifications
Saturated LTSs for Adhesive Rewriting Systems / Filippo Bonchi ; Fabio Gadducci ; Giacoma Valentina Monreale ; Ugo Montanari
A Hoare Calculus for Graph Programs / Christopher M. Poskitt ; Detlef Plump
Models and Model Transformation / Session 3：
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars / Hartmut Ehrig ; Ulrike Golas
Conflict Detection for Model Versioning Based on Graph Modifications / Gabriele Taentzer ; Claudia Ermel ; Philip Langer ; Manuel Wimmer
A Component Concept for Typed Graphs with Inheritance and Containment Structures / Stefan Jurack
Combining Termination Criteria by Isolating Deletion / Dénes Bisztray ; Reiko Heckel
Algebraic Foundations / Session 4：
Graph Rewriting in Span-Categories / Michael Löwe
Finitary M-Adhesive Categories / Benjamin Braatz ; Karsten Gabriel
Hereditary Pushouts Reconsidered / Tobias Heindel
Applications / Session 5：
Graph Transformation for Domain-Specific Discrete Event Time Simulation / Juan de Lara ; Esther Guerra ; Artur Boronat ; Paolo Torrini
Counterpart Semantics for a Second-Order ?-Calculus / Alberto Lluch Lafuente ; Andrea Vandin
Declarative Mesh Subdivision Using Topological Rewriting in MGS / Antoine Spicher ; Olivier Michel ; Jean-Louis Giavitto
A Model for Distribution and Revocation of Certificates / Åsa Hagström ; Francesco Parisi-Presicce
Rule Composition / Session 6：
Local Confluence for Rules with Nested Application Conditions / Annegret Habel
Multi-Amalgamation in Adhesive Categories
Amalgamating Pushout and Pullback Graph Transformation in Collagories / Wolfram Kahl
Doctoral Symposium
ICGT 2010 Doctoral Symposium (Introduction) / Maarten de Mol
EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment / Enrico Biermann
Recognizable Graph Languages for the Verification of Dynamic Systems / Christoph Blume
Stochastic Modelling and Simulation of Dynamic Resource Allocation / Adwoa Donyina
Bisimulation Theory for Graph Transformation Systems / Mathias Hülsbusch
Realizing Impure Functions in Interaction Nets / Eugen Jiresch
Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures
Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems / Tony Modica
LTS Semantics for Process Calculi from Their Graphical Encodings
Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems / Fawad Qayum
Static Type Checking of Model Transformation Programs / Hendrik Radke ; Zoltán Ujhelyi
Using Graph Transformations and Graph Abstractions for Software Verification / Eduardo Zambon
Author Index
Invited Speakers
A False History of True Concurrency: From Petri to Tools (Abstract) / Javier Esparza
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? / Christoph Brandt ; Frank Hermann
47.

電子ブック
ＥＢ
47. Rainbow of Computer Science
Cristian S. Calude, Takeo Kanade, Grzegorz Rozenberg, Arto Salomaa
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Algorithmics
Improved Approximations for Hard Optimization Problems via Problem Instance Classification / Hans-Joachim Böckenhauer ; Juraj Hromkovic ; Tobias Mömke
Counting Plane Graphs with Exponential Speed-Up / Herbert Edelsbrunner ; Michael Kerber ; Andreas Razen ; Emo Welzl
Formal Languages and Automata
Ancient Typefaces and Parametric Weighted Finite Automata / Jürgen Albert ; German Tischler
On Language Decompositions and Primality / Michael Domaratzki ; Kai Salomaa
A Unifying Kleene Theorem for Weighted Finite Automata / Zoltán Ésik ; Werner Kuich
Local Squares, Periodicity and Finite Automata / Mari Huova ; Juhani Karhumäki ; Aleksi Saarela ; Kalle Saari
P and dP Automata: A Survey / Gheorghe Paun ; Mario J. Pérez-Jiménez
On the General Coloring Problem / N. W. Sauer
Learning
Transdisciplinary Collaboration and Lifelong Learning: Fostering and Supporting New Learning Opportunities / Gitta Domik ; Gerhard Fischer
Towards an Open Learning Infrastructure for Open Educational Resources: Abundance as a Platform for Innovation / Erik Duval ; Katrien Verbert ; Joris Klerkx
Why E-Learning as It Stands Is Not Enough / Narayanan Kulathuramaiyer ; Hermann Maurer
The Practice of Informatics
Domains: Their Simulation, Monitoring and Control-A Divertimento of Ideas and Suggestions / Dines Bjørner
Roots and Stimuli to a New Perception of Informatics / Jozef Gruska
Towards a New Shape Description Paradigm Using the Generative Modeling Language / Sven Havemann ; Dieter W. Fellner
Name Resolution by Rewriting in Dynamic Networks of Mobile Entities / Jan van Leeuwen ; Jirí Wiedermann
Maintaining the Personal Style and Flair of Handwriting in Presentation Recordings / Khaireel A. Mohamed ; Thomas Ottmann
TGV-Fusion / Thomas Pock ; Lukas Zebedin ; Horst Bischof
Secure and Privacy-Preserving eGovernment-Best Practice Austria / Karl Christian Posch ; Reinhard Posch ; Arne Tauber ; Thomas Zefferer ; Bernd Zwattendorfer
The Quest for Uncertainty / Jörg Zimmermann ; Armin B. Cremers
Author Index
Algorithmics
Improved Approximations for Hard Optimization Problems via Problem Instance Classification / Hans-Joachim Böckenhauer ; Juraj Hromkovic ; Tobias Mömke
Counting Plane Graphs with Exponential Speed-Up / Herbert Edelsbrunner ; Michael Kerber ; Andreas Razen ; Emo Welzl
48.

電子ブック
ＥＢ
48. Unconventional Computation
Cristian S. Calude, Takeo Kanade, Jarkko Kari, Ion Petre, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Lectures and Tutorials
The Logic and Topology of Non-locality and Contextuality / Samson Abramsky
A Framework for Multiscale and Multiscience Modeling and Numerical Simulations / Bastien Chopard ; Jean-Luc Falcone ; Alfons G. Hoekstra ; Joris Borgdorff
Unconventional Optimizer Development / David Corne
A Formal Framework for Bioprocesses in Living Cells / Andrzej Ehrenfeucht ; Grzegorz Rozenberg
Quantum Information - A Tutorial / Mika Hirvensalo
Weighted Finite Automata: Computing with Different Topologies / Juhani Karhumäki ; Turo Sallinen
Tutorial on Cellular Automata / Nicolas Ollinger
Membrane Computing at Twelve Years (Back to Turku) / Gheorghe Paun
Membrane Computing (Tutorial) / Ignacio Pérez-Huriado ; Mario J. Pérez-Jiménez ; Agustín Riscos-Núñez ; Francisco J. Romero-Campero
Regular Contributions
Von Neumann Normalisation and Symptoms of Randomness: An Application to Sequences of Quantum Random Bits / Alastair A. Abbott ; Cristian S. Calude
Robustness of Cellular Automata in the Light of Asynchronous Information Transmission / Olivier Bouré ; Nazim Fatès ; Vincent Chevrier
Hidden Variables Simulating Quantum Contextuality Increasingly Violate the Holevo Bound / Adán Cabello ; Joost J. Joosten
Can Anything from Noether's Theorem Be Salvaged for Discrete Dynamical Systems? / Silvio Capobianco ; Tommaso Toffoli
On Normal Forms for Networks of Evolutionary Processors / Jürgen Dassow ; Florin Manea ; Bianca Truthe
Geometrical Accumulations and Computably Enumerable Real Numbers / Jérôme Durand-Lose
Heterotic Computing / Viv Kendon ; Angelika Sebald ; Susan Stepney ; Matthias Bechmann ; Peter Hines ; Robert C. Wagner
A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution / Takahiro Kubota ; Yoshihiko Kakutani ; Go Kato ; Yasuhito Kawano
Geometric Computations by Broadcasting Automata on the Integer Grid / Russell Martin ; Thomas Nickson ; Igor Potapov
Computations with Uncertain Time Constraints: Effects on Parallelism and Universality / Naya Nagy ; Selim G. Akl
BFS Solution for Disjoint Paths in P Systems / Radu Nicolescu ; Huiling Wu
The Key Elements of Logic Design in Ternary Quantum-Dot Cellular Automata / Primoz Pecar ; Iztok Lebar Bajec
A Universal Flying Amorphous Computer / Lukáš Petru ; Jirí Wiedermann
Computation with Narrow CTCs / A.C. Cem Say ; Abuzer Yakaryilmaz
Extended Watson-Crick L Systems with Regular Trigger Languages / David Sears ; Kai Salomaa
Computing with Planar Toppling Domino Arrangements / William M. Stevens
Increasing Fault-Tolerance in Cellular Automata-Based Systems / Ludek Zaloudek ; Lukáš Sekanina
Author Index
Invited Lectures and Tutorials
The Logic and Topology of Non-locality and Contextuality / Samson Abramsky
A Framework for Multiscale and Multiscience Modeling and Numerical Simulations / Bastien Chopard ; Jean-Luc Falcone ; Alfons G. Hoekstra ; Joris Borgdorff
49.

電子ブック
ＥＢ
49. Software Engineering 1
Dines Bj?rner, Wilfried Brauer, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Preface
Reasons for Writing These Volumes
Shortcomings of These Volumes
Methods of Approach
A New Look at Software
Formal Techniques "Light"
The "Super Programmer"
What Is Software Engineering?
The Author's Aspirations
Role of These Volumes in an SE Education Programme
Why So Much Material?
How to Use These Volumes in a Course
Brief Guide to the Book
Guide to This Volume
Acknowledgments
Opening / Part I：
Introduction / 1：
Setting the Stage / 1.1：
A Software Engineering Triptych / 1.2：
Documentation / 1.3：
Formal Techniques and Formal Tools / 1.4：
Method and Methodology / 1.5：
The Very Bases of Software / 1.6：
Aims and Objectives / 1.7：
Bibliographical Notes / 1.8：
Exercises / 1.9：
Discrete Mathematics / Part II：
Numbers / 2：
Numerals and Numbers / 2.1：
Subsets of Numbers / 2.3：
Type Definitions: Numbers / 2.4：
Summary / 2.5：
Sets / 2.6：
Background / 3.1：
Mathematical Sets / 3.2：
Special Sets / 3.3：
Sorts and Type Definitions: Sets / 3.4：
Sets in RSL / 3.5：
Cartesians / 3.6：
The Issues / 4.1：
Cartesian-Valued Expressions / 4.2：
Cartesian Types / 4.3：
Cartesian Arity / 4.4：
Cartesian Equality / 4.5：
Some Construed Examples / 4.6：
Sorts and Type Definitions: Cartesians / 4.7：
Cartesians in RSL / 4.8：
Types / 4.9：
Values and Types / 5.1：
Phenomena and Concept Types / 5.2：
Programming Language Type Concepts / 5.3：
Sorts or Abstract Types / 5.4：
Built-in and Concrete Types / 5.5：
Type Checking / 5.6：
Types as Sets, Types as Lattices / 5.7：
Functions / 5.8：
General Overview / 6.1：
How Do Functions Come About? / 6.2：
An Aside: On the Concept of Evaluation / 6.4：
Function Algebras / 6.5：
Currying and [lambda]-Notation / 6.6：
Relations and Functions / 6.7：
Type Definitions / 6.8：
Conclusion / 6.9：
A [lambda]-Calculus / 6.10：
Informal Introduction / 7.1：
A "Pure" [lambda]-Calculus Syntax / 7.2：
A [lambda]-Calculus Pragmatics / 7.3：
A "Pure" [lambda]-Calculus Semantics / 7.4：
Call-by-Name Versus Call-by-Value / 7.5：
The Church-Rosser Theorems - Informal Version / 7.6：
The RSL [lambda]-Notation / 7.7：
Fix Points / 7.8：
Discussion / 7.9：
Algebras / 7.10：
Formal Definition of the Algebra Concept / 8.1：
How Do Algebras Come About? / 8.3：
Kinds of Algebras / 8.4：
Specification Algebras / 8.5：
RSL Syntax for Algebra Specifications / 8.6：
Mathematical Logic / 8.7：
Proof Theory Versus Model Theory / 9.1：
A Language of Boolean Ground Terms / 9.3：
Languages of Propositional Logic / 9.4：
Languages of Predicate Logic / 9.5：
Axiom Systems / 9.6：
Simple RSL / 9.7：
General
RSL Versus VDM-SL, Z and B
What, Syntactically, Constitutes a Specification?
Towards an RSL "Standard"
RSL Tools
Atomic Types and Values in RSL / 10：
The RSL Numbers / 10.1：
Enumerated Tokens / 10.3：
Characters and Texts / 10.4：
Identifiers and General Tokens / 10.5：
Function Definitions in RSL / 10.6：
The Function Type / 11.1：
Model-Oriented Explicit Definitions / 11.2：
Model-Oriented Axiomatic Definitions / 11.3：
Model-Oriented pre/post-Condition Definitions / 11.4：
Property-Oriented Axiomatic Definitions / 11.5：
Property-Oriented Algebraic Definitions / 11.6：
Summary of RSL Function Definition Styles / 11.7：
Property-Oriented and Model-Oriented Abstraction / 11.8：
Abstraction / 12.1：
Property-Oriented Abstractions / 12.2：
Model Versus Property Abstractions / 12.3：
Model-Oriented Abstractions / 12.4：
Principles, Techniques and Tools / 12.5：
Sets: The Issues / 12.6：
The Set Data Type / 13.2：
Examples of Set-Based Abstractions / 13.3：
Abstracting and Modelling With Sets / 13.4：
Inductive Set Definitions / 13.5：
A Comment on Varying Sets / 13.6：
Cartesians: The Issues / 13.7：
The Cartesian Data Type / 14.2：
Examples of Cartesian Abstractions / 14.3：
Abstracting and Modelling with Cartesians / 14.4：
Inductive Cartesian Definitions / 14.5：
Lists in RSL / 14.6：
Issues Related to Lists / 15.1：
The List Data Type / 15.2：
Small Examples of List-Based Abstractions / 15.3：
Abstracting and Modelling with Lists / 15.4：
Inductive List Definitions / 15.5：
A Review of List Abstractions and Models / 15.6：
Lists: A Discussion / 15.7：
Maps in RSL / 15.8：
The Map Data Type / 16.1：
Examples of Map-Based Abstractions / 16.3：
Abstracting and Modelling with Maps / 16.4：
Inductive Map Definitions / 16.5：
A Review of Map Abstractions and Models / 16.6：
Maps: A Discussion / 16.7：
Higher-Order Functions in RSL / 16.8：
Functions: The Issues / 17.1：
Examples Using Function-Based Abstractions / 17.2：
Abstracting and Modelling With Functions / 17.3：
Inductive Function Definitions / 17.4：
Review of Function Abstractions and Models / 17.5：
Specification Types / 17.6：
Types in RSL / 18：
Type Categories / 18.1：
Enumerated Token Types Revisited / 18.3：
Records: Constructors and Destructors / 18.4：
Union Type Definitions / 18.5：
Short Record Type Definitions / 18.6：
Type Expressions, Revisited / 18.7：
Subtypes / 18.8：
Type Definitions, Revisited / 18.9：
On Recursive Type Definitions / 18.10：
Specification Programming / 18.11：
On Specification Programming
On Problems and Exercises
Applicative Specification Programming / 19：
Scope and Binding / 19.1：
Intuition / 19.2：
Operator/Operand Expressions / 19.3：
Enumerated and Comprehended Expressions / 19.4：
Conditional Expressions / 19.5：
Bindings, Typings, Patterns and Matching / 19.6：
Review and Discussion / 19.7：
Imperative Specification Programming / 19.8：
Imperative Combinators: A [lambda]-Calculus / 20.1：
Variable References: Pointers / 20.3：
Function Definitions and Expressions / 20.4：
Translations: Applicative to Imperative / 20.5：
Styles of Configuration Modelling / 20.6：
Concurrent Specification Programming / 20.7：
Behaviour and Process Abstractions / 21.1：
Communicating Sequential Processes, CSP / 21.2：
The RSL/CSP Process Combinators / 21.4：
Translation Schemas / 21.5：
Parallelism and Concurrency: A Discussion / 21.6：
And So On! / 21.7：
Etcetera! / 22：
What Have We Covered? / 22.1：
What Is Next? / 22.2：
What Is Next-Next? / 22.3：
A Caveat / 22.4：
Formal Methods "Lite" / 22.5：
Appendixes / 22.6：
Common Exercise Topics / A：
Transportation Nets / A.1：
Container Logistics / A.2：
Financial Service Industry / A.3：
Summary References to Exercises / A.4：
Glossary / B：
Categories of Reference Lists / B.1：
Typography and Spelling / B.2：
The Glosses / B.3：
Indexes / C：
Symbols Index / C.1：
Concepts Index / C.2：
Characterisations and Definitions Index / C.3：
Authors Index / C.4：
References
Preface
Reasons for Writing These Volumes
Shortcomings of These Volumes
50.

電子ブック
ＥＢ
50. Software Engineering 2
Dines Bj?rner, Dines Bj?rner, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Preface
Overview
"UML"-ising Formal Techniques
The RAISE Specification Language: RSL
Acknowledgments
Brief Guide to Volume 2
Opening / Part I：
Introduction / 1：
Why This Volume? / 1.1：
Why Master These Principles, Techniques and Tools? / 1.1.2：
What Does This Volume "Contain"? / 1.1.3：
How Does This Volume "Deliver"? / 1.1.4：
Formal Techniques "Lite" / 1.2：
An RSL Primer / 1.3：
Types / 1.3.1：
The RSL Predicate Calculus / 1.3.2：
Concrete RSL Types / 1.3.3：
[lambda]-Calculus+Functions / 1.3.4：
Other Applicative Expressions / 1.3.5：
Imperative Constructs / 1.3.6：
Process Constructs / 1.3.7：
Simple RSL Specifications / 1.3.8：
Bibliographical Notes / 1.4：
Specification Facets / Part II：
Hierarchies and Compositions / 2：
The Issues / 2.1：
Informal Illustrations / 2.1.1：
Formal Illustrations / 2.1.2：
Initial Methodological Consequences / 2.2：
Some Definitions / 2.2.1：
Principles and Techniques / 2.2.2：
The Main Example / 2.3：
A Hierarchical, Narrative Presentation / 2.3.1：
A Hierarchical, Formal Presentation / 2.3.2：
A Compositional, Narrative Presentation / 2.3.3：
A Compositional, Formal Presentation / 2.3.4：
Discussion / 2.4：
Bibliographical Notes: Stanislaw Leshniewski / 2.5：
Exercises / 2.6：
Denotations and Computations / 3：
Computations and Denotations / 3.1：
Syntax and Semantics / 3.1.2：
Characterisations / 3.1.3：
Denotational Semantics / 3.2：
A Simple Example: Numerals / 3.2.1：
The Denotational Principle / 3.2.2：
Expression Denotations / 3.2.3：
GOTO Continuations / 3.2.4：
Discussion of Denotational Semantics / 3.2.5：
Computational Semantics / 3.3：
Two Examples / 3.3.1：
Expression Computations / 3.3.3：
Computational Semantics of GOTO Programs / 3.3.4：
Computational Semantics of Coroutine Programs / 3.3.5：
Review: Denotations and Computations / 3.3.6：
Some Pioneers of Semantics / 3.5：
John McCarthy / 3.5.1：
Peter Landin / 3.5.2：
Configurations: Contexts and States / 3.6：
"Real-World" Contexts and States / 4.1：
A Physical System: Context and State / 4.3.1：
Configurations of Contexts and States / 4.3.2：
Nonphysical System: Context and State / 4.3.3：
Discussion, I / 4.3.4：
Discussion, II / 4.3.5：
First Summary: Contexts and States / 4.4：
General / 4.4.1：
Development Principles and Techniques / 4.4.2：
Programming Language Configurations / 4.5：
Concurrent Process Configurations / 4.6：
The Example / 4.6.1：
Summary / 4.6.2：
Second Summary: Contexts and States / 4.7：
Information States and Behaviour States / 4.8：
Program Flowcharts as State Machine Data / 4.8.1：
Flowcharts [identical with] Machines / 4.8.2：
Flowchart Machines / 4.8.3：
Observations / 4.8.4：
Conclusion / 4.8.5：
Final Summary: Contexts and States / 4.9：
A Crucial Domain and Computing Facet / 4.10：
Time, Space and Space/Time / 5：
Time / 5.1：
Time - The Basics / 5.1.1：
Time - General Issues / 5.1.2：
"A-Series" and "B-Series" Models of Time / 5.1.3：
A Continuum Theory of Time / 5.1.4：
Temporal Events / 5.1.5：
Temporal Behaviour / 5.1.6：
Representation of Time / 5.1.7：
Operations "on" Time / 5.1.8：
Space / 5.2：
Space - The Basics / 5.2.1：
Location-Varying Entities / 5.2.2：
Locations and Dynamicity / 5.2.3：
Space - General Issues / 5.2.4：
Space/Time / 5.3：
A Guiding Example / 5.3.1：
Representation of Space/Time / 5.3.2：
Blizard's Theory of Time-Space / 5.3.3：
Linguistics / 5.4：
Pragmatics / 6：
Everyday Pragmatics / 6.1：
"Formal" Pragmatics / 6.3：
Bibliographical Note / 6.4：
Semantics / 6.6：
Concrete Semantics / 7.1：
"Abstract" Semantics / 7.3：
Preliminary Semantics Concepts / 7.4：
Syntactic and Semantic Types / 7.4.1：
Contexts / 7.4.2：
States / 7.4.3：
Configurations / 7.4.4：
Interpretation, Evaluation and Elaboration / 7.4.5：
Simple Case / 7.5：
Composite Case / 7.5.2：
Macro-expansion Semantics / 7.6：
Rewriting / 7.6.1：
Macro-expansion / 7.6.2：
Inductive Rewritings / 7.6.3：
Fix Point Evaluation / 7.6.4：
Operational and Computational Semantics / 7.7：
Stack Semantics / 7.7.1：
Attribute Grammar Semantics / 7.7.2：
Proof Rule Semantics / 7.8：
Principles, Techniques and Tools / 7.9：
Syntax / 7.10：
Form and Content: Syntax and Semantics / 8.1：
Structure and Contents of This Chapter / 8.1.2：
Sentential Versus Semantical Structures / 8.2：
Examples of Sentential Structures / 8.2.1：
Examples of Semantical Structures / 8.2.3：
The First Abstract Syntax, John McCarthy / 8.3：
Analytic Grammars: Observers and Selectors / 8.3.1：
Synthetic Grammars: Generators / 8.3.2：
BNF Grammars [approximate] Concrete Syntax / 8.4：
BNF Grammars / 8.4.1：
BNF[left and right arrow]RSL Parse Trees Relations / 8.4.2：
Structure Generators and Recognisers / 8.5：
Context-Free Grammars and Languages / 8.5.1：
Parse Trees / 8.5.2：
Regular Expressions and Languages / 8.5.3：
Language Recognisers / 8.5.4：
XML: Extensible Markup Language / 8.6：
An Example / 8.6.1：
Historical Background / 8.6.2：
The Current XML "Craze" / 8.6.4：
XML Expressions / 8.6.5：
XML Schemas / 8.6.6：
References / 8.6.7：
Abstract Syntaxes / 8.7：
Abstract Syntax of a Storage Model / 8.7.1：
Abstract Syntaxes of Other Storage Models / 8.7.2：
Converting RSL Types to BNF / 8.8：
The Problem / 8.8.1：
A Possible Solution / 8.8.2：
Discussion of Informal and Formal Syntax / 8.9：
Semiotics / 8.9.1：
Semiotics = Syntax [plus sign in circle] Semantics [plus sign in circle] Pragmatics / 9.1：
Language Components / 9.2：
Languages and Systems / 9.4：
Professional Languages / 9.5.1：
Metalanguages / 9.5.2：
Systems / 9.5.3：
System Diagram Languages / 9.5.4：
Discussion of System Concepts / 9.5.5：
Systems as Languages / 9.5.6：
Charles Sanders Peirce / 9.6：
Further Specification Techniques / 9.8：
Modularisation / 10：
Some Examples / 10.1：
Preparatory Discussion / 10.1.2：
Structure of Chapter / 10.1.3：
RSL Classes, Objects and Schemes / 10.2：
Introducing the RSL "class" Concept / 10.2.1：
The RSL "class" Concept / 10.2.2：
The RSL "object" Concept / 10.2.3：
The RSL "scheme" Concept / 10.2.4：
RSL "scheme" Parameterisation / 10.2.5：
A "Large-Scale" Example / 10.2.6：
Definitions: Class, Scheme and Object / 10.2.7：
UML and RSL / 10.3：
Overview of UML Diagrams / 10.3.1：
Class Diagrams / 10.3.2：
Example: Railway Nets / 10.3.3：
Comparison of UML and RSL OO Constructs / 10.3.5：
Class Diagram Limitations / 10.3.6：
Modularity Issues / 10.4：
Automata and Machines / 10.4.2：
Discrete State Automata / 11.1：
Intuition / 11.1.1：
Motivation / 11.1.2：
Discrete State Machines / 11.1.3：
Finite State Automata / 11.3：
Regular Expression Language Recognisers / 11.3.1：
Regular Expressions / 11.3.2：
Formal Languages and Automata / 11.3.3：
Automaton Completion / 11.3.4：
Nondeterministic Automata / 11.3.5：
Minimal State Finite Automata / 11.3.6：
Finite State Automata Formalisation, I / 11.3.7：
Finite State Automata Realisation, I / 11.3.8：
Finite State Automaton Formalisation, II / 11.3.9：
Finite State Automata Realisation, II / 11.3.10：
Finite State Automata - A Summary / 11.3.11：
Finite State Machines / 11.4：
Finite State Machine Controllers / 11.4.1：
Finite State Machine Parsers / 11.4.2：
Finite State Machine Formalisation / 11.4.3：
Finite State Machine Realisation / 11.4.4：
Finite State Machines - A Summary / 11.4.5：
Pushdown Stack Devices / 11.5：
Pushdown Stack Automata and Machines / 11.5.1：
Formalisation of Pushdown Stack Machines / 11.5.2：
Pushdown Stack Device Summary / 11.5.3：
Bibliographical Notes: Automata and Machines / 11.6：
Concurrency and Temporality / 11.7：
Petri Nets / Christian Krog Madsen12：
Condition Event Nets (CENs) / 12.1：
Description / 12.2.1：
Small CEN Examples / 12.2.2：
An RSL Model of Condition Event Nets / 12.2.3：
Place Transition Nets (PTNs) / 12.3：
Small PTN Examples / 12.3.1：
An RSL Model of Place Transition Nets / 12.3.3：
Railway Domain Petri Net Examples / 12.3.4：
Coloured Petri Nets (CPNs) / 12.4：
A CPN Example / 12.4.1：
An RSL Model of Coloured Petri Nets / 12.4.3：
Timed Coloured Petri Nets / 12.4.4：
CEN Example: Work Flow System / 12.5：
Project Planning / 12.5.1：
Project Activities / 12.5.2：
Project Generation / 12.5.3：
CPN and RSL Examples: Superscalar Processor / 12.6：
Coloured Petri Net Model / 12.6.1：
RSL Model: Superscalar Processor / 12.6.3：
Message and Live Sequence Charts / 12.7：
Message Sequence Charts / 13.1：
Basic MSCs (BMSCs) / 13.1.1：
High-Level MSCs (HMSCs) / 13.1.3：
An RSL Model of HMSC Syntax / 13.1.4：
MSCs Are HMSCs / 13.1.5：
Syntactic Well-formedness of MSCs / 13.1.6：
An Example: IEEE 802.11 Wireless Network / 13.1.7：
Semantics of Basic Message Sequence Charts / 13.1.8：
Semantics of High-Level Message Sequence Charts / 13.1.9：
Live Sequence Charts: Informal Presentation / 13.2：
Live Sequence Chart Syntax / 13.2.1：
A Live Sequence Chart Example, I / 13.2.2：
Process Algebra / 13.3：
The Process Algebra PA[subscript epsilon] / 13.3.1：
Semantics of PA[subscript epsilon] / 13.3.2：
The Process Algebra PAc[subscript epsilon] / 13.3.3：
Semantics for PAc[subscript epsilon] / 13.3.4：
Algebraic Semantics of Live Sequence Charts / 13.4：
Textual Syntax of Live Sequence Charts / 13.4.1：
Semantics of Live Sequence Charts / 13.4.2：
The Live Sequence Chart Example, II / 13.4.3：
Relating Message Charts to RSL / 13.5：
Types of Integration / 13.5.1：
An RSL Subset / 13.5.2：
Relating Live Sequence Charts to RSL / 13.5.3：
Checking Satisfaction / 13.5.4：
Tool Support / 13.5.5：
Communicating Transaction Processes (CTP) / 13.6：
Narration of CTPs / 13.6.1：
A Dining Philosophers Example / 13.6.3：
Formalisation of CTPs / 13.6.4：
Statecharts / 13.7：
A Narrative Description of Statecharts / 14.1：
An RSL Model of the Syntax of Statecharts / 14.3：
Examples / 14.4：
Railway Line Automatic Blocking / 14.4.1：
Railway Line Direction Agreement System / 14.4.2：
Wireless Rain Gauge / 14.4.3：
A Process Algebra for Statecharts / 14.5：
SPL: The Statechart Process Language / 14.5.1：
Semantics of SPL / 14.5.2：
Equivalence for SPL Terms / 14.5.3：
Semantics of Statecharts / 14.6：
An SPL Semantics for Statecharts / 14.6.1：
Statechart Example / 14.6.2：
Relating Statecharts to RSL / 14.7：
Syntactical Restrictions / 14.7.1：
Satisfaction Relation / 14.7.2：
Quantitative Models of Time / 14.7.3：
Soft Temporalities / 15.1：
Hard Temporalities / 15.1.2：
Soft and Hard Real-Time / 15.1.3：
Examples - "Ye Olde Way"! / 15.1.4：
Structure of This Chapter / 15.1.5：
Temporal Logic / 15.2：
A Philosophical Linguistics Background / 15.2.1：
Interval Temporal Logic, ITL / 15.2.3：
The Classic Temporal Operators: [diamond], [square] / 15.2.4：
The Duration Calculus / 15.3：
Examples, Part I / 15.3.1：
Some Basic Notions / 15.3.2：
Examples, Part II / 15.3.3：
The Syntax / 15.3.4：
The Informal Semantics / 15.3.5：
Examples, Part III / 15.3.6：
Transitions and Events / 15.3.7：
Discussion: From Domains to Designs / 15.3.8：
TRSL: RSL with Timing / 15.4：
TRSL Design Criteria / 15.4.1：
The TRSL Language / 15.4.2：
Another Gas Burner Example / 15.4.3：
RSL with Timing and Durations / 15.4.4：
Review of TRSL / 15.5.1：
TRSL and Duration Calculus / 15.5.2：
Interpreter and Compiler Definitions / 15.6：
SAL: Simple Applicative Language / 16：
A Caveat / 16.1：
The SAL Syntax / 16.2：
Informal Exposition of SAL Syntax / 16.2.1：
Formal Exposition of SAL Syntax / 16.2.2：
Comments / 16.2.3：
A Denotational Semantics / 16.3：
An Informal Semantics / 16.3.1：
A Formal Semantics / 16.3.2：
Review of SAL Semantics, 1 / 16.3.3：
Two Asides / 16.3.4：
A First-Order Applicative Semantics / 16.4：
Syntactic Types / 16.4.1：
Semantic Types / 16.4.2：
Abstraction Functions / 16.4.3：
Auxiliary Functions / 16.4.4：
Semantic Functions / 16.4.5：
Review / 16.4.6：
Review of SAL Semantics, 2 / 16.4.7：
An Abstract, Imperative Stack Semantics / 16.5：
Design Decisions - Informal Motivation / 16.5.1：
Semantics Style Observations / 16.5.2：
Run-Time Functions / 16.5.3：
Review of SAL Semantics, 3 / 16.5.7：
A Macro-expansion Semantics / 16.6：
Analysis of Stack Semantics / 16.6.1：
Compile-Time Types / 16.6.2：
Run-Time Semantic Types / 16.6.4：
Run-Time State / 16.6.5：
Run-Time Stack Operations / 16.6.6：
Run-Time Stack Search for Variable Values / 16.6.7：
Macro-expansion Functions / 16.6.8：
Review of SAL Semantics, 4 / 16.6.9：
ASM: An Assembler Language / 16.7：
The Computer State / 16.7.1：
The Address Concept / 16.7.3：
Machine Instructions / 16.7.4：
Machine Semantics / 16.7.5：
Review of ASM / 16.7.6：
A Compiling Algorithm / 16.8：
Compile-Time Types and State / 16.8.1：
Compile-Time Dynamic Function / 16.8.3：
Compile-Time Static Function / 16.8.4：
Run-Time Constant Values / 16.8.5：
Compilation Functions / 16.8.6：
Review of Compiling Algorithm / 16.8.7：
An Attribute Grammar Semantics / 16.9：
Abstract Syntactic Types / 16.9.1：
SAL BNF Grammar, 1 / 16.9.2：
Node Attributes / 16.9.3：
Constants / 16.9.4：
Some Typographical Distinctions / 16.9.5：
Review of Attribute Semantics, 1 / 16.9.6：
Another Attribute Grammar Semantics / 16.10：
SAL BNF Grammar, 2 / 16.10.1：
Global Variables / 16.10.3：
Review of Attribute Semantics, 2 / 16.10.4：
Review and Bibliographical Notes / 16.11：
SIL: Simple Imperative Language / 16.13：
The Background / 17.1：
Concrete, Schematic Syntax / 17.2：
Abstract Syntax / 17.2.2：
Imperative Denotational Semantics / 17.3：
Auxiliary Semantic Functions / 17.3.1：
Compile-Time Semantic Types / 17.3.3：
Run-Time State Declaration and Initialisation / 17.4.3：
Macros / 17.4.5：
SMIL: Simple Modular, Imperative Language / 17.5：
Compile/Run-Time Semantic Types / 18.1：
SPIL: Simple Parallel, Imperative Language / 18.3.3：
Informal Syntax / 19.1：
Formal Syntax / 19.2.2：
Process Concepts and Semantic Types / 19.3：
Syntactic Notions / 19.3.1：
Machines and Interpreters / 19.3.2：
Semantic Notions and Types / 19.3.3：
Process-Oriented Semantic Types / 19.4：
Unique Process Identifiers [pi] : [Pi] / 19.4.1：
The Heap [xi] : [Xi] / 19.4.2：
Input/Output Channel Bindings / 19.4.3：
Environments [rho] : ENV / 19.4.4：
State Composition [Psi], [Gamma], [Xi], [Sigma], [Omega] / 19.4.5：
Initial and Auxiliary Semantic Functions / 19.5：
Start Function / 19.5.1：
System Function / 19.5.2：
Bind and Allocate Functions / 19.5.3：
Free and Bound Functions / 19.5.4：
Distribute Function / 19.5.5：
Transition Loop / 19.5.6：
The Next-State Transition Function / 19.6：
The Assignment Statement / 19.6.2：
The case Statement / 19.6.3：
The while Loop / 19.6.4：
The repeat until Loop / 19.6.5：
Simple Input/Output Processes / 19.6.6：
The Parallel Process Command, [double vertical line] / 19.6.7：
The stop Process Technicality / 19.6.8：
The Process call Command / 19.6.9：
Internal Nondeterministic Processes, [characters not reproducible] / 19.6.10：
External Nondeterministic Processes, [characters not reproducible] / 19.6.11：
Nondeterministic Input/Output Processes / 19.6.12：
The Embedded System Process Command / 19.6.13：
A finish Process Technicality / 19.6.14：
Closing / 19.7：
A Summary / 20：
Conclusion: Volumes 1 and 2 / 20.2：
Preview of Volume 3 / 20.3：
Appendixes / 20.4：
Naming Convention / A：
Indexes / B：
Symbols Index / B.1：
Time/Space / B.1.1：
Modular RSL / B.1.2：
Live Sequence Charts / B.1.3：
Temporal Logics / B.1.6：
Duration Calculus / B.1.8：
Timed RSL: TRSL / B.1.9：
Abbreviations / B.1.10：
Concepts Index / B.2：
Characteriations and Definitions Index / B.3：
Authors Index / B.4：
Preface
Overview
"UML"-ising Formal Techniques
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼