Model-driven development with predictable quality

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2007, Pages 874-875

  Ivers, James ^a   Moreno, Gabriel A ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Components; Model checking; Model driven development; Performance; Predictable assembly

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; LINGUISTICS; NEODYMIUM; SPECIFICATIONS; SYSTEMS ANALYSIS;

COMPONENT BEHAVIOR; DEVELOPMENT ENVIRONMENTS; ECLIPSE (CO); INTERNATIONAL CONFERENCES; LANGUAGES (TRADITIONAL); MODEL-DRIVEN DEVELOPMENT (MDD); OBJECT-ORIENTED PROGRAMMING; RUN TIME;

OBJECT ORIENTED PROGRAMMING;

EID: 42149097873     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1297846.1297933     Document Type: Conference Paper

References (8)

1. S. Chaki, E. M. Clarke, J. Ouaknine, N. Sharygina, and N. Sinha. State/Event-Based Software Model Checking, volume 2999, pages 128-147.
2. S. Chaki, J. Ivers, P. Lee, K. Wallnau, and N. Zeilberger. Certified binaries for software components. Technical Report CMU/SEI-2007-TR-001, Software Engineering Institute, Pittsburgh, PA, 2007.
3. M. Gonzalez Harbour, M. Klein, and J. Lehoczky. Timing analysis for fixed-priority scheduling of hard real-time systems. IEEE Trans. Softw. Eng., 20(1): 13-28, 1994.
4. S. Hissam, J. Ivers, D. Plakosh, and K. C. Wallnau. Pin component technology (V1.0) and its C interface. Technical Note CMU/SEI-2005-TN-001, Software Engineering Institute, Pittsburgh, PA, 2005.
5. S. Hissam, M. Klein, J. Lehoczky, P. Merson, G. Moreno, and K. Wallnau. Performance property theories for predictable assembly from certifiable components (PACC). Technical Report CMU/SEI-2004-TR-017, Software Engineering Institute, Pittsburgh, PA, September 2004.
6. J. Ivers and N. Sharygina. Overview of ComFoRT: A model checking reasoning framework. Technical Note CMU/SEI-2004-TN-018, Software Engineering Institute, Pittsburgh, PA, 2004.
7. M. H. Klein, T. Ralya, B. Pollak, R. Obenza, and M. Gonzalez Harbour. A practitioner's handbook for real-time analysis. Kluwer Academic Publishers, Norwell, MA, USA, 1993.
8. K. Wallnau and J. Ivers. Snapshot of CCL: A language for predictable assembly. Technical Note CMU/SEI-2003-TN-025, Software Engineering Institute, Pittsburgh, PA, 2003.