First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China.
IEEE Computer Society 2007
1. TASE 2007:
Keynote Speech Abstracts
Verification and Validation 1
: A Formal Derivation of Grover's Quantum Search Algorithm.
, Li Zhang
: Unified Modeling and Analysis based on Petri nets and Pi calculus.
Software Architecture and Frameworks 1
, Zhiwei Yu
: A Workflow Verification Method Based on Calculus.
Verification and Validation 2
Formal Methods 2
Software Architecture and Frameworks 2
Safety and Reliability
Verification and Validation 3
Formal Methods 3
: QCCS: A Formal Model to Enforce QoS Requirements in Service Composition.
Software Architecture and Frameworks 3
, Gernot Salzer
: Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints.
, Ning Gu
: Survivability-Aware Configuration Management of Service-Oriented System Based on Service Dependency.
Formal Methods 4