SAVCBS@ESEC/FSE

Keyphrases

Publications

2005

Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005 SAVCBS@ESEC/FSE (2005)
Patrice Chalin, Frédéric Rioux
Non-null references by default in the Java modeling language. SAVCBS@ESEC/FSE (2005)
Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu
Assume-guarantee testing. SAVCBS@ESEC/FSE (2005)
Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego
Constraint satisfaction techniques for diagnosing errors in design by contract software. SAVCBS@ESEC/FSE (2005)
Konstantin Chekin
Theory of infinite streams and objects. SAVCBS@ESEC/FSE (2005)
Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova
Component-interaction automata as a verification-oriented component-based system specification. SAVCBS@ESEC/FSE (2005)
Philippe Bidinger, Matthieu Leclercq, Vivien Quéma, Alan Schmitt, Jean-Bernard Stefani
Dream types: a domain specific type system for component-based message-oriented middleware. SAVCBS@ESEC/FSE (2005)
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
A categorical characterization for the compositional features of the # component model. SAVCBS@ESEC/FSE (2005)
Gabriel Ciobanu, Dorel Lucanu
A specification language for coordinated objects. SAVCBS@ESEC/FSE (2005)
Pedro L. Pérez-Serrano, Marisol Sánchez-Alonso
Specification and design of component-based coordination systems by integrating coordination patterns. SAVCBS@ESEC/FSE (2005)
Markus Lumpe, Jean-Guy Schneider
Classboxes: an experiment in modeling compositional abstractions using explicit contexts. SAVCBS@ESEC/FSE (2005)
Jing Xu, Alexandre Oufimtsev, C. Murray Woodside, Liam Murphy
Performance modeling and prediction of enterprise JavaBeans with layered queuing network templates. SAVCBS@ESEC/FSE (2005)
Abdelaziz Guerrouat, Harald Richter
A component-based specification approach for embedded systems using FDTs. SAVCBS@ESEC/FSE (2005)
Montse Ereño, Uxue Landa, Rebeca Cortazar
Software product lines structuring based upon market demands. SAVCBS@ESEC/FSE (2005)
Nguyen Truong Thang, Takuya Katayama
Specification and verification of inter-component constraints in CTL. SAVCBS@ESEC/FSE (2005)
Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev
A specification-based approach to reasoning about pointers. SAVCBS@ESEC/FSE (2005)