4. ICFEM 2002:
Shanghai,
China
Chris George, Huaikou Miao (Eds.):
Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings.
Lecture Notes in Computer Science 2495 Springer 2002, ISBN 3-540-00029-1 
@proceedings{DBLP:conf/icfem/2002,
editor = {Chris George and
Huaikou Miao},
title = {Formal Methods and Software Engineering, 4th International Conference
on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October
21-25, 2002, Proceedings},
booktitle = {ICFEM},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2495},
year = {2002},
isbn = {3-540-00029-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talks
Component Engineering and Software Architecture
- Hong Mei, Feng Chen, Qianxiang Wang, Yao-Dong Feng:
ABC/ADL: An ADL Supporting Component Composition.
38-47
- Hong Zheng, Shi-xian Li:
The Description of CORBA Objects Based on Petri Nets.
48-56
- Maritta Heisel, Thomas Santen, Jeanine Souquières:
Toward a Formal Model of Software Components.
57-68
- Jing Liu, Huaikou Miao, Xiaolei Gao:
A Specification-Based Software Construction Framework for Reuse.
69-79
- Xuejun Chen:
Specifying a Component Model for Building Dynamically Reconfigurable Distributed Systems.
80-91
- Vangalur S. Alagar, Ralf Lämmel:
Three-Tiered Specification of Micro-architectures.
92-97
- Jiayue Chang, Huadong Ma:
Modeling the Architecture for Component-Based E-commerce System.
98-102
- Fei Cao, Barrett R. Bryant, Rajeev R. Raje, Mikhail Auguston, Andrew M. Olson, Carol C. Burt:
Component Specification and Wrapper/Glue Code Generation with Two-Level Grammar Using Domain Specific Knowledge.
103-107
Method Integration
Specification Techniques and Languages
- David R. Musser, Zhiqing Shao:
Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications.
132-143
- Kenji Taguchi, Jin Song Dong:
An Overview of Mobile Object-Z.
144-155
- Jin Song Dong, Jing Sun, Hai H. Wang:
Z Approach to Semantic Web.
156-167
- Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang:
Hardware/Software Partitioning in Verilog.
168-179
- Adriano M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos:
A Formal Methodology to Specify E-commerce Systems.
180-191
- Tim Miller, Paul A. Strooper:
Model-Based Specification Animation Using Testgraphs.
192-203
- Alvaro E. Arenas:
An Abstract Model for Scheduling Real-Time Programs.
204-215
- Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray:
A Specification and Validation Technique Based on STATEMATE and FNLOG.
216-220
- Yuyue Du, Changjun Jiang:
Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows.
221-225
- Jinfeng Huang, Ad Verschueren, Henri Aalderink, Johan J. Lukkien:
A Calculus for Mobile Network Systems.
226-230
- Guangyuan Li, Zhisong Tang:
Modelling Real-Time Systems with Continuous-Time Temporal Logic.
231-236
- Ying Liu, Naixiao Zhang:
On Concept-Based Definition of Domain-Specific Languages.
237-248
- Hong Zhu:
Formal Specification of Evolutionary Software Agents.
249-261
- Yuan Liu, Baowen Xu, Zhenqiang Chen:
Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra.
262-274
- Huiqun Yu, Xudong He, Yi Deng, Lian Mo:
Formal Analysis of Real-Time Systems with SAM.
275-286
Tools and Environments
Refinement
Applications
Validation and Verification
- Hugh Anderson:
Abstract Interpretation with a Theorem Prover.
411-422
- Abhik Roychoudhury:
Formal Reasoning about Hardware and Software Memory Models.
423-434
- Ji Wang, Wei Dong, Zhichang Qi:
Slicing Hierarchical Automata for Model Checking UML Statecharts.
435-446
- M. Hasan Zobair, Sofiène Tahar:
Formal Verification of a SONET Telecom System Block.
447-458
- Amr T. Abdel-Hamid, Sofiène Tahar, John Harrison:
Enabling Hardware Verification through Design Changes.
459-470
- Guido Wimmel, Jan Jürjens:
Specification-Based Test Generation for Security-Critical Systems Using Mutations.
471-482
- Hassan B. Diab, Marc Frappier, Richard St.-Denis:
A Formal Definition of Function Points for Automated Measurement of B Specifications.
483-494
- Fan Guo, Yiyun Chen, RongGui Hu:
Machine Code Type Safety.
495-499
UML
- Yan-Bing Jiang, Wei-Zhong Shao, Zhi-Yi Ma, Yao-Dong Feng:
On the Formalized Semantics of Static Modeling Elements in UML.
500-510
- Ahmed Hammad, Bruno Tatibouët, Jean-Christophe Voisinet, Weiping Wu:
From a B Specification to UML StateChart Diagrams.
511-522
- Huaikou Miao, Ling Liu, Li Li:
Formalizing UML Models with Object-Z.
523-534
- Zhiming Liu, Xiaoshan Li, Jifeng He:
Using Transition Systems to Unify UML Models.
535-547
- Soon-Kyeong Kim, David A. Carrington:
A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z.
548-560
- Behzad Bordbar, John Derrick, A. Gill Waters:
A UML Approach to the Design of Open Distributed Systems.
561-572
- Subash Shankar:
A Semantic Model of Real-Time UML.
573-577
- Zhong Ming, Shi-xian Li, Xiu-rong Fang:
Research on Ontology-Oriented Domain Analysis on MIS.
578-582
- Zaobin Gan, Chuanbo Chen, Xiandeng Pei:
A Requirements Description Model Based on Conditional Directed Graphs.
583-587
Semantics
Copyright © Fri Mar 12 17:14:06 2010
by Michael Ley (ley@uni-trier.de)
