|
Journals in DBLP
- Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:1-2 [Journal]
- Manfred Broy
Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:3-9 [Journal]
- Constance L. Heitmeyer
Managing Complexity in Software Development with Formally Based Tools. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:11-19 [Journal]
- Arnab Ray, Rance Cleaveland
Formal Modeling Of Middleware-based Distributed Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:21-37 [Journal]
- Nelson S. Rosa, Paulo Roberto Freire Cunha
A Software Architecture-Based Approach for Formalising Middleware Behaviour. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:39-51 [Journal]
- Hartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino
A Generic Framework for Connector Architectures based on Components and Transformations. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:53-67 [Journal]
- Nazareno Aguirre, T. S. E. Maibaum
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:69-81 [Journal]
- Sotiris Moschoyiannis
Generating Snapshots of a Component Setting. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:83-98 [Journal]
- Edgar G. Daylight, Bart Demoen, Francky Catthoor
Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:99-112 [Journal]
|