Abstract is missing.
- Assume-guarantee testingColin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu. 1 [doi]
- Dream types: a domain specific type system for component-based message-oriented middlewarePhilippe Bidinger, Matthieu Leclercq, Vivien Quéma, Alan Schmitt, Jean-Bernard Stefani. 2 [doi]
- A specification language for coordinated objectsGabriel Ciobanu, Dorel Lucanu. 3 [doi]
- Component-interaction automata as a verification-oriented component-based system specificationLubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova. 4 [doi]
- Performance modeling and prediction of enterprise JavaBeans with layered queuing network templatesJing Xu 0024, Alexandre Oufimtsev, C. Murray Woodside, Liam Murphy 0001. 5 [doi]
- Classboxes: an experiment in modeling compositional abstractions using explicit contextsMarkus Lumpe, Jean-Guy Schneider. 6 [doi]
- A specification-based approach to reasoning about pointersGregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev. 7 [doi]
- Specification and verification of inter-component constraints in CTLNguyen Truong Thang, Takuya Katayama. 8 [doi]
- Non-null references by default in the Java modeling languagePatrice Chalin, Frédéric Rioux. 9 [doi]
- Specification and design of component-based coordination systems by integrating coordination patternsPedro L. Pérez-Serrano, Marisol Sánchez-Alonso. 10 [doi]
- Constraint satisfaction techniques for diagnosing errors in design by contract softwareRafael Ceballos, Rafael Martinez Gasca, Diana Borrego. 11 [doi]
- A categorical characterization for the compositional features of the # component modelFrancisco Heron de Carvalho Junior, Rafael Dueire Lins. 12 [doi]
- Software product lines structuring based upon market demandsMontse Ereño, Uxue Landa, Rebeca Cortazar. 13 [doi]
- A component-based specification approach for embedded systems using FDTsAbdelaziz Guerrouat, Harald Richter 0001. 14 [doi]
- Theory of infinite streams and objectsKonstantin Chekin. 15 [doi]