|
|
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 |
TACoS |
2005 |
DBLP BibTeX RDF |
|
1 | Giuseppe Lipari, Paolo Gai, Michael Trimarchi, Giacomo Guidi, Paolo Ancilotti |
A Hierarchical Framework for Component-based Real-time Systems. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pierfrancesco Bellini, Paolo Nesi, Davide Rogai |
Validating Component Integration with C-TILCO: A Case Study. |
TACoS |
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. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Marc Lohmann |
Towards Contract-based Testing of Web Services. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Lavazza, Sandro Morasca, Angelo Morzenti |
A Dual Language Approach to the Development of Time-Critical Systems. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Pezzè |
Preface. |
TACoS |
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. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Carlo A. Furia, Matteo Rossi |
A Compositional Framework for Formally Verifying Modular Systems. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nguyen Thanh Binh 0002, Michel Delaunay, Chantal Robach |
Testability Analysis of Data-Flow Software. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Logozzo |
An Approach to Behavioral Subtyping Based on Static Analysis. |
TACoS |
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. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore |
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Luciano Baresi, Michal Young |
Toward Translating Design Constraints to Run-Time Assertions. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Baldini, Alfredo Benso, Paolo Prinetto |
A Dependable Autonomic Computing Environment for Self-Testing of Complex Heterogeneous Systems. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lars-Ola Damm, Lars Lundberg, David Olsson |
Introducing Test Automation and Test-Driven Development: An Experience Report. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Bertolino, Eda Marchetti, Henry Muccini |
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Prenninger, Alexander Pretschner |
Abstractions for Model-Based Testing. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Denaro, Leonardo Mariani |
Towards Testing and Analysis of Systems that Use Serialization. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mariani, Mauro Pezzè |
A Technique for Verifying Component-Based Software. |
TACoS |
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. |
TACoS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè |
Design for Testability for Highly Reconfigurable Component-Based Systems. |
TACoS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Denaro, Leonardo Mariani, Mauro Pezzè |
Self-Test Components for Highly Reconfigurable Systems. |
TACoS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Bertolino, Raffaela Mirandola |
Modeling and Analysis of Non-functional Properties in Component-based Systems. |
TACoS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ana M. Roldán, Ernesto Pimentel 0001, Antonio Brogi |
Safe Composition of Linda-based Components. |
TACoS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Gerhard Groß, Nikolas Mayer |
Built-In Contract Testing in Component Integration Testing. |
TACoS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | James Skene, Wolfgang Emmerich |
Model Driven Performance Analysis of Enterprise Information Systems. |
TACoS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Charalampos Z. Patrikakis, Thomas Kalamaris, Vaios Kakavas |
Performing integrated system tests using Malicious Component Insertion. |
TACoS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Pretschner |
Compositional Generation of MC/DC Integration Test Suites. |
TACoS |
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. |
TACoS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Marc Lohmann |
Towards Model-Driven Testing. |
TACoS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Henry Muccini, André van der Hoek |
Towards Testing Product Line Architectures. |
TACoS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | A. S. M. Sajeev, Bugi Wibowo |
UML Modeling for Regression Testing of Component Based Systems. |
TACoS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mariani |
A Fault Taxonomy for Component-Based Software. |
TACoS |
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. |
TACoS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Kiyohito Itoh, Hiromi Kobayashi |
A Safety Mechanism Using Software Patterns. |
TACoS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Lipari, Enrico Bini, Gerhard Fohler |
A Framework for Composing Real-Time Schedulers. |
TACoS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Bertolino, Eda Marchetti, Andrea Polini |
Integration of "Components" to Test Software Components. |
TACoS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ismael Rodríguez, Fernando Rubio 0001 |
A Framework for Selecting Components Automatically: A First Approach. |
TACoS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Pezzè |
Preface. |
TACoS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Fantechi, Emilio Spinicci |
Modelling and Validating a multiple-configuration railway signalling system using SDL. |
TACoS |
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 |
TACoS |
2003 |
DBLP BibTeX RDF |
|
Displaying result #1 - #42 of 42 (100 per page; Change: )
|
|