| 2002 | A Calculus for Mobile Network Systems. Jinfeng Huang, Ad Verschueren, Henri Aalderink, Johan J. Lukkien |
| 2002 | A Formal Definition of Function Points for Automated Measurement of B Specifications. Hassan B. Diab, Marc Frappier, Richard St-Denis |
| 2002 | A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z. Soon-Kyeong Kim, David A. Carrington |
| 2002 | A Formal Methodology to Specify E-commerce Systems. Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos |
| 2002 | A New Algorithm for Service Interaction Detection. Ana R. Cavalli, Stéphane Maag |
| 2002 | A Requirements Description Model Based on Conditional Directed Graphs. Zaobin Gan, Chuanbo Chen, Xiandeng Pei |
| 2002 | A Semantic Model of Real-Time UML. Subash Shankar |
| 2002 | A Specification and Validation Technique Based on STATEMATE and FNLOG. Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray |
| 2002 | A Specification-Based Software Construction Framework for Reuse. Jing Liu, Huaikou Miao, Xiaolei Gao |
| 2002 | A UML Approach to the Design of Open Distributed Systems. Behzad Bordbar, John Derrick, A. Gill Waters |
| 2002 | ABC/ADL: An ADL Supporting Component Composition. Hong Mei, Feng Chen, Qianxiang Wang, Yao-Dong Feng |
| 2002 | Abstract Interpretation with a Theorem Prover. Hugh Anderson |
| 2002 | Abstract Specification in Object-Z and CSP. Graeme Smith, John Derrick |
| 2002 | An Abstract Model for Scheduling Real-Time Programs. Alvaro E. Arenas |
| 2002 | An Overview of Mobile Object-Z. Kenji Taguchi, Jin Song Dong |
| 2002 | Analysis of a Security Protocol in µCRL. Jun Pang |
| 2002 | Component Specification and Wrapper/Glue Code Generation with Two-Level Grammar Using Domain Specific Knowledge. Fei Cao, Barrett R. Bryant, Rajeev R. Raje, Mikhail Auguston, Andrew M. Olson, Carol C. Burt |
| 2002 | Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications. David R. Musser, Zhiqing Shao |
| 2002 | Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra. Yuan Liu, Baowen Xu, Zhenqiang Chen |
| 2002 | Developing Quality Software Systems Using the SOFL Formal Engineering Method. Shaoying Liu |
| 2002 | Developing a Spell-Checker for Tajik Using RAISE. Gafurov Davrondjon, Tomasz Janowski |
| 2002 | Enabling Hardware Verification through Design Changes. Amr Talaat Abdel-Hamid, Sofiène Tahar, John Harrison |
| 2002 | Formal Analysis of Real-Time Systems with SAM. Huiqun Yu, Xudong He, Yi Deng, Lian Mo |
| 2002 | Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings Chris George, Huaikou Miao |
| 2002 | Formal Methods in Enterprise Computing. Richard Jüllig |
| 2002 | Formal Modelling of Java GUI Event Handling. Jessica Chen |
| 2002 | Formal Reasoning about Hardware and Software Memory Models. Abhik Roychoudhury |
| 2002 | Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows. Yuyue Du, Changjun Jiang |
| 2002 | Formal Specification of Evolutionary Software Agents. Hong Zhu |
| 2002 | Formal Verification of a SONET Telecom System Block. M. Hasan Zobair, Sofiène Tahar |
| 2002 | Formalizing UML Models with Object-Z. Huaikou Miao, Ling Liu, Li Li |
| 2002 | From a B Specification to UML StateChart Diagrams. Ahmed Hammad, Bruno Tatibouët, Jean-Christophe Voisinet, Weiping Wu |
| 2002 | Hardware/Software Partitioning in Verilog. Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang |
| 2002 | Introducing Reference Semantics via Refinement. Graeme Smith |
| 2002 | M2Z: A Tool for Translating a Natural Language Software Specification into Z. Zarina Shukur, Abdullah Mohd Zin, Ainita Ban |
| 2002 | Machine Code Type Safety. Fan Guo, Yiyun Chen, RongGui Hu |
| 2002 | Maintaining Referential Integrity on the Web. Mark A. Hale |
| 2002 | Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. J. Christian Attiogbé |
| 2002 | Model-Based Specification Animation Using Testgraphs. Tim Miller, Paul A. Strooper |
| 2002 | Modeling the Architecture for Component-Based E-commerce System. Jiayue Chang, Huadong Ma |
| 2002 | Modelling Real-Time Systems with Continuous-Time Temporal Logic. Guangyuan Li, Zhisong Tang |
| 2002 | On Concept-Based Definition of Domain-Specific Languages. Ying Liu, Naixiao Zhang |
| 2002 | On the Formalized Semantics of Static Modeling Elements in UML. Yan-Bing Jiang, Wei-Zhong Shao, Zhi-Yi Ma, Yao-Dong Feng |
| 2002 | Refinement Algebra for Formal Bytecode Generation. Adolfo Duran, Ana Cavalcanti, Augusto Sampaio |
| 2002 | Research on Ontology-Oriented Domain Analysis on MIS. Zhong Ming, Shixian Li, Xiu-rong Fang |
| 2002 | SFI: A Refinement Based Layered Software Architecture. Ralph-Johan Back |
| 2002 | Slicing Hierarchical Automata for Model Checking UML Statecharts. Ji Wang, Wei Dong, Zhichang Qi |
| 2002 | Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. Huibiao Zhu, Jonathan P. Bowen, Jifeng He |
| 2002 | Specification of an Asynchronous On-chip Bus. Juha Plosila, Tiberiu Seceleanu |
| 2002 | Specification-Based Test Generation for Security-Critical Systems Using Mutations. Guido Wimmel, Jan Jürjens |
| 2002 | Specifying a Component Model for Building Dynamically Reconfigurable Distributed Systems. Xuejun Chen |
| 2002 | The Description of CORBA Objects Based on Petri Nets. Hong Zheng, Shixian Li |
| 2002 | Theorem Prover Support for Precondition and Correctness Calculation. Orieta Celiku, Joakim von Wright |
| 2002 | Three-Tiered Specification of Micro-architectures. Vangalur S. Alagar, Ralf Lämmel |
| 2002 | Tool Support for Visualizing CSP in UML. Muan Yong Ng, Michael J. Butler |
| 2002 | Toward a Formal Model of Software Components. Maritta Heisel, Thomas Santen, Jeanine Souquières |
| 2002 | Towards a Refinement Calculus for Concurrent Real-Time Programs. Sibylle Peuker, Ian J. Hayes |
| 2002 | Towards a Time Model for Circus. Adnan Sherif, Jifeng He |
| 2002 | Unifying Theories of Parallel Programming. Jim Woodcock, Arthur P. Hughes |
| 2002 | Using Transition Systems to Unify UML Models. Zhiming Liu, Xiaoshan Li, Jifeng He |
| 2002 | XML-Based Static Type Checking and Dynamic Visualization for TCOZ. Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang |
| 2002 | Z Approach to Semantic Web. Jin Song Dong, Jing Sun, Hai H. Wang |
| 2002 | µ-Chart-Based Specification and Refinement. Doug Goldson, Greg Reeve, Steve Reeves |