形式化方法网站

形式化网站 Formal Methods What Are Formal Methods ? ~redmiles/ics121-FQ99/lecture/ten/ Formal Methods Links Formal Methods Europe NASA Formal Method Program NASDA Formal Methods Guidebook Formal Methods Education Resources Formal Methods and Dependable Systems Theory And Formal Methods Home Yahoo Formal Methods Links Formal Methods and Tools (FMT) Formal Methods At Bell Lab IBM Formal Methods Home Center For Applied Formal Methods (CAFM) Bibliographies On Software/Hardware Engineering and Formal Methods Formal Methods Group Strategic Directions in Computing Research Formal Methods Working Group Formal Methods and Z ~susan/abs/z.htm Formal Methods Resource List Formal Methods For Industrial Critical Systems (FMICS) Formal Methods For Life-Critical Software Formal Methods For Parallel Programming: Theory and Applications ~charpov/FMPPTA/ Formal Methods Laboratory World Congress On Formal Methods Formal Methods In HCI Formal Methods In User Interface Specification Formal Methods For Interactive Systems (Book) 1991 Lightweight Formal Methods ~dnj/pubs/ieee96-roundtable.html Tutorial On Formal Methods ~black/formaltut.html Workshop On Formal Methods and Security Protocols Formal Methods For Quality Assurance of Digital Systems Formal Methods and Testing Network (FORTEST) Formal Methods In Describing Architectures Formal Methods In Distributed Processing (Book) 2002 Formal Methods In System Design ~ley/db/journals/fmsd/ Formal Methods For Multimodal Interactive Systems ~sandra/hci96/tutorials/tutorial11.html Formal Methods Sites ~paige/otherFMSites.html Using Formal Methods To Derive Test Frames In Category-Partition Testing Waterloo Formal Methods Research Overview: Formal Verification and Formal Methods Formal Methods For Coordination Languages Formal Methods In Computer Aided Design ~biere/teaching/fmcad/current/fmcad1-handout.pdf The Z Notation Using Z: Specification, Refinement and Proof (Book) Program Derivation and Specification Refinement in Z-lambda Z Specification Design Exercise ~mjb/EL208/ Formal Modeling of Software Systems Understanding The Differences Between VDM and Z VDM Vienna Development Method Information On VDM Formal Methods: VDM @INRETS/Links/VDM/ ISO VDM-SL Standard #standard An Analysis of Two Formal Methods: VDM and Z Practical Formal Methods With VDM Automatic Test Data Generation From VDM-SL Specifications ~atterer/uni/sep/ The B-Method An Introduction To B Method An Overview ~ajh/teaching/cse4213/resources/slides/B-Overview.pdf Integrating Formal Methods: The Spectrum Project Papers On Co-Use of VDM and B ~jcb1/vdmbpapers.html Bibliography On The B Method For Formal Specification Of Software The B Formal Method Bibliography @INRETS/B-Bibliography/ Using B Method To Model Protocols Refining Distributed Systems Using The B Method ~spc/rcs02/papers/Muntean_Rolland.pdf Application Of The B Method In CICS Development Abstract machine Notation (AMN) of B-Method B-Toolkit Experience With The Use Of B Method and B Toolkit