|
Journals in DBLP
- Alexandre Mota, Arnaldo V. Moura
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:1-2 [Journal]
- Rohit Gheyi, Tiago Massoni, Paulo Borba
An Abstract Equivalence Notion for Object Models. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:3-21 [Journal]
- Carroll Morgan, Annabelle McIver
Memoryless Strategies for Stochastic Games via Domain Theory. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:23-37 [Journal]
- Jim Davies, Charles Crichton, Edward Crichton, David Neilson, Ib Holm Sørensen
Formality, Evolution, and Model-driven Software Engineering. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:39-55 [Journal]
- Zhiming Liu, Jifeng He, Xiaoshan Li
Towards a Rigorous Approach to UML-Based Development. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:57-77 [Journal]
- Ahmed Khoumsi
Complete Test Graph Synthesis For Symbolic Real-time Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:79-100 [Journal]
- Ahmed Khoumsi, Lucien Ouedraogo
A New Method for Transforming Timed Automata. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:101-128 [Journal]
- Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha, Alcione Oliveira, Eliseu Miguel
What's the Name of the Game? Formal Specification of Artificial Intelligence Games. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:129-150 [Journal]
- Nuno F. Rodrigues, Luís Soares Barbosa
Architectural Prototyping: From CCS to .Net. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:151-167 [Journal]
- Ana Cristina Vieira de Melo
From Active Names to pi-calculus Rewriting Rules. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:169-185 [Journal]
- Fabrício Vale de Azevedo Guerra, Jorge Cesar Abrantes de Figueiredo, Dalton Serey Guerrero
Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:187-209 [Journal]
- Paulo Sérgio Muniz Silva
Early Verification of Computer Systems Temporal Properties. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:211-233 [Journal]
- Patrícia D. L. Machado, Elthon A. S. Oliveira, Paulo E. S. Barbosa, Cássio L. Rodrigues
Testing from Structured Algebraic Specifications: The Veritas Case Study. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:235-261 [Journal]
- Paul Ziemann, Karsten Hölscher, Martin Gogolla
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:263-280 [Journal]
- Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
Refactoring Towards a Layered Architecture. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:281-300 [Journal]
- Nelson Guimarães Ferreira, Paulo Sérgio Muniz Silva
Automatic Verification of Safety Rules for a Subway Control Software. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:323-343 [Journal]
- Alexandre Rademaker, Christiano de O. Braga, Alexandre Sztajnberg
A Rewriting Semantics for a Software Architecture Description Language. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:345-377 [Journal]
- E. Allen Emerson, Thomas Wahl
Efficient Reduction Techniques for Systems with Many Components. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:379-399 [Journal]
- Geguang Pu, Zongyan Qiu, Jifeng He
Integrating Time and Resource into Circus. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:401-418 [Journal]
|