The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 116, number:

  1. Mauro Pezzè
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:1-2 [Journal]
  2. Lars-Ola Damm, Lars Lundberg, David Olsson
    Introducing Test Automation and Test-Driven Development: An Experience Report. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:3-15 [Journal]
  3. Leonardo Mariani, Mauro Pezzè
    A Technique for Verifying Component-Based Software. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:17-30 [Journal]
  4. 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. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:31-44 [Journal]
  5. Andrea Baldini, Alfredo Benso, Paolo Prinetto
    A Dependable Autonomic Computing Environment for Self-Testing of Complex Heterogeneous Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:47-57 [Journal]
  6. Wolfgang Prenninger, Alexander Pretschner
    Abstractions for Model-Based Testing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:59-71 [Journal]
  7. Luciano Baresi, Michal Young
    Toward Translating Design Constraints to Run-Time Assertions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:73-84 [Journal]
  8. Antonia Bertolino, Eda Marchetti, Henry Muccini
    Introducing a Reasonably Complete and Coherent Approach for Model-based Testing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:85-97 [Journal]
  9. Michele Banci, Marcello Becucci, Alessandro Fantechi, Emilio Spinicci
    Validation Coverage for a Component-based SDL model of a Railway Signaling System. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:99-111 [Journal]
  10. Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai
    QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:113-131 [Journal]
  11. Ana R. Cavalli, Stéphane Maag, Sofia Papagiannaki, Georgios Verigakis
    From UML models to automatic generated tests for the dotLRN e-learning platform. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:133-144 [Journal]
  12. Reiko Heckel, Marc Lohmann
    Towards Contract-based Testing of Web Services. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:145-156 [Journal]
  13. Francesco Logozzo
    An Approach to Behavioral Subtyping Based on Static Analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:157-170 [Journal]
  14. Giovanni Denaro, Leonardo Mariani
    Towards Testing and Analysis of Systems that Use Serialization. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:171-184 [Journal]
  15. Carlo A. Furia, Matteo Rossi
    A Compositional Framework for Formally Verifying Modular Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:185-198 [Journal]
  16. Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore
    Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:199-211 [Journal]
  17. Nguyen Thanh Binh, Michel Delaunay, Chantal Robach
    Testability Analysis of Data-Flow Software. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:213-225 [Journal]
  18. Luigi Lavazza, Sandro Morasca, Angelo Morzenti
    A Dual Language Approach to the Development of Time-Critical Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:227-239 [Journal]
  19. Pierfrancesco Bellini, Paolo Nesi, Davide Rogai
    Validating Component Integration with C-TILCO: A Case Study. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:241-252 [Journal]
  20. Giuseppe Lipari, Paolo Gai, Michael Trimarchi, Giacomo Guidi, Paolo Ancilotti
    A Hierarchical Framework for Component-based Real-time Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:253-266 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002