Electronic Notes in Theoretical Computer Science, Volume 130

Volume 130, May 2005

• Alexandre Mota, Arnaldo V. Moura:
  Preface. 1-2
  
• Rohit Gheyi, Tiago Massoni, Paulo Borba:
  An Abstract Equivalence Notion for Object Models. 3-21
  
• Carroll Morgan, Annabelle McIver:
  Memoryless Strategies for Stochastic Games via Domain Theory. 23-37
  
• Jim Davies, Charles Crichton, Edward Crichton, David Neilson, Ib Holm Sørensen:
  Formality, Evolution, and Model-driven Software Engineering. 39-55
  
• Zhiming Liu, Jifeng He, Xiaoshan Li:
  Towards a Rigorous Approach to UML-Based Development. 57-77
  
• Ahmed Khoumsi:
  Complete Test Graph Synthesis For Symbolic Real-time Systems. 79-100
  
• Ahmed Khoumsi, Lucien Ouedraogo:
  A New Method for Transforming Timed Automata. 101-128
  
• 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. 129-150
  
• Nuno F. Rodrigues, Luís Soares Barbosa:
  Architectural Prototyping: From CCS to .Net. 151-167
  
• Ana Cristina Vieira de Melo:
  From Active Names to pi-calculus Rewriting Rules. 169-185
  
• 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. 187-209
  
• Paulo Sérgio Muniz Silva:
  Early Verification of Computer Systems Temporal Properties. 211-233
  
• 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. 235-261
  
• Paul Ziemann, Karsten Hölscher, Martin Gogolla:
  Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. 263-280
  
• Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio:
  Refactoring Towards a Layered Architecture. 281-300
  
• Umberto S. Costa, Sérgio Vale Aguiar Campos, Newton Vieira, David Déharbe:
  Explicit-Symbolic Modelling for Formal Verification. 301-321
  
• Nelson Guimarães Ferreira, Paulo Sérgio Muniz Silva:
  Automatic Verification of Safety Rules for a Subway Control Software. 323-343
  
• Alexandre Rademaker, Christiano de O. Braga, Alexandre Sztajnberg:
  A Rewriting Semantics for a Software Architecture Description Language. 345-377
  
• E. Allen Emerson, Thomas Wahl:
  Efficient Reduction Techniques for Systems with Many Components. 379-399
  
• Geguang Pu, Zongyan Qiu, Jifeng He:
  Integrating Time and Resource into Circus. 401-418