|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Patrice Chalin, Frédéric Rioux |
Non-null references by default in the Java modeling language.  |
SAVCBS@ESEC/FSE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu |
Assume-guarantee testing. |
SAVCBS@ESEC/FSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego |
Constraint satisfaction techniques for diagnosing errors in design by contract software. |
SAVCBS@ESEC/FSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Chekin |
Theory of infinite streams and objects. |
SAVCBS@ESEC/FSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 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 |
DBLP DOI BibTeX RDF |
|
| 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. |
SAVCBS@ESEC/FSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Heron de Carvalho Junior, Rafael Dueire Lins |
A categorical characterization for the compositional features of the # component model. |
SAVCBS@ESEC/FSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Dorel Lucanu |
A specification language for coordinated objects. |
SAVCBS@ESEC/FSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens (eds.) |
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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lumpe, Jean-Guy Schneider |
Classboxes: an experiment in modeling compositional abstractions using explicit contexts. |
SAVCBS@ESEC/FSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Xu 0024, Alexandre Oufimtsev, C. Murray Woodside, Liam Murphy 0001 |
Performance modeling and prediction of enterprise JavaBeans with layered queuing network templates. |
SAVCBS@ESEC/FSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelaziz Guerrouat, Harald Richter 0001 |
A component-based specification approach for embedded systems using FDTs. |
SAVCBS@ESEC/FSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Montse Ereño, Uxue Landa, Rebeca Cortazar |
Software product lines structuring based upon market demands. |
SAVCBS@ESEC/FSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nguyen Truong Thang, Takuya Katayama |
Specification and verification of inter-component constraints in CTL. |
SAVCBS@ESEC/FSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev |
A specification-based approach to reasoning about pointers. |
SAVCBS@ESEC/FSE |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license