default search action
4th ICFEM 2002: Shanghai, China
- Chris George, Huaikou Miao:
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
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, Shixian 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
Abstract Specification in Object-Z and CSP. 108-119 - J. 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
Hardware/Software Partitioning in Verilog. 168-179 - Adriano C. M. Pereira
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
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
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 Talaat 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, Shixian 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
Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. 600-612 - Adnan Sherif
Towards a Time Model for Circus. 613-624
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: