Predictability by construction

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

Volumn 2005-January, Issue , 2005, Pages 134-135

  Merson, Paulo ^a   Hissam, Scott ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

components; model checking; performance; predictable assembly

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS;

COMPONENT; COMPONENT BASED SYSTEMS; MODELS CHECKING; OTHER PROPERTIES; PERFORMANCE; PERFORMANCE PROPERTIES; PREDICTABLE ASSEMBLY; REAL - TIME SYSTEM; SAFETY PROPERTY; SOFTWARE ENGINEERING INSTITUTES;

MODEL CHECKING;

EID: 34748837441     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1094855.1094900     Document Type: Conference Paper

References (4)

1. Bass, L., Ivers, J., Klein, M, and Merson, P. Reasoning Frameworks. CMU/SEI-2005-TR-007, Software Engineering Institute, Pittsburgh, PA, 2005.
2. Hissam, S., Klein, M., Lehoczky, J., Merson, P., Moreno, G., and Wallnau, K. Performance Property Theories for Predictable Assembly from Certifiable Components (PACC). CMU/SEI-2004-TR-017, Software Engineering Institute, Pittsburgh, PA, 2004.
3. Ivers, J., and Sharygina, N. Overview of ComFoRT: A Model Checking Reasoning Framework. CMU/SEI-2004-TN-018, Software Engineering Institute, Pittsburgh, PA, 2004.
4. Wallnau, K, and Ivers, J. Snapshot of CCL: A Language for Predictable Assembly. CMU/SEI-2003-TN-025, Software Engineering Institute, Pittsburgh, PA, 2003.