|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 42 publication records. Showing 42 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mauro Pezzè (eds.) |
Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Giuseppe Lipari, Paolo Gai, Michael Trimarchi, Giacomo Guidi, Paolo Ancilotti |
A Hierarchical Framework for Component-based Real-time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 253-266, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pierfrancesco Bellini, Paolo Nesi, Davide Rogai |
Validating Component Integration with C-TILCO: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 241-252, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ana R. Cavalli, Stéphane Maag, Sofia Papagiannaki, Georgios Verigakis |
From UML models to automatic generated tests for the dotLRN e-learning platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 133-144, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Marc Lohmann |
Towards Contract-based Testing of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 145-156, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Lavazza, Sandro Morasca, Angelo Morzenti |
A Dual Language Approach to the Development of Time-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 227-239, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Pezzè |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 1-2, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi, Fabio Mancinelli, Patrizio Pelliccione |
A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 31-44, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Carlo A. Furia, Matteo Rossi |
A Compositional Framework for Formally Verifying Modular Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 185-198, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nguyen Thanh Binh 0002, Michel Delaunay, Chantal Robach |
Testability Analysis of Data-Flow Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 213-225, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Logozzo |
An Approach to Behavioral Subtyping Based on Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 157-170, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai |
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 113-131, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore |
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 199-211, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Luciano Baresi, Michal Young |
Toward Translating Design Constraints to Run-Time Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 73-84, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Baldini, Alfredo Benso, Paolo Prinetto |
A Dependable Autonomic Computing Environment for Self-Testing of Complex Heterogeneous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 47-57, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lars-Ola Damm, Lars Lundberg, David Olsson |
Introducing Test Automation and Test-Driven Development: An Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 3-15, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Bertolino, Eda Marchetti, Henry Muccini |
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 85-97, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Prenninger, Alexander Pretschner |
Abstractions for Model-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 59-71, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Denaro, Leonardo Mariani |
Towards Testing and Analysis of Systems that Use Serialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 171-184, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mariani, Mauro Pezzè |
A Technique for Verifying Component-Based Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 17-30, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michele Banci, Marcello Becucci, Alessandro Fantechi, Emilio Spinicci |
Validation Coverage for a Component-based SDL model of a Railway Signaling System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 99-111, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè |
Design for Testability for Highly Reconfigurable Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 199-208, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Denaro, Leonardo Mariani, Mauro Pezzè |
Self-Test Components for Highly Reconfigurable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 89-98, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Bertolino, Raffaela Mirandola |
Modeling and Analysis of Non-functional Properties in Component-based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 158-168, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ana M. Roldán, Ernesto Pimentel 0001, Antonio Brogi |
Safe Composition of Linda-based Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 180-189, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Gerhard Groß, Nikolas Mayer |
Built-In Contract Testing in Component Integration Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 22-32, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | James Skene, Wolfgang Emmerich |
Model Driven Performance Analysis of Enterprise Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 147-157, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Charalampos Z. Patrikakis, Thomas Kalamaris, Vaios Kakavas |
Performing integrated system tests using Malicious Component Insertion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 11-21, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Pretschner |
Compositional Generation of MC/DC Integration Test Suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 1-10, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bartosz Lawniczek, Grzegorz Majka, Pawel Slowikowski, Krzysztof Zielinski, Slawomir Zielinski |
Grid Infrastructure Monitoring Service Framework Jiro/JMX Based Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 77-88, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Marc Lohmann |
Towards Model-Driven Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 33-43, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Henry Muccini, André van der Hoek |
Towards Testing Product Line Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 99-109, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | A. S. M. Sajeev, Bugi Wibowo |
UML Modeling for Regression Testing of Component Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 190-198, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mariani |
A Fault Taxonomy for Component-Based Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 55-65, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Lavazza, Sandro Morasca, Angelo Morzenti |
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 121-132, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Kiyohito Itoh, Hiromi Kobayashi |
A Safety Mechanism Using Software Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 110-120, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Lipari, Enrico Bini, Gerhard Fohler |
A Framework for Composing Real-Time Schedulers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 133-146, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Bertolino, Eda Marchetti, Andrea Polini |
Integration of "Components" to Test Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 44-54, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ismael Rodríguez, Fernando Rubio 0001 |
A Framework for Selecting Components Automatically: A First Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 169-179, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Pezzè |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 209-210, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Fantechi, Emilio Spinicci |
Modelling and Validating a multiple-configuration railway signalling system using SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 66-76, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Pezzè (eds.) |
International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
Displaying result #1 - #42 of 42 (100 per page; Change: )
|
|