|
|
Sold Out
Book Categories |
OUTLINE
1. Motivation
1.1 The Need for Computer Based Verification
1.2 The Desired Process Triangle
1.3 The Need for Integration: UML Statecharts and Formal Specifications
2. Assertion Languages, Applications, and Tools
2.1 Primary Assertion/Specification Languages: Temporal Logic and Statecharts
2.2 Applications: formal methods, run-time monitoring
2.2.1 Classical Formal Methods.
2.2.2 Runtime Monitoring and Verification.
2.2.3 Automatic Test Generation and Execution-based Model Checking.
2.2.4 Run-time Control Flow using Assertions (Exception Handling)
2.3 Writing Temporal Logic Assertions: the Process
2.4 Tools
3. Integration: UML-Statecharts Integrated with Temporal Logic Assertions
3.1 Statechart Specifications
3.2 TLCharts
3.3. Tools
4. Advanced Topics
4.1 Petri Nets for Distributed Systems.
4.2 Other Specification Languages: CTL, CTL+, Z.
4.3 Automata over Infinite Sequences.
4.4. Automata and Semigroups.
4.5 LTL vs. First Order Logic and SQL, LTL vs. Regular Expressions.
4.6 LTL and Statechart Semantics.
4.6 Knowledge Monitoring.
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Justin Mendez
reviewed Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking on July 28, 2015
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Section 3 "The principles of object-oriented design" are still very relevant - especially chapter 8 on Encapsulation and Connasence, Chapter 9 Domains, Encumberance, and Cohesion and Chapter 11 The Perils of Inheritance and Polymorphism
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
X
This Item is in Your Inventory
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
X
You must be logged in to review the productsX
X
X
Add Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking, As systems being developed by industry and government grow larger and more complex, the need for superior specification and verification approaches and tools becomes increasingly vital. The developer and customer must have complete confidence that the des, Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking to the inventory that you are selling on WonderClubX
X
Add Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking, As systems being developed by industry and government grow larger and more complex, the need for superior specification and verification approaches and tools becomes increasingly vital. The developer and customer must have complete confidence that the des, Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking to your collection on WonderClub |
