4. ICFEM 2002: Shanghai, China

Invited Talks

• Ralph-Johan Back:
  SFI: A Refinement Based Layered Software Architecture. 1-2
  
• Shaoying Liu:
  Developing Quality Software Systems Using the SOFL Formal Engineering Method. 3-19
  
• Mark A. Hale:
  Maintaining Referential Integrity on the Web. 20-21
  
• Richard Jüllig:
  Formal Methods in Enterprise Computing. 22-23
  
• Jim Woodcock, Arthur P. Hughes:
  Unifying Theories of Parallel Programming. 24-37
  

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

• Graeme Smith, John Derrick:
  Abstract Specification in Object-Z and CSP. 108-119
  
• Christian Attiogbé:
  Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. 120-131
  

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

• Muan Yong Ng, Michael J. Butler:
  Tool Support for Visualizing CSP in UML. 287-298
  
• Orieta Celiku, Joakim von Wright:
  Theorem Prover Support for Precondition and Correctness Calculation. 299-310
  
• Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang:
  XML-Based Static Type Checking and Dynamic Visualization for TCOZ. 311-322
  

Refinement

• Doug Goldson, Greg Reeve, Steve Reeves:
  µ-Chart-Based Specification and Refinement. 323-334
  
• Sibylle Peuker, Ian J. Hayes:
  Towards a Refinement Calculus for Concurrent Real-Time Programs. 335-346
  
• Adolfo Duran, Ana Cavalcanti, Augusto Sampaio:
  Refinement Algebra for Formal Bytecode Generation. 347-358
  

Applications

• Jessica Chen:
  Formal Modelling of Java GUI Event Handling. 359-370
  
• Ana R. Cavalli, Stéphane Maag:
  A New Algorithm for Service Interaction Detection. 371-382
  
• Juha Plosila, Tiberiu Seceleanu:
  Specification of an Asynchronous On-chip Bus. 383-395
  
• Jun Pang:
  Analysis of a Security Protocol in µCRL. 396-400
  
• Gafurov Davrondjon, Tomasz Janowski:
  Developing a Spell-Checker for Tajik Using RAISE. 401-405
  
• Zarina Shukur, Abdullah Mohd Zin, Ainita Ban:
  M2Z: A Tool for Translating a Natural Language Software Specification into Z. 406-410
  

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

• Graeme Smith:
  Introducing Reference Semantics via Refinement. 588-599
  
• Huibiao Zhu, Jonathan P. Bowen, Jifeng He:
  Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. 600-612
  
• Adnan Sherif, Jifeng He:
  Towards a Time Model for Circus. 613-624
  

Last update Wed May 22 23:54:45 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page