|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@ESEC/FSE ![In: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005, pp. 9, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu |
Assume-guarantee testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@ESEC/FSE ![In: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005, pp. 1, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego |
Constraint satisfaction techniques for diagnosing errors in design by contract software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@ESEC/FSE ![In: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005, pp. 11, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Konstantin Chekin |
Theory of infinite streams and objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@ESEC/FSE ![In: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005, pp. 15, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@ESEC/FSE ![In: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005, pp. 4, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@ESEC/FSE ![In: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005, pp. 2, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@ESEC/FSE ![In: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005, pp. 12, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Dorel Lucanu |
A specification language for coordinated objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@ESEC/FSE ![In: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005, pp. 3, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@ESEC/FSE ![ACM The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@ESEC/FSE ![In: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005, pp. 10, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Markus Lumpe, Jean-Guy Schneider |
Classboxes: an experiment in modeling compositional abstractions using explicit contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@ESEC/FSE ![In: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005, pp. 6, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@ESEC/FSE ![In: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005, pp. 5, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Abdelaziz Guerrouat, Harald Richter 0001 |
A component-based specification approach for embedded systems using FDTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@ESEC/FSE ![In: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005, pp. 14, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Montse Ereño, Uxue Landa, Rebeca Cortazar |
Software product lines structuring based upon market demands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@ESEC/FSE ![In: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005, pp. 13, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nguyen Truong Thang, Takuya Katayama |
Specification and verification of inter-component constraints in CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@ESEC/FSE ![In: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005, pp. 8, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev |
A specification-based approach to reasoning about pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@ESEC/FSE ![In: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005, pp. 7, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|