|
|
TASE 2010 will provide a forum for presenting and discussing basic ideas in software engineering of large-scale systems. It will focus on the study of principles, guidelines, and empirical rules. Practitioners and researchers in software engineering will be invited in the debate and discussion. The forum will feature seminars on the latest industry issues, wide range of case studies and real-life examples. It will also include an interactive panel discussion to encourage participants to share their views. The event will also offer the attendees excellent networking opportunities with real industry decision-makers.
The conference will cover the topics mentioned below:
- Property Checking for 1-Place-Unbounded Petri Nets
- Model Checking Rectangular Hybrid Systems With Timed Computation Tree Logic
- Bisimulations for Open Processes in Higher Order Pi-Calculus
- Specification, Verification and Implementation of Business Processes using CSP
- A Formal Model for Service Choreography with Exception Handling and Finalization
- Efficient Algorithms for Building the Sets P and W
- Runtime Verification with Multi-Valued Formula Rewriting
- Axiomatic Interval Temporal Logic Verification
- On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic
- Modeling Reconfirgurable Systems Using Flexible Petri Nets
- A Guarded Workflow Language and its Formal Semantics
- Proving Model Transformations
- A Certifying Compiler for Clike Subset of C Language
- Stack Bound Inference for Abstract Java Bytecode
Visitor Profile
The visitors at TASE 2010 would include:
- Scientists
- Researchers
- Scholars
- Computer engineers
- Software engineers
- Academicians
- Educators
- Students
- Press people
Organizer
Academia Sinica - Institute of Information Science
