2011年1月3日
 
用户名:
密码:
 
新闻快递 | 原创文档 | 咨询培训 | 专家顾问 | 个人专栏 | CSDP | 产业报告 | 上海SPIN | 读编往来
首页 | 企业信息化 | 技术新热点 | 成才乐园New! | 软件工程 | 信息安全 | IT教育 | 软件出口 | 网站论坛
软件工程
软件过程管理和改进
轻载过程和敏捷方法
方法学
软件体系结构
项目管理
极限/敏捷项目管理
团队协作
人件
需求工程
软件质量
OO分析和设计技术
编译技术 
软件设计
面向服务架构
面向特征的开发
基于构件的开发
软件模式
开放源开发平台Eclipse
推荐软件工程实践
可用性工程
软件工程标准
常用文档模板和对照表
CASE工具
软件工厂
经验工厂
软件工程中心
技术传播
技术转移
软件产品评估
软件分析和验证
模型驱动开发
时序逻辑和软件工程
Web工程
数据库设计
OO数据库
数据库编程
软件工程信息资源
软件构造
软件维护
 
 
形式化方法
 
Formal Methods
http://www.dacs.dtic.mil/databases/url/key.hts?keycode=53
http://www.brics.dk/FormalMethods/
What Are Formal Methods ?
http://www.ics.uci.edu/~redmiles/ics121-FQ99/lecture/ten/
Formal Methods Links
http://www.afm.sbu.ac.uk/
http://www.rspa.com/spi/formal.html
Formal Methods Europe
http://www.fmeurope.org/
NASA Formal Method Program
http://shemesh.larc.nasa.gov/fm/
NASDA Formal Methods Guidebook
http://eis.jpl.nasa.gov/quality/Formal_Methods/
Formal Methods Education Resources
http://www.cs.indiana.edu/formal-methods-education/
Formal Methods and Dependable Systems
http://www.csl.sri.com/programs/formalmethods/
Theory And Formal Methods Home
http://theory.doc.ic.ac.uk/
Yahoo Formal Methods Links
http://dir.yahoo.com/Science/Computer_Science/Formal_Methods/
Formal Methods and Tools (FMT)
http://fmt.cs.utwente.nl/
Formal Methods At Bell Lab
http://cm.bell-labs.com/cm/cs/what/formal_methods/
IBM Formal Methods Home
http://www.haifa.il.ibm.com/projects/verification/Formal_Methods-Home/
Center For Applied Formal Methods (CAFM)
http://www.cafm.sbu.ac.uk/
Bibliographies On Software/Hardware Engineering and Formal Methods
http://liinwww.ira.uka.de/bibliography/SE/
Formal Methods Group
http://www.cs.man.ac.uk/fmethods/
Strategic Directions in Computing Research Formal Methods Working Group
http://www-2.cs.cmu.edu/afs/cs/usr/wing/www/mit/mit.html
Formal Methods and Z
http://www-users.cs.york.ac.uk/~susan/abs/z.htm
Formal Methods Resource List
http://wwwsel.iit.nrc.ca/favs/FMfavs.html
Formal Methods For Industrial Critical Systems (FMICS)
http://www.inrialpes.fr/vasy/fmics/
Formal Methods For Life-Critical Software
http://archive.larc.nasa.gov/shemesh/paper-cia/paper.html
Formal Methods For Parallel Programming: Theory and Applications
http://www.cs.unh.edu/~charpov/FMPPTA/
Formal Methods Laboratory
http://www.cs.waikato.ac.nz/Research/fm/
World Congress On Formal Methods
http://dblp.uni-trier.de/db/conf/fm/
Formal Methods In HCI
http://www.comp.lancs.ac.uk/computing/users/dixa/topics/formal/
Formal Methods In User Interface Specification
http://www.otal.umd.edu/guse/formal.html
Formal Methods For Interactive Systems (Book) 1991
http://www.hiraeth.com/books/formal/
Lightweight Formal Methods
http://sdg.lcs.mit.edu/~dnj/pubs/ieee96-roundtable.html
Tutorial On Formal Methods
http://hissa.nist.gov/~black/formaltut.html
Workshop On Formal Methods and Security Protocols
http://www.cs.bell-labs.com/who/nch/fmsp/
Formal Methods For Quality Assurance of Digital Systems
http://www.icase.edu/RQ/archive/v7n4/art1.html
Formal Methods and Testing Network (FORTEST)
http://www.fortest.org.uk/
Formal Methods In Describing Architectures
http://www.sei.cmu.edu/publications/articles/formal-methods-desc-architectures.html
Formal Methods In Distributed Processing (Book) 2002
http://titles.cambridge.org/catalogue.asp?isbn=0521771846
Formal Methods In System Design
http://www.informatik.uni-trier.de/~ley/db/journals/fmsd/
Formal Methods For Multimodal Interactive Systems
http://www.icbl.hw.ac.uk/~sandra/hci96/tutorials/tutorial11.html
Formal Methods Sites
http://www.cs.toronto.edu/~paige/otherFMSites.html
Using Formal Methods To Derive Test Frames In Category-Partition Testing
http://www.isse.gmu.edu/faculty/ofut/rsrch/abstracts/Zmistix.html
Waterloo Formal Methods
http://www.watform.uwaterloo.ca/
Research Overview: Formal Verification and Formal Methods
http://verify.stanford.edu/dill/research.html
Formal Methods For Coordination Languages
http://db.cwi.nl/projecten/project.php4?prjnr=114
Formal Methods In Computer Aided Design
http://www.inf.ethz.ch/~biere/teaching/fmcad/current/fmcad1-handout.pdf
The Z Notation
http://www.afm.sbu.ac.uk/z/
Using Z: Specification, Refinement and Proof (Book)
http://softeng.comlab.ox.ac.uk/usingz/
Program Derivation and Specification Refinement in Z-lambda
http://cswww.essex.ac.uk/Research/FSS/projects/pdsrz.html
Z Specification Design Exercise
http://www.ecs.soton.ac.uk/~mjb/EL208/
Formal Modeling of Software Systems
http://www.dcs.shef.ac.uk/teaching/modules/level1/com164.htm
Understanding The Differences Between VDM and Z
http://citeseer.nj.nec.com/hayes93understanding.html
VDM Vienna Development Method
http://www.vienna.cc/evdm.htm
Information On VDM
http://www.csr.ncl.ac.uk/vdm/
Formal Methods: VDM
http://www3.inrets.fr/[email protected]/Links/VDM/
ISO VDM-SL Standard
http://www.csr.ncl.ac.uk/vdm/#standard
An Analysis of Two Formal Methods: VDM and Z
http://www.dacs.dtic.mil/techs/2fmethods/vdm-z.pdf
Practical Formal Methods With VDM
http://citeseer.nj.nec.com/context/233611/0
Automatic Test Data Generation From VDM-SL Specifications
http://home.in.tum.de/~atterer/uni/sep/
The B-Method
http://www.afm.sbu.ac.uk/b/
http://www.atelierb.societe.com/PAGE_B/uk/methb-01.htm
http://burks.brighton.ac.uk/burks/foldoc/38/13.htm
An Introduction To B Method An Overview
http://www.csse.monash.edu.au/~ajh/teaching/cse4213/resources/slides/B-Overview.pdf
Integrating Formal Methods: The Spectrum Project
http://www.ercim.org/publication/Ercim_News/enw30/bicarregui.html
Papers On Co-Use of VDM and B
http://theory.doc.ic.ac.uk/~jcb1/vdmbpapers.html
Bibliography On The B Method For Formal Specification Of Software
http://liinwww.ira.uka.de/bibliography/SE/Bmethod.html
The B Formal Method Bibliography
http://www3.inrets.fr/[email protected]/B-Bibliography/
Using B Method To Model Protocols
http://www.gemplus.com/smart/r_d/publications/art4.htm
Refining Distributed Systems Using The B Method
http://www.esil.univ-mrs.fr/~spc/rcs02/papers/Muntean_Rolland.pdf
Application Of The B Method In CICS Development
http://www.fmeurope.org/databases/fmadb023.html
Abstract machine Notation (AMN) of B-Method
http://burks.brighton.ac.uk/burks/foldoc/65/1.htm
B-Toolkit
http://burks.brighton.ac.uk/burks/foldoc/21/15.htm
Experience With The Use Of B Method and B Toolkit
http://arw.org.au/arw2001/Abstracts/Robinson2.pdf
 
 

 友情链接: ACM || CiteSeer || CMU SEI || Construx || Cutter || IEEE-CS || itmWEB
上海市信息委 || 上海市经委 || 上海市软件行业协会 || 上海构件库
TechTarget || 珞珈远望 || 浦华瑞信 || 北京SPIN || CCW聚焦华东 || 软件出口网 更多 
最近更新日 2005.06.28
建议使用IE5.0以上版本(800*600以上) 小字体 浏览
© 2000-2005 软件出口和信息技术传播中心 制作维护: ASTI Shanghai 沪ICP备05025271号
保留所有权益