Web Service Development

Verification Pattern

Blade: ASU Proof Slicing Model Checker

WebStar

Simulation

Embedded System

Dynamic Composition Service

C&C Analysis

Swiss Cheese

Service Oriented Requirement Engineering

High School Project

Robotics

Phoenix Project

Robotics Challenge

Robotics Playground

Web Service Testing Resource

Web Service Analysis

Modeling

Simulation & Code Generation

Service Oriented Architecture