2012年1月11日
 
用户名:
密码:
 
新闻快递 | 原创文档 | 咨询培训 | 专家顾问 | 个人专栏 | CSDP | 产业报告 | 上海SPIN | 读编往来
首页 | 企业信息化 | 技术新热点 | 成才乐园New! | 软件工程 | 信息安全 | IT教育 | 软件出口 | 网站论坛


郝克刚
何克清
居德华
柳诚飞
邱嘉文
曲俊生
沈备军
田小鹏
吴昊
雅行
应时
张恂
周恒
周之英
岸田孝一
Carl K. Chang
Lori A. Clarke
Alan Davis
Tom DeMarco
Martin Fowler
Carlo Ghezzi
Tom Gilb
Watts S.Humphrey
Willis K. King
Craig Larman
Steve McConnell
Leon Osterweil
Roger Pressman
James Robertson
Suzanne Robertson
Dieter Rombach 
Mary Lou Soffa
Alexander L. Wolf
Edward Yourdon

专家顾问
 Lori A. Clarke
....Lori A. Clarke
美国计算机学会(ACM)高级会员
IEEE出版委员会成员
计算研究协会理事会当选成员
IEEE杰出访问学者
空格Lori A. Clarke教授现在位于阿姆赫斯特的麻萨诸塞大学计算机科学系任教(1986年至今),并在该校先进软件工程研究实验室工作。她于1969年获得了罗切斯特大学数学学士学位,并于1976年获得科罗拉多大学计算机科学博士学位。她是ACM高级会员,IEEE出版委员会成员和计算研究协会理事会当选成员。她曾经是IEEE杰出访问学者,担任过ACM全国讲师、ACM TOPLAS和IEEE TSE助理编辑、CCR NSF顾问委员会成员、ACM SIGSOFT秘书/司库、副主席和主席。她撰写了大量论文,参加过多个程序委员会,并且是第14届国际软件工程大会的联合程序主席之一,2003年国际软件工程大会总务主席。她还是一系列NSF和ARPA/DARPA项目的主任调查员。
空格Clarke博士在软件测试与分析领域工作了多年。她是符号执行的主要开发成员,这是一种用于研究软件系统行为和挑选测试数据的技术。她和Richardson共同开发了最早的一种基于规格说明的测试方法。她还与Podgurski、Richardson和Zeil一起揭示了更为流行的测试覆盖准则是如何相互关联的,在这之后的第10年该文被评为ICSE 8最有影响力的论文。这导致了后来她与Thompson和Richardson一同开展的工作,说明了基于差错的方法如何不能提供必要的差错检测条件,从而揭示了此种方法的一个重大缺陷。她与Podgurski一起定义了一种通用的语言无关的程序依赖模型,进一步推广了Weiser有关程序切片的工作。在环境领域,她与Wileden和Wolf一起反驳了所谓嵌套程序结构的好处,提出了一种替代的构件交互模型。她还与Tarr一起开发了Pleiades,最早的数据库编程语言之一。
空格Clarke博士的研究兴趣包括分布和顺序系统的软件确认与验证、分布式对象技术的基础设施支撑、对象管理和软件架构等。近期的工作集中在并发系统的分析上。她与Cobleigh、Dwyer、Naumovich和Osterweil等人开发了FLAVERS,一个采用数据流分析技术来校验用户指定属性的静态分析工具。
 讲座资料
《有限状态验证:软件系统有效性验证的新兴技术》
专家文章
FLAVERS: A Finite State Verification Technique For Software Systems
http://www.informatik.fernuni-hagen.de/import/pi5/lehre/seminar1920/Literatur1920ss02/AFiniteStateVerificationTechniqueFor.pdf
Finite State Verification For Software Systems
http://www.isr.uci.edu/events/dist-speaker01-02/clarke01.ppt
Finite State Verification: An Emerging Technology For Validating Software Systems
http://portal.acm.org/citation.cfm?id=348946&coll;=portal&dl;=ACM&CFID;=5916385&CFTOKEN;=28527827
Extending FLAVERS To Check Properties On Infinite Executions Of Concurrent Software Systems
http://cis.poly.edu/gnaumovi/home/papers/liveness-flavers.pdf
Publications By Prof. Lori Clarke
http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Clarke:Lori_A=.html
Verifying Properties Of Process Definitions
http://www.cc.gatech.edu/~harrold/issta00/cfp/slides/cobleigh.issta2000.ppt
Classifying Properties: An Alternative To The Safety-Liveness Classification
http://cis.poly.edu/gnaumovi/home/papers/property-taxonomy.pdf
A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance
http://www.computer.org/tse/ts1990/e0965abs.htm
Using Partial Order Techniques To Improve Performance Of Data Flow Analysis Based Verification
http://cis.poly.edu/gnaumovi/home/papers/po-flavers.pdf
An Efficient Algorithm For Computing MHP Information For Concurrent Java Programs
http://cis.poly.edu/gnaumovi/home/papers/mhp-java-fse99.pdf
Data Flow Analysis For Checking Properties Of Concurrent Java Programs
http://cis.poly.edu/gnaumovi/home/papers/flavers-java.pdf
Efficient Composite Data Flow Analysis Applied To Concurrent Programs
http://cis.poly.edu/gnaumovi/home/papers/tuple.pdf
Applying Static Analysis To Software Architectures
http://cis.poly.edu/gnaumovi/home/papers/applying-arch.pdf
A Framework For Event-Based Software Integration
http://portal.acm.org/citation.cfm?id=235324&coll;=portal&dl;=ACM&CFID;=5916947&CFTOKEN;=4802420
Cooperative Concurrency Control for Software Engineering
http://www.cs.williams.edu/~lerner/papers/cooperation.html
Integrated Concurrency Analysis In A Software Development Environment
http://portal.acm.org/citation.cfm?doid=75308.75331
Gaining Confidence In Distributed Systems
http://www.soft.com/QualWeek/QW97/qw97.abs.html#clarke
Data Flow Analysis Of Concurrent Systems That Use The Rendezvous Model Of Synchronization
http://portal.acm.org/citation.cfm?id=120810&coll;=portal&dl;=ACM&CFID;=5932064&CFTOKEN;=17163138
An Information Flow Model Of Fault Detection
http://portal.acm.org/citation.cfm?id=154270&coll;=portal&dl;=ACM&CFID;=5932094&CFTOKEN;=37024977
Improving The Accuracy Of Petri Net-Based Analysis Of Concurrent Programs
http://portal.acm.org/citation.cfm?id=226299&coll;=portal&dl;=ACM&CFID;=5932114&CFTOKEN;=54233680
Search Result For Lori A. Clarke
http://hpsearch.uni-trier.de/hp/a-tree/c/Clarke:Lori_A=.html
Process Guidance And Validation For Dependable On-The-Fly System Adaptation
http://schafercorp-ballston.com/dasada/dasada_kickoff_briefs/DASADAkickoff900.ppt
The Laboratory For Advanced Software Engineering Research (LASER)
http://laser.cs.umass.edu/
Software Architecture/Distributed Object Technology
http://laser.cs.umass.edu/architecture.html
Workflow And Process Programming
http://laser.cs.umass.edu/process.html
Little JIL
http://laser.cs.umass.edu/tools/littlejil.html
FLAVERS: Flow Analysis for VERification Of Systems
http://laser.cs.umass.edu/tools/flavers.html
Inequality Necessary Conditions Analysis (INCA)
http://laser.cs.umass.edu/inca.html
SCARP - Static Concurrency Analysis Research Project
http://laser.cs.umass.edu/scarp.html
Perpetual Testing
http://laser.cs.umass.edu/perpetualtesting.html
http://www.sei.cmu.edu/community/edcs/CLUSTERS/SUMMARIES/Perpetual_Test.html
Empirical Evaluation Of Analysis Methods And Tools
http://laser.cs.umass.edu/analysis-eval.html

 友情链接: 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号
保留所有权益