- Joan Krone, William F. Ogden, Murali Sitaraman:
Performance analysis based upon complete profiles. SAVCBS@FSE 2006: 3-10 - Gregory Kulczycki, Jyotindra Vasudeo:
Simplifying reasoning about objects with Tako. SAVCBS@FSE 2006: 57-64 - Andrew McVeigh, Jeff Kramer, Jeff Magee:
Using resemblance to support component reuse and evolution. SAVCBS@FSE 2006: 49-56 - Hendrik Post, Wolfgang Küchlin:
Automatic data environment construction for static device drivers analysis. SAVCBS@FSE 2006: 89-92 - Alexander Ufimtsev, Liam Murphy
:
Performance modeling of a JavaEE component application using layered queuing networks: revised approach and a case study. SAVCBS@FSE 2006: 11-18 - Bruce W. Weide:
SAVCBS 2006 challenge: specification of iterators. SAVCBS@FSE 2006: 75-77 - Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, SAVCBS '06, Portland, Oregon, USA, November 10-11, 2006. ACM 2006 [contents]
- 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: 5 - 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: 2 - Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu:
Assume-guarantee testing. SAVCBS@ESEC/FSE 2005: 1 - Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerová:
Component-interaction automata as a verification-oriented component-based system specification. SAVCBS@ESEC/FSE 2005: 4 - Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego:
Constraint satisfaction techniques for diagnosing errors in design by contract software. SAVCBS@ESEC/FSE 2005: 11 - Patrice Chalin, Frédéric Rioux:
Non-null references by default in the Java modeling language. SAVCBS@ESEC/FSE 2005: 9 - Konstantin Chekin:
Theory of infinite streams and objects. SAVCBS@ESEC/FSE 2005: 15 - Gabriel Ciobanu, Dorel Lucanu:
A specification language for coordinated objects. SAVCBS@ESEC/FSE 2005: 3 - Montse Ereño, Uxue Landa, Rebeca Cortazar:
Software product lines structuring based upon market demands. SAVCBS@ESEC/FSE 2005: 13 - Abdelaziz Guerrouat, Harald Richter:
A component-based specification approach for embedded systems using FDTs. SAVCBS@ESEC/FSE 2005: 14 - Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
A categorical characterization for the compositional features of the # component model. SAVCBS@ESEC/FSE 2005: 12 - Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev:
A specification-based approach to reasoning about pointers. SAVCBS@ESEC/FSE 2005: 7 - Markus Lumpe, Jean-Guy Schneider:
Classboxes: an experiment in modeling compositional abstractions using explicit contexts. SAVCBS@ESEC/FSE 2005: 6 - 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: 10 - Nguyen Truong Thang, Takuya Katayama:
Specification and verification of inter-component constraints in CTL. SAVCBS@ESEC/FSE 2005: 8 - Gary T. Leavens:
Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005. ACM 2005 [contents]
