default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSAVCBS@ESEC/FSE 2005: Lisbon, Portugal
- 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 - Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu:
Assume-guarantee testing. 1 - 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. 2 - Gabriel Ciobanu, Dorel Lucanu:
A specification language for coordinated objects. 3 - Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerová:
Component-interaction automata as a verification-oriented component-based system specification. 4 - Jing Xu, Alexandre Oufimtsev, C. Murray Woodside, Liam Murphy
:
Performance modeling and prediction of enterprise JavaBeans with layered queuing network templates. 5 - Markus Lumpe, Jean-Guy Schneider:
Classboxes: an experiment in modeling compositional abstractions using explicit contexts. 6 - Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev:
A specification-based approach to reasoning about pointers. 7 - Nguyen Truong Thang, Takuya Katayama:
Specification and verification of inter-component constraints in CTL. 8 - Patrice Chalin, Frédéric Rioux:
Non-null references by default in the Java modeling language. 9 - Pedro L. Pérez-Serrano, Marisol Sánchez-Alonso:
Specification and design of component-based coordination systems by integrating coordination patterns. 10 - Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego:
Constraint satisfaction techniques for diagnosing errors in design by contract software. 11 - Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
A categorical characterization for the compositional features of the # component model. 12 - Montse Ereño, Uxue Landa, Rebeca Cortazar:
Software product lines structuring based upon market demands. 13 - Abdelaziz Guerrouat, Harald Richter:
A component-based specification approach for embedded systems using FDTs. 14 - Konstantin Chekin:
Theory of infinite streams and objects. 15
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-15 00:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
