总文献量: 40篇会议类型: 国际会议会议地点: 南京主办单位: 南京大学会议日期: 2008-06-17
文章浏览
Effective Predicate Abstraction for Program Verification
Specifying Properties for Modular π-Calculus
Towards Automatically Generating Test Paths for Web Application Testing
Producing UML Models from Focal Specifications An Application to Airport Security Regulations
Towards More Flezible Development of Z Specifications
A Model-Driven Method for the Development of Web Applications User Interaction Layer
On Automatic Verification of Self-stabilizing Population Protocols
A Complete Aziomatization of Propositional Projection Temporal Logic
An Eztension to Pointer Logic for Verification
Pushing Requirements Changes through to Changes in Specifications
A MDE Based Approach for Bridging Formal Models
Verifying BPEL-like Programs with Hoare Logic
Bounded Model Checking of Compositional Processes
Implementing Higher-order Control in Java
Modeling and Refining the Service-Oriented Requirement
Symbolic Model Checking APSL
A Generic Model for Confinement and its Application
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
A Multidimensional Model for Mum Effect in Offshore Outsourcing
- 1
- 2