A01=Paul C. Jorgensen
academic software testing
advanced behavioral modeling for engineers
Author_Paul C. Jorgensen
behavioral system analysis
Category=UMZ
Coin E2
computational engineering models
Concurrent Regions
context
Context Sensitive Input Events
David Harel
Decision Tables
Dial Position
discrete event simulation
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
espresso
Espresso Vending Machine
Event Driven Petri Nets
Event Quiescence
events
Execution Table
Finite State Machines
finite-state
formal verification methods
Initial Marking
input
Input Events
Input Places
machine
Move Dial
Move Lever
Multiple Context Output Events
net
NextDate Function
Ordinary Petri Nets
Output Events
petri
Petri Net
Petri Net Markings
Port Input Events
sensitive
software modeling techniques
Statechart Notation
System Level Input
vending
Product details
- ISBN 9780367446048
- Weight: 453g
- Dimensions: 156 x 234mm
- Publication Date: 02 Dec 2019
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
This book provides engineers, developers, and technicians with a detailed treatment of various models of software behavior that will support early analysis, comprehension, and model-based testing. The expressive capabilities and limitations of each behavioral model are also discussed.
Jorgensen, Paul C.
