Spying on Components:
A Runtime Verification Technique
Mike Barnett, Microsoft Research
Wolfram Schulte, Microsoft Research
Toward Reflective Metadata
Wrappers for Formally Specified Software Components
Stephen H. Edwards, Virginia Tech.
Using Message
Sequence Charts for Component-based Formal Verification
Bernd Finkbeiner, Stanford University
Ingolf Krüger, Technical University of Munich
Specification and Verification
with References
Bruce W. Weide, The Ohio State University
Wayne Heym, The Ohio State University
Modular
Verification of Performance Correctness
Joan Krone, Denison University
William F. Ogden, The Ohio State University
Murali Sitaraman, Clemson University
A
Framework for Formal Component-Based Software Architecting
M.R.V. Chaudron, Technische Universiteit Eindhoven
E.M. Eskenazi, Technische Universiteit Eindhoven
A.V. Fioukov, Technische Universiteit Eindhoven
D.K. Hammer, Technische Universiteit Eindhoven
Type Handling in a Fully
Integrated Programming and Specification Language
Gregory Kulczycki, Clemson University
A Formal Approach to Software Component Specification
Kung-Kiu Lau, University of Manchester
Mario Ornaghi, Università degli studi di Milano
A Pi-Calculus based Framework
for the Composition and Replacement of Components
Claus Pahl, Dublin City University
Analysis
of Component-Based Systems - An Automated Theorem Proving Approach
Murali Rangarajan, Honeywell Technology Center
Perry Alexander, The University of Kansas
A Component
Oriented Notation for Behavioral Specification and Validation
Isabelle Ryl, Université des Sciences et Technologies de
Lille
Mireille Clerbout, Université des Sciences et Technologies
de Lille
Arnaud Bailly, Université des Sciences et Technologies de
Lille
ACOEL on CORAL: A COmponent
Requirement and Abstraction Language
Vugranam C. Sreedhar, IBM TJ Watson Research Center
Non-Functional Requirements
in a Component Model for Embedded Systems
Roel Wuyts, Universität Bern
Stéphane Ducasse, Universität Bern