2004计算的理论方面Theoretical Aspects of Computing - ICTAC

Invited Speakers
　Software Services: Scientific or Industrial Hype?
　Integrating Variants of DC
　Challenge Challenges in Increasing Tool Support for Programming
　A Predicate Spatial Logic and Model Checking for Mobile Processes
Concurrent and Distributed Systems
　Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes
　Specifying Software Connectors
　Replicative-Distribution Rules in P Systems with Active Membranes
　A Generalisation of a Relational Structures Model of Concurrency
　A Logical Characterization of Efficiency Preorders
　Inherent Causal Orderings of Partial Order Scenarios
　Atomic Components
　Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services Composition
Model Integration and Theory Unification
　A Formal Framework for Ontology Integration Based on a Default Extension to DDL
　A Predicative Semantic Model for Integrating UML Models
　An Automatic Mapping from Statecharts to Verilog
　Reverse Observation Equivalence Between Labelled State Transition Systems
Program Reasoning and Testing
　Minimal Spanning Set for Coverage Testing of Interactive Systems
An Approach to Integration Testing Based on Data
Combining Algebraic and Model-Based Test Case G
Verifying OWL and ORL Ontologies in PVS
Verification
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains
Verifying Linear Duration Constraints of Timed Automata
……
Theories of Programming and programming Languages
Real-Time and Co-design
Automata Theory and Logics
Tutorials at ICTAC 2004
Author Index