Software Engineering

Table of Contents

• Behavorial Interface Specification
• Finite State Machine Extraction
  • Full Paper
  • Extended Abstract
• Ground Models and Requirements
• Runtime Verification of COM
• Runtime Verification of .NET
• Synthesizing ASMs from Requirements

---

Jim Huggins / huggins@acm.org

URL: http://www.eecs.umich.edu/ealgebras/subjects/softeng.html (page only)
last update: Thursday, 03-Apr-2008 13:04:53 EDT