PACC Starter Kit: Developing Software with Predictable Behavior

摘要

The PACC Starter Kit is an Eclipse-based development environment that combines a model-driven development approach with reasoning frameworks that apply performance, safety, and security analyses. These analyses predict runtime behavior based on specifications of component behavior and are accompanied by some measure of confidence.