The Future of Software Engineering


This page contains papers for the Future of Software Engineering volume to be published by ACM Press in conjunction with the 22nd International Conference on Software Engineering.

Any questions regarding the papers or the Future of Software Engineering track should be addressed in the first instance to the coordinator:

Anthony Finkelstein <a.finkelstein@cs.ucl.ac.uk>



 
Title and Authors Presentations Links Final Paper
Software Engineering: a roadmap
Anthony Finkelstein & Jeff Kramer
Brad Appleton's Software Engineering Links
http://www.enteract.com/~bradapp/links/swe-links.html#SwE_Res

Yahoo Software Engineering
http://dir.yahoo.com/Computers_and_Internet/Software/Programming_Tools/Software_Engineering/

comp.software-eng Software Engineering Readings
http://www.cs.queensu.ca/Software-Engineering/reading.html

Georgia Tech Software Engineering Hotlist
http://www.cc.gatech.edu/computing/SW_Eng/hotlist.html

R.S. Pressman & Associates Software Engineering Resources
http://www.rspa.com/spi/index.html

 
Testing: a roadmap
Mary Jean Harrold
Storm:  Software Testing Online Resources
http://www.mtsu.edu/~storm/

comp.software.testing Frequently Asked Questions
http://www.faqs.org/faqs/software-eng/testing-faq/

Software Engineering Test Lab
http://www.cs.uidaho.edu/~setl/

Testing and Reliability Research Group
http://www.cs.colostate.edu/testing/

Software Testing Literature
http://www.mtsu.edu/~storm/literature.html

Irvine Research Unit in Software:  Analysis and Testing
http://www.ics.uci.edu/IRUS/software/research_emphases.html

Laboratory for Advanced Software Engineering Research
http://laser.cs.umass.edu/

Reliability Software Technologies
http://www.rstcorp.com

 
Software Metrics: a roadmap
Norman Fenton & Martin Neil
Agena
http://www.agena.co.uk

RADAR (Risk Assessment and Decision Analysis Research)
http://www.dcs.qmw.ac.uk/research/softeng/

Software Productivity Research (SPR)
http://www.spr.com/index.htm

QSM
http://www.qsm.com/

Q-Labs
http://www.q-labs.de/

Hugin A/S
http://hugin.com/

Microsoft research decision theory group
http://www.research.microsoft.com/research/dtg/

Thomas Fetcke's Software Metrics sites on the Web
http://www.cs.tu-berlin.de/~fetcke/metrics-sites.html

 
Software Process: a roadmap
Alfonso Fuggetta
Carnegie Mellon Software Engineering Institute
http://www.sei.cmu.edu/managing/managing.html

NASA Software Engineering Laboratory
http://sel.gsfc.nasa.gov/

University of California at Irvine (IRUS)
http://www.ics.uci.edu/IRUS

Politecnico di Milano
http://www.elet.polimi.it/section/compeng/se/

UCL Software Systems Engineering Group
http://www.cs.ucl.ac.uk/ssegroup.html

ESI
Fraunhofer Institute for Experimental Software Engineering
http://www.iese.fhg.de/

Workflow Management Coalition
http://www.aiim.org/wfmc/mainframe.htm

 
Reasoning & Analysis: a roadmap
Daniel Jackson & Martin Rinard
Dataflow and Type Analysis

McGill Compiler/Architecture Testbed
www-acaps.cs.mcgill.ca/info/McCAT/McCAT.html

The Berkeley ANalysis Engine
www.cs.berkeley.edu/Research/Aiken/bane.html

Program Slicing Project, Wisconsin
http://www.cs.wisc.edu/wpis/html/#shape_analysis

Mooly Sagiv, Tel Aviv
www.math.tau.ac.il/~sagiv

The Smart Programming Environment Project at Rice
http://www.cs.rice.edu/~matthias/SmartPE/

Programming Languages Research Group at Rutgers
http://www.prolangs.rutgers.edu/

Mary Lou Soffa
http://www.cs.pitt.edu/~soffa/research.html

Advanced Programming Languages, Microsoft Research
http://www.research.microsoft.com/research/apl/

Region Inference, DIKU, University of Copenhagen
http://www.diku.dk/users/tofte/publ/publ.html

Flex Compiler Project, MIT
http://www.flex-compiler.lcs.mit.edu/

Theorem Proving

Extended Static Checker, Compaq SRC
http://research.compaq.com/SRC/esc/Esc.html

PVS
http://pvs.csl.sri.com/

Model Checking

Model Checking at CMU
http://www.cs.cmu.edu/~modelcheck/

Microsoft SLAM Project
http://research.microsoft.com/projects/slam/

SPIN Model Checker
http://netlib.bell-labs.com/netlib/spin/whatispin.html

Bandera Project
http://www.cis.ksu.edu/santos/bandera/

Alcoa/Alloy, MIT
http://sdg.lcs.mit.edu/alcoa

LTSA: Labelled Transition System Analyser, Imperial College
http://www-dse.doc.ic.ac.uk/concurrency/ltsa/LTSA.html

Reverse Engineering

David Notkin
http://www.cs.washington.edu/homes/notkin/research.html

Bill Griswold
http://www-cse.ucsd.edu/users/wgg/

Gail Murphy
http://www.cs.ubc.ca/spider/murphy/research.htm

Dynamic Analysis

Michael Ernst
http://www.cs.washington.edu/homes/mernst/

Tom Ball, Microsoft
http://www.research.microsoft.com/~tball/

Miscellaneous

Formal Methods Archive
http://archive.comlab.ox.ac.uk/formal-methods.html

 
Software Engineering on the Internet: a roadmap
Luca Bompani, Paolo Ciancarini & Fabio Vitali
W3C Architecture Domain XML
http://www.w3.org/XML

OMG UML
http://www.omg.org/uml

Tigris: Open Source Platform for Internet-Scale Software Development
http://www.tigris.org

XML Metadata Interchange
http://www-4.ibm.com/software/ad/features/xmi.html

MSDN XML Developer Center
http://msdn.microsoft.com/xml/default.asp

University of Bologna, Displets
http://www.cs.unibo.it/projects/displets

XML Software Site
http://www.xmlsoftware.com/

XML Information and Resources
http://architag.com/xmlu/

http://
Mathematical Foundations of Software Engineering: a roadmap
Tom Maibaum
 
Software Architecture: a roadmap
David Garlan
  Carnegie Mellon Software Engineering Institute
http://www.sei.cmu.edu/ata/ata_init.html

DARPA EDCS Program
http://www.rl.af.mil/programs/edcs/

IEEE Recommended Practice for Architectural Description
http://www.pithecanthropus.com/~awg/index.html

Carnegie Mellon University Composable Software Systems
http://www.cs.cmu.edu/~Compose

The Stanford Rapide Project
http://pavg.stanford.edu/rapide/

University Colorado Boulder Software Engineering Research Laboratory
http://www.cs.colorado.edu/serl/

Vanderbilt University Institute for Software Integrated Systems
http://www.isis.vanderbilt.edu/

University of California at Irvine Software Architecture Research
http://www.ics.uci.edu/pub/arch/

USC Center for Software Engineering Software Architecture
http://sunset.usc.edu/research/software_architecture/index.html

 
Software Configuration Management: a roadmap
Jacky Estublier
 
Software Economics: a roadmap
Barry Boehm & Kevin Sullivan
  Economics-Driven Software Engineering Research (EDSER) Workshops
http://www.cs.virginia.edu/~sullivan/edser1
http://www.cs.virginia.edu/~sullivan/edser2

Decision-Based Design (NSF-sponsored on-line workshop)
http://dbd.eng.buffalo.edu

Real Options (Amram and Kalutilaka)
http://real-options.com

1998 Workshop on Information Systems Economics (WISE-98)
http://is-2.stern.nyu.edu/~wise98

Information Technology and Business Value (Erik Brynjolfsson)
http://ccs.mit.edu/erik

Economics-Driven Software Design Research (Kevin Sullivan)
http://www.cs.virginia.edu/~sullivan

Model-Based (System) Architecture and Software Engineering (MBASE) and COCOMO II Research (Barry Boehm)
http://sunset.usc.edu/MBASE
http://sunset.usc.edu/research/cocomosuite

 

Empirical Studies of Software Engineering: a roadmap
Dewayne Perry, Adam Porter & Lawrence Votta
 
Software Reliability & Dependability: a roadmap
Bev Littlewood & Lorenzo Strigini
 

Databases in Software Engineering: a roadmap
Klaus Dittrich, Dimitrios Tombros & Andreas Geppert
Arcadia
http://www.ics.uci.edu/~arcadia/

Distributed Repository for Object-Oriented Software Components
http://www.db.is.kyushu-u.ac.jp/cmpd/project_cmpd.html

EPOS
http://www.idt.unit.no/~epos/

NAOS
http://www-lsr.imag.fr:80/Les.Groupes/STORM/NAOS.html

GRAS
http://www-i3.informatik.rwth-aachen.de/research/gras/index.html

ITHACA
http://cui.unige.ch/OSG/projects/ithaca/

Marvel
http://www.psl.cs.columbia.edu/marvel.html

Repository Based Software Engineering
http://rbse.jsc.nasa.gov/SE/RBSE/hq.html

SEAMAN
http://www.ifi.unizh.ch/groups/dbtg/Projects/SEAMAN/seaman.html

SENSOR
http://wwwdbis.informatik.uni-kl.de:8080/sfb/

Software Information Base
http://www.ics.forth.gr/proj/isst/Systems/SIB/index.html

H-PCTE
http://pi.informatik.uni-siegen.de/pi/hpcte/hpcte.html

PCTE standards
http://pi.informatik.uni-siegen.de/pi/hpcte/hpcte.html#stds

 
Object-oriented modeling: a roadmap
Gregor Engels & Luuk Groenewegen
OMG Home Page
http://www.omg.org

Precise UML Group
http://www.cs.york.ac.uk/puml

UML literature 
http://www.rational.com/uml/index.jtmpl

UML RTF home page
http://uml.shl.com

Cetus UML Links
http://www.objenv.com/cetus/oo_uml.html

University of Paderborn, Gregor Engels
http://www.upb.de/cs/engels.html

 
Software Maintenance and Evolution: a roadmap
Keith Bennett and Vaclaw Rajlich
Reverse Engineering Links
http://www.imagix.com/links/reverse_engineering.html

UK Software Engineering Association
http://sea.co.umist.ac.uk/

University of Durham Research Institute in Software Evolution
http://www.dur.ac.uk/CSM/

UMIST Department of Computation
http://www.co.umist.ac.uk

Keele University Software Engineering Research Group
http://www.keele.ac.uk/depts/cs/Research/se/

SEBPC - Systems Engineering for Business Process Change
http://www.ecs.soton.ac.uk/~ph/sebpc

Wayne State University Department of Computer Science
http://www.cs.wayne.edu/

DARPA Evolutionary Design of Complex Software
http://www.darpa.mil/ito/research/edcs/index.html

Imperial College, Manny Lehman
http://www-dse.doc.ic.ac.uk/~mml

Software Evolution and Reuse Newsletter
http://dis.sema.es/projects/SER/Nb18_1.html

 
Software Engineering for Real-time: a roadmap
Hermann Kopetz
Embedded and Real-Time Systems Links
http://www.ifi.unizh.ch/groups/ailab/links/embedded.html

Real-Time Information Repository
http://rtlab.kaist.ac.kr/~sikang/rt/

IFIP WG10.4 on Dependable Computing and Fault Tolerance
http://www.dependability.org/wg10.4/

UCI Dream Laboratory
http://dream.eng.uci.edu

Time Triggered Technology
http://www.tttech.com

Carnegie Mellon University, Computer Science
http://www.cs.cmu.edu/text/research/areas.html

MIT Research Groups
http://www.lcs.mit.edu/research/groups/

The University of York, Computer Science Research Topics
http://www.cs.york.ac.uk/gsp/rstopics.html

DARPA ITO Research Areas
http://www.darpa.mil/ito/ResearchAreas.html

 
Software Engineering for Safety: a roadmap
Robyn Lutz
WWW-Virtual Library Safety Critical Systems
http://archive.comlab.ox.ac.uk/safety.html

IFIP WG10.4 on Dependable Computing and Fault Tolerance
http://www.dependability.org/wg10.4/

Risks Forum
http://www.csl.sri.com/~risko/risks.html

University of York High Integrity Systems Engineering
http://www.cs.york.ac.uk/hise/

MIT Software Safety Research
http://sunnyday.mit.edu/research.html

NASA Formal Methods 
http://eis.jpl.nasa.gov/quality/Formal_Methods/home.html

 
Software Engineering Education: a roadmap
Mary Shaw
  Mary Shaw's Software Engineering Education Links
http://levers.compose.cs.cmu.edu/shaweb/edparts/software.htm

Conference on Software Engineering Education and Training
http://www.se.cs.ttu.edu/cseet2000/

Forum for Advancing Software Engineering Education (FASE)
http://www.cs.ttu.edu/fase/

Software Engineering Institute  Working Group on Software Engineering Education and Training
http://www.sei.cmu.edu/topics/collaborating/ed/workgroup-ed.html

Tom Hilburn's Software Engineering Education Links
http://faculty.db.erau.edu/hilburn/se-educ/

IEEE/ACM Software Engineering Coordinating Committee 
http://www.computer.org/tab/swecc/

Graduate Software Engineering Program Survey Results
http://www.cs.ttu.edu/fase/v8n09.txt

Computing Sciences Accreditation Board
http://csab.org/

 
Reverse Engineering: a roadmap
Hausi Muller, Jens Jahnke, Dennis Smith, Margaret-Anne Storey, Scott Tilley, Kenny Wong
IEEE TCSE Committee on Reverse Engineering and Reengineering
http://www.tcse.org/revengr/ 

Reverse Engineering and Reengineering Conferences and Workshops
http://reengineer.org/ 

Data Reverse Engineering
http://reengineer.org/dre/

Web Site Evolution
http://mulford.cs.ucr.edu/stilley/research/wse/index.htm

Tutorial on Understanding Software Systems Using Reverse Engineering Technologies
http://www.rigi.csc.uvic.ca/UVicRevTut/UVicRevTut.html

Reengineering Bibliography
http://www.informatik.uni-stuttgart.de/ifi/ps/reengineering/reengineering.html

An Annotated Reverse Engineering Bibliography
http://adam.wins.uva.nl/~x/reeng/REanno.html

SEI Reengineering Center
http://www.sei.cmu.edu/reengineering/

Software Technology Support Center: Reengineering
http://www.stsc.hill.af.mil/reng/index.asp 

Canadian Consortium for Software Engineering Research
http://www.cser.ca 

A Collective Demonstration of Program Comprehension Tools
http://www.csr.uvic.ca/cascon99/ 

University of Victoria Reverse Engineering Group
http://www.rigi.csc.uvic.ca/

Georgia Tech Reverse Engineering Group
http://www.cc.gatech.edu/reverse

University of Durham Centre for Software Maintenance
http://www.dur.ac.uk/CSM/ 

University of Queensland Binary Translation
http://www.cs.uq.edu.au/groups/csm/uqbt.html

 
Software Engineering for Performance: a roadmap
Rob Pooley
Rob Pooley
http://www.cee.hw.ac.uk/~rjp

Jerome Rolia
http://www.sce.carleton.ca/faculty/rolia.html

Murray Woodside
http://www.sce.carleton.ca/faculty/woodside.html

WOSP2000: Second International Workshop on Software and Performance
http://www.sce.carleton.ca/wosp2000

Performance Engineering Services
http://www.perfeng.com/

Dagstuhl Workshop on System Perfornance Evaluation
http://www.ani.univie.ac.at/dagstuhl97/

University of Dortmund Quantitative Methods
http://ls4-www.informatik.uni-dortmund.de/QM/welcome.html

 
Requirements Engineering: a roadmap
Bashar Nuseibeh & Steve Easterbrook
BCS RE Specialist Group
http://www.cs.york.ac.uk/bcs/resg/

RE Students Newsletter
http://www2.ncsu.edu/unity/lockers/project/re-students

Software Requirements Engineering Mailing List
http://www-comp.mpce.mq.edu.au/~didar/seweb/requirements.html

RENOIR
http://www.cs.ucl.ac.uk/research/renoir/

Requirements Engineering Journal
http://rej.co.umist.ac.uk/

INCOSE Requirements Working Group
http://www.incose.org/rwg/

 
Software Engineering for Security: a roadmap
Premkumar Devanbu & Stuart Stubblebine
Ron Rivest Cryptography and Security
http://www.toc.lcs.mit.edu/~rivest/crypto-security.html

IBM's Patent site (search for keywords like "copy-protection" and "watermarking")
http://www.patents.ibm.com

ACM Transactions on Information and Systems Security
http://www.acm.org/pubs/tissec/

International Assosiaction of Cryptologic Research
http://www.iacr.org

Computer Emergency Response Team
http://www.cert.org

Yahoo links on Security and Encryption
http://dir.yahoo.com/Computers_and_Internet/Security_and_Encryption/

Christian Collberg Software Watermarking, Copy Protection etc.
http://www.cs.arizona.edu/~collberg

ACM  Special Interest Group on Security, Auditing and Control
http://www.acm.org/sigsac/

 
Software Engineering for Mobility: a roadmap
Gruia-Catalin Roman, Amy Murphy & Gian Pietro Pico
Mobility Research at Washington University, St. Louis
http://swarm.cs.wustl.edu/~roman/MobileUnity.html

Calculi for Mobile Processes
http://www.cs.auc.dk/mobility/

MobiWare
http://comet.columbia.edu/mobiware/.index.html

Coda and Odyssey
http://www.cs.cmu.edu/afs/cs/project/coda/Web/coda.html

Ubiquitous Computing
http://nano.xerox.com/hypertext/weiser/UbiHome.html

WaveLan
http://www.wavelan.com/

Bluetooth
http://www.bluetooth.com/

IETF Manet Official Web Page
http://www.ietf.org/html.charters/manet-charter.html

Distributed Objects & Components: Mobile Agents
http://www.cetus-links.org/oo_mobile_agents.html

The Mobile Agent List
http://mole.informatik.uni-stuttgart.de/mal/mal.html

 

Formal Specification: a roadmap
Axel van Lamsweerde
SRI International Computer Science Laboratory, Formal Methods and Dependable Systems
http://www.csl.sri.com/sri-csl-fm.html

WWW Virtual Library: Formal Methods
http://archive.comlab.ox.ac.uk/formal-methods.html

Formal Methods Europe Hub
http://www.cs.tcd.ie/FME/Welcome.html

WWW Virtual Library: The Z Notation
http://archive.comlab.ox.ac.uk/z.html

Atelier-B
http://www.atelierb.societe.com/index_uk.html

Information on VDM 
http://www.csr.ncl.ac.uk/vdm/

RAISE - Rigorous Approach to Industrial Software Engineering
http://www.iist.unu.edu/raise/

Verimag
http://www-verimag.imag.fr/

Constance Heitmeyer, Software Cost Reduction (SCR)
http://chacs.nrl.navy.mil/personnel/heitmeyer.html

The Stanford Temporal Prover
http://theory.stanford.edu/people/zm/step.html

Model Checking at CMU
http://www.cs.cmu.edu/~modelcheck/

MIT, Larch
http://www.sds.lcs.mit.edu/spd/larch/

 
Software Engineering for Middleware: a roadmap
Wolfgang Emmerich
Engineering Distributed Objects
http://www.distributed-objects.com

Object Management Group
http://www.omg.org

The Open Group 
http://www.opengroup.org

Java Source at Sun
http://www.java.sun.com

Microsoft Developers Network
http://www.msdn.com

Cetus Links Distributed Objects & Components
http://www.cetus-links.de/oo_distributed_objects.html

Middleware '98: IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing
http://www.comp.lancs.ac.uk/computing/middleware98/

Middleware 2000: IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing
http://www.research.ibm.com/Middleware2000

ESPRIT Network of Excellence in Distributed Computing Systems Architectures
http://www.newcastle.research.ec.org/cabernet

 
Software Engineering Tools and Environments: a roadmap
Willian Harrison, Harold Ossher & Peri Tarr
IBM Research Separation of Concerns
http://www.research.ibm.com/hyperspace

IBM Research Separation of Concerns
http://www.research.ibm.com/messagecentral

Xerox PARC Aspect Oriented Programming
http://www.parc.xerox.com/csl/projects/aop/

Norteastern University Demeter
http://www.ccs.neu.edu/research/demeter

University of Twente Research and Education on Software Engineering (TRESE)
http://trese.cs.utwente.nl

University of Texas Product Line Architecture Research Group
http://www.cs.utexas.edu/users/schwartz/

Gail Murphy
http://www.cs.ubc.ca/spider/murphy/research.htm

Columbia University Programming Systems Lab 
http://www.psl.cs.columbia.edu/old.html

Arcadia
http://www.ics.uci.edu/~arcadia/

Hewlett-Packard Laboratories Research Systematic Software Reuse & Component-Based Software Engineering
http://www.hpl.hp.com/reuse/

UCSD Software Evolution Group
http://www-cse.ucsd.edu/users/wgg/swevolution.html