Skip to main navigation
Skip to search
Skip to main content
Illinois Experts Home
LOGIN & Help
Link opens in a new tab
Search content at Illinois Experts
Home
Profiles
Research units
Research & Scholarship
Datasets
Honors
Press/Media
Activities
Techniques for executing and reasoning about specification diagrams
Prasanna Thati
, Carolyn Talcott
,
Gul Agha
Center for South Asian and Middle Eastern Studies
Siebel School of Computing and Data Science
Research output
:
Chapter in Book/Report/Conference proceeding
›
Chapter
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Techniques for executing and reasoning about specification diagrams'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Levels of Abstraction
100%
May Testing
100%
Recursion
50%
System Behavior
50%
High-level Specification
50%
Implementation Details
50%
Message Passing
50%
Object-oriented Systems
50%
Abstract Specification
50%
Finitary
50%
Equivalence Testing
50%
Distributed Objects
50%
Semantic Characterization
50%
Passing Behavior
50%
Low-level Implementation
50%
Graphical Notation
50%
Process Equivalence
50%
Computer Science
Implementation Detail
100%
System Behavior
100%
Message Passing
100%
Distributed Object
100%
Graphical Notation
100%