2. SEFM 2004:
Beijing, China Keynote 1
export record as
dblp key:
Jayadev Misra :
A Programming Model for the Orchestration of Web Services.
2-11
Session 1A:
Parallel Distributed Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Noriaki Yoshiura :
Finding the Causes of Unrealizability of Reactive System Formal Specifications.
34-43
export record as
dblp key:
Session 1B:
Automated Proof and Model Checking
export record as
dblp key:
Suman Roy :
Symbolic Verification of Infinite Systems using a Finite Union of DFAs.
56-66
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Keynote 2
export record as
dblp key:
Session 2A:
System Modelling and Development
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Naiyong Jin ,
Jifeng He :
Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language.
132-141
Session 2B:
Model Integration and Theory Unification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Keynote 3
export record as
dblp key:
Mathai Joseph :
Care, Feeding and Growth of Software Systems.
186-
Session 3:
Object-Oriented and Component-Based Development
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Keynote 4
export record as
dblp key:
Session 4A:
Testing and Validation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 4B:
System Correctness Analysis and Refinement
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Georg Struth :
Automated Element-Wise Reasoning with Sets.
320-329
export record as
dblp key:
Keynote 5
export record as
dblp key:
Hong Mei :
ABC: Supporting Software Architectures in the Whole Lifecycle.
342-343
Session 5A:
Architecture and Co-Design
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 5B:
Automated Analysis and Verification
export record as
dblp key:
export record as
dblp key:
Alexander Fronk :
Using Relation Algebra for the Analysis of Petri Nets in a CASE Tool Based Approach.
396-405
export record as
dblp key:
conf/sefm/KazhamiakinPR04 export record as
dblp key:
data released under the ODC-BY 1.0 license
