Skip to main content
SpringerLink
Log in

Theoretical Aspects of Computing - ICTAC 2004

First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Zhiming Liu

    1. International Institute of Software Technology, United Nations University, Macau, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Keijiro Araki

    1. Department of Computer Science and Communication Engineering, Graduate School of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3407)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICTAC 2004.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (39 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Speakers

    1. Software Services: Scientific Challenge or Industrial Hype?

      • José Luiz Fiadeiro
      Pages 1-13

    2. Integrating Variants of DC

      • He Jifeng, Jin Naiyong
      Pages 14-34

    3. Challenges in Increasing Tool Support for Programming

      • K. Rustan M. Leino
      Pages 35-35

    4. A Predicate Spatial Logic and Model Checking for Mobile Processes

      • Huimin Lin
      Pages 36-36

  3. Concurrent and Distributed Systems

    1. Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes

      • Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
      Pages 37-51

    2. Specifying Software Connectors

      • Marco Antonio Barbosa, Luís Soares Barbosa
      Pages 52-67

    3. Replicative – Distribution Rules in P Systems with Active Membranes

      • Tseren-Onolt Ishdorj, Mihai Ionescu
      Pages 68-83

    4. A Generalisation of a Relational Structures Model of Concurrency

      • Ryszard Janicki
      Pages 84-98

    5. A Logical Characterization of Efficiency Preorders

      • Neelesh Korade, S. Arun-Kumar
      Pages 99-112

    6. Inherent Causal Orderings of Partial Order Scenarios

      • Bill Mitchell
      Pages 113-127

    7. Atomic Components

      • Steve Reeves, David Streader
      Pages 128-139

    8. Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services Composition

      • Jun-Feng Zhao, Lu Zhang, Ya-Sha Wang, Ying Jiang, Bing Xie
      Pages 140-153

  4. Model Integration and Theory Unification

    1. A Formal Framework for Ontology Integration Based on a Default Extension to DDL

      • Yinglong Ma, Jun Wei, Beihong Jin, Shaohua Liu
      Pages 154-169

    2. A Predicative Semantic Model for Integrating UML Models

      • Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li
      Pages 170-186

    3. An Automatic Mapping from Statecharts to Verilog

      • Viet-Anh Vu Tran, Shengchao Qin, Wei Ngan Chin
      Pages 187-203

    4. Reverse Observation Equivalence Between Labelled State Transition Systems

      • Yanjun Wen, Ji Wang, Zhichang Qi
      Pages 204-219

  5. Program Reasoning and Testing

    1. Minimal Spanning Set for Coverage Testing of Interactive Systems

      • Fevzi Belli, Christof J. Budnik
      Pages 220-234

    2. An Approach to Integration Testing Based on Data Flow Specifications

      • Yuting Chen, Shaoying Liu, Fumiko Nagoya
      Pages 235-249

    3. Combining Algebraic and Model-Based Test Case Generation

      • Li Dan, Bernhard K. Aichernig
      Pages 250-264
Back to top

Other volumes

  1. Theoretical Aspects of Computing - ICTAC 2004

Keywords

Editors and Affiliations

  • International Institute of Software Technology, United Nations University, Macau, China

    Zhiming Liu

  • Department of Computer Science and Communication Engineering, Graduate School of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan

    Keijiro Araki

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation