Model-driven development with predictable quality

  • Authors:
  • James Ivers;Gabriel A. Moreno

  • Affiliations:
  • Carnegie Mellon Software Engineering Institute, Pittsburgh, PA;Carnegie Mellon Software Engineering Institute, Pittsburgh, PA

  • Venue:
  • Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.