2011年7月22日
 
用户名:
密码:
 
新闻快递 | 原创文档 | 咨询培训 | 专家顾问 | 个人专栏 | 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

专家顾问
 Leon Osterweil
....Leon Osterweil
Massachusetts Amherst大学计算机科学系教授
ACM高级会员和ACM讲师
IEEE Software以及ACM软件工程与方法论学报编委
空格Osterweil的一篇提出“过程编程(process programming)”的文章在一次10年回顾评奖活动中曾被授予ICSE 9(第9届国际软件工程大会)上最有影响力的论文。他早先在ICSE 6上发表的关于软件工具集成的另一篇文章也曾赢得学术界的关注。
空格Osterweil教授曾经担任波尔德Colorado大学计算机科学系主任,以及艾尔文California大学(UCI)信息与计算机科学系主任。他还是UCI艾尔文软件研究部门的创建者。Osterweil教授在世界各地出版和发表了大量有关软件工程的论文,是一系列重要国际会议的主题演讲人,例如ICSE 9、Quality Week 96、CASE 92和JAIST成立大会,并担任许多国际会议(如ICSE 16)的Program Chair,他是国际软件过程协会(ISPA)主任,第6届SIGSOFT国际软件工程基础大会的General Chair。
空格Osterweil教授从一开始就是SEI过程项目顾问委员会成员,并且是KLA-Tencor软件技术顾问委员会以及SAIC、MCC、IBM等公司类似委员会的成员。他曾经为AT&T;、Boeing、IBM、贝尔实验室、SAIC、MCC和TRW等公司做咨询。
空格Osterweil教授的研究集中于软件分析和测试、软件工具集成、软件过程与过程编程。在过去25年中他担任了一系列NSF和ARPA/DARPA项目的主任调研员。他从事测试和分析系统的研究与原型开发达20年以上。他曾经是Toolpack(一个为数字软件开发提供早期集成工具集的项目)的主要成员,Appl/A过程编程语言开发负责人,目前领导着JIL过程编程语言项目和Visual-JIL系统的开发。
 讲座资料
《精确状态定义的自动和推理》
专家文章
Preparation and Planning for ICSE 2006 (28th International Conference on Software Engineering) 
ICSE 2006 预备和计划编制 - PPT
FLAVERS: A Finite State Verification Technique For Software Systems
http://researchweb.watson.ibm.com/journal/sj/411/cobleigh.html
Applying Real-Time Scheduling Techniques To Software Processes: A Position Paper
http://link.springer.de/link/service/series/0558/bibs/2077/20770145.htm
Containment Unites: A Hierarchically Composable Architecture For Adaptive Systems
http://www.cs.williams.edu/~lerner/papers/fse02.pdf
Verifying Properties Of Process Definitions
http://www.cc.gatech.edu/~harrold/issta00/cfp/slides/cobleigh.issta2000.ppt
Using Little-JIL To Coordinate Agents In Software Engineering
http://computer.org/proceedings/ase/0710/07100155abs.htm
Little-JIL/Juliette: a process definition language and interpreter
http://portal.acm.org/citation.cfm?id=337623&coll;=portal&dl;=ACM&CFID;=5918453&CFTOKEN;=24181436
Modeling Resources For Activity Coordination And Scheduling
http://link.springer.de/link/service/series/0558/bibs/1594/15940307.htm
Engineering Design Processes To Guide Process Execution
http://www.computer.org/tse/ts1998/e0759abs.htm
The Design Of A Next Generation Process Language
http://portal.acm.org/citation.cfm?id=267908&coll;=portal&dl;=ACM&CFID;=5918560&CFTOKEN;=58696658
Determining The Quality Of Electronic Commerce Processes
http://www.soft.com/QualWeek/QW2K/Papers/5P1.html
Interprocedural Static Analysis Of Sequencing Constraints
http://portal.acm.org/citation.cfm?doid=125489.122822
Reasoning About Precise Process Definitions
http://alpha.ddm.uci.edu/zotmail/archive/2001/20011030105.html
http://www.isr.uci.edu/events/dist-speakers01-02/osterweil01.ppt
The Right Algorithm At The Right Time: Comparing Data Flow Analysis Algorithms For Finite State Verification
http://portal.acm.org/
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
Verification Of Communication Protocols Using Data Flow Analysis
http://cis.poly.edu/gnaumovi/home/papers/protocols.pdf
A Proposed Testing and Analysis Research Initiative
http://www.computer.org/software/so1992/s5089abs.htm?SMSESSION=NO
Architecting Processes Are Key To Software Quality
http://www.ics.uci.edu/~djr/rosatea/papers/osterweil.pdf
Framework For Reasoning About Agent-Based Systems
http://link.springer-ny.com/link/service/series/0558/tocs/t1887.htm
Strategic Directions In Software Quality
http://portal.acm.org/citation.cfm?id=242288&coll;=portal&dl;=ACM&CFID;=5933718&CFTOKEN;=36835438
An Anytime Approach To Analyzing Software Systems
http://anytime.cs.umass.edu/shlomo/papers/flairs97.html
Using Software Engineering To Engineer Processes
http://www.cs.utexas.edu/users/software/1999/#Osterweil
APPL/A: A Language For Software Process Programming
http://portal.acm.org/citation.cfm?id=214017&coll;=portal&dl;=ACM&CFID;=5918657&CFTOKEN;=59069561
Experience With An Approach To Comparing Software Design Methodologies
http://www.computer.org/tse/ts1994/e0364abs.htm?SMSESSION=NO
Assuring Accuracy And Impartiality In Software Design Methodology Comparison
http://www.computer.org/proceedings/iwssd/7361/73610170.pdf
Software Processes Are Software Too, Revisited
http://portal.acm.org/citation.cfm?id=253440&coll;=portal&dl;=ACM&CFID;=5918601&CFTOKEN;=42777842

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