2010-3-15
 
Account:
 
Password:
     
Home | E-Business | Technology | Software Engineering | Security | Education | Outsourcing


Carl K. Chang
Lori A. Clarke
Alan Davis
Tom DeMarco
Martin Fowler
Carlo Ghezzi
Tom Gilb
Kegang Hao
Watts S.Humphrey
Dehua Ju
Willis K. King
Craig Larman
Chengfei Liu 
Steve McConnell
Leon Osterweil
Roger Pressman
James Robertson
Suzanne Robertson
Dieter Rombach
Beijun Shen
Mary Lou Soffa 
Alexander L. Wolf
Edward Yourdon
Zhiying Zhou

 EXPERT
Leon Osterweil
Leon Osterweil
Academic Appointments
    Professor, Dept. of Computer Science, University of Massachusetts Amherst (Sept. 1993-present)
    Director, Irvine Research Unit in Software, University of California at Irvine (July 1990-1993)
    Chair, Dept. of Information and Computer Science, University of California at Irvine (July 1989-Dec. 1992). Note: The Chair of the ICS Dept. at UCI Irvine reports directly to the Executive Vice Chancellor of the UC Irvine Campus, and thus carries out the functions of both a Dept. Chair and a Dean)
    Prof. Leon J. Osterweil is a Professor in the Department. of Computer Science, University. of Massachusetts Amherst. He is a Fellow of the ACM, has been an ACM Lecturer, has served on the editorial board of IEEE Software and on the board of ACM Transactions on Software Engineering and Methodology since its inception. His paper suggesting the idea of process programming was recognized as the Most Influential Paper of the 9th International Conference on Software Engineering (ICSE 9), awarded as a 10-year retrospective. Another paper on software tool integration, presented at ICSE 6, was runner-up for this honor. Prof. Osterweil was Chair of the Computer Science Department at the University of Colorado at Boulder, and of the Information and Computer Science Department of the University of California at Irvine. He was also the founding director of UCI's Irvine Research Unit in Software. Prof. Osterweil has been the Program Chair of many conferences, including ICSE 16. He is a director of the International Software Process Association, and General Chair of SIGSOFT's Sixth International Symposium on the Foundations of Software Engineering. He has been a member of the Software Engineering Institute's Process Program Advisory Board since its inception. He is a member of the KLA-Tencor Software Technical Advisory Board and has been on similar boards for SAIC, MCC, and IBM. In addition he has consulted for such companies as AT&T, Boeing, and TRW.

    Prof. Osterweil's research has centered on software analysis and testing, software tool integration, and software processes and process programming. He has been a Principal Investigator on a number of NSF and ARPA/DARPA projects over the past 25 years. He was one of the founding principals of the ARPA-funded Arcadia project, and is a co-PI on a DARPA EDCS contract. He has done research and prototype development of testing and analysis systems for over 20 years. He was a principal designer of the DAVE static dataflow analysis system, developed in 1973, and of the Cecil/Cesar programmable dataflow analysis system in the late 1980's. He was a codeveloper of the Odin object management system, and a principal in the Toolpack project that developed an early integrated set of tools for numerical software development. He was a leader of the Appl/A process programming language development activity, and currently leads the JIL process programming language project and the Visual-JIL system development activity. He has published and presented dozens of papers on these and other software engineering topics in leading venues worldwide. He has been a keynote speaker at a number of conferences, most notably the 9th International Conference on Software Engineering, Quality Week 96, CASE 92, and the Inaugural Symposium of JAIST, the Japan Advanced Institute for Software Technology.

    His ICSE 9 paper has been awarded a prize as the most influential paper of ICSE 9, awarded as a 10-year retrospective. He has consulted for such organizations as IBM, Bell Laboratories, SAIC, MCC, and TRW, and is a member of SEI's Process Program Advisory Board. Prof. Osterweil is a Fellow of the ACM.

    Leon Osterweil, "Software Processes are Software Too." Pro- ceedings of the Ninth International Conference on Software Engineering, pp. 2-13, Monterey, CA, March 1987.
Expert Articles
Preparation and Planning for ICSE 2006 (28th International Conference on Software Engineering) 
Preparation and Planning for 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

 Links: ACM || CiteSeer || CMU SEI || Construx || Cutter || IEEE-CS || itmWEB
Shanghai IT || Shanghai Economic Commission || SSIA || Shanghai Component Repository
LJYW || SPRT || PKSPIN || CCW Shanghai || China IT Outsourcing Summit more 
contribution guide | FAQ | about | copyright | contact
last update on 2005-04-08
better use IE 5.0 or above (800*600 or above)
© 2000-2005 Software Export and IT Transfer Center, ASTI Shanghai
All Rights Reserved.