 |
|
| ESEC/FSE'99 7th European Software Engineering Conference and 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering |
ESEC/FSE'99 7th European Software Engineering Conference and 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering
Preliminary Program
September 6-10, 1999. Toulouse, France
ESEC/FSE'99 Homepage
| Conference Organization | |||
|---|---|---|---|
| General Chair |
Lemoine , M. |
Onera | France |
| Program Chair |
Nierstrasz, O. |
Bern University | Switzerland |
| Tutorials Chair |
Sallé, P. |
INP - Institut National Polytechnique de Toulouse | France |
| Workshops Chair |
Féraud, L. |
IRIT - Institut de Recherche en Informatique de Toulouse Université Paul Sabatier Toulouse | France |
| Local Organization | Brigitte Giacomi |
Onera | France |
| Financial Chair | Luc Bignon |
Onera | France |
| Programme Commitee | ||
|---|---|---|
|
Ambriola, V. |
Universitŕ di Pisa | Italy |
| Antonia Bertolino | IEI-CNR | Italy |
| Theo d'Hondt |
Vrije Universiteit - Belgium | Belgium |
|
Dwyer, M. |
Kansas State University - USA | USA |
| Martin Glinz |
Universität Zurich | Switzerland |
| Paola Inverardi | Universita di Aquila | Italy |
|
Jazayeri, M. |
Technische Universität Wien | Austria |
| Gerti Kappel |
Universität Linz | Austria |
| Paul Klint | CWI | The Netherlands |
|
Koskimies, K. |
Tampere University of Technology | Finland |
|
Kramer, J. |
Imperial College, London - UK | UK |
| Gary Leavens | Iowa State University | USA |
| Simon Moser | Bedag Informatik / ITL | Switzerland |
|
Murphy, G. |
University of British Columbia - Canada | Canada |
|
Nierstrasz, O. |
Bern University - Switzerland | Switzerland |
|
Rosenblum, D. |
University of California - Irvine | USA |
| Martin Shepperd | Bournemouth University | UK |
|
Snelting, G. |
Technische Universität Braunschweig - Germany | Germany |
| Jeanine Souquičres |
LORIA | France |
|
Tichy, W. |
Universität Karlsruhe | Germany |
| Sylvie Vignes | ENST | France |
|
Zündorf, A. |
Universität Paderborn | Germany |
| Sponsors | |
|---|---|
|
ACM - Association for Computing Machinery- Sigsoft CEPIS SUPAERO Onera | |
| Keynote addresses, panels, etc. | ||
|---|---|---|
| Keynote Address | Brian Jones | (1st circumnavigation of the globe with a balloon - Breitling Orbiter 3). Managing the last human challenge of the 20th century: some right ways! |
| Invited Talk | Kent Beck, Daedalos Consulting, Germany | Extreme Programming: a Discipline of Software Development |
| Invited Talk | Czamecki, K., Daimler Benz, Germany | Components and Generative Programming |
Contributions:
| Author(s) | Contribution | Ref. in GDPA |
|---|---|---|
| Session 1A: Components | ||
|
Hauswirth, M. Jazayeri, M. | A Component and Communication Model for Push Systems | /Hauswirth, 1999/ |
|
Mascolo, C. Picco, G. P. Roman , G.-C. | A Fine-Grained Model for Code Mobility | /Mascolo, 1999/ |
|
Gafni, V. | Robots: A Real-Time Systems Architectural Style | /Gafni, 1999/ |
| Session 1B: Software Process | ||
|
Warboys, B. Balasubramaniam, D. Greenwood, R.M. Kirby, G. Mayes, K. Morrison, R. Munro, D. S. | Collaboration and Composition: Issues for a Second Generation Process Language | /Warboys, 1999a/ |
|
Jäger, D. Schleicher, A. Westfechtel, B. | Using UML for Software Process Modeling | /Jäger, 1999/ |
|
Padberg, F. | A Probabilistic Model for Software projects | /Padberg, 1999/ |
| Session 1C: Specification | ||
|
Leveson, N. Heimdahl , P.M.E. Reese, J. | Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future | /Leveson, 1999/ |
|
Gargantini, A. Heitmeyer, C. | Using Model Checking to Generate Tests from Requirements Specifications | /Gargantini, 1999/ |
|
Thompson , J.M. Heimdahl , P.M.E. Miller, P. | Specification-based Prototyping for Embedded Systems | /Thompson , 1999/ |
| Case Studies | ||
|
Anderson , K.M. Brannum, G. | Application on Open Hypermedia to Military Software | /Anderson, 1999/ |
|
Hilera, J.R.G. Martínez, J.J.H. | Evaluation and Selection of CASE tools - a real case | /Hilera, 1999/ |
|
Abbas, R. Kazmierczak, E. Dart, P. | On the importance of Architecture in Collaborative Projects | /Abbas, 1999/ |
|
Bernard, D. Rouge, A. | Application and Impact of a Safety Integrity Level Based Standadrs on a Software Test Approach | /Bernard, 1999/ |
| Demo Session | ||
|
Steindl, C. | Demo session: The Oberon Slicing Tool | /Steindl, 1999/ |
|
Ossher, H. Tarr, P. | Demo session: Hyper/J(tm): Multi Dimensional Separation of Concern for Java(tm) | /Ossher, 1999/ |
| Purper, C. Blanck | Demo session: GDPA: a Learning Environment for Software Process Standards | /Purper, 1999e/ |
| Session 2A: Program Analysis | ||
|
Siff, M. Chandra, S. Ball, T. Kunchithapadam, K. Reps, T.W. | Coping with Type Casts in C | /Siff, 1999/ |
|
Liang , D. Harrold, M.J. | Efficient Points-To Analysis For Whole-Program Analysis | /Liang , 1999/ |
|
Ball, T. | The Concept of Dynamic Analysis | /Ball, 1999/ |
|
Rountev, A. Ryder, B. Landi, W. | Data-Flow Analysis of Program Fragments | /Rountev, 1999/ |
| Session 2B: Testing and Debugging | ||
|
Zeller, A. | Yesterday, my program worked. Today, it does not. Why? | /Zeller.A, 1999/ |
|
Jaramillo, C. Gupta, R. Soffa, M.L. | Comparison Checking: An Approach to Avoid Debugging of Optimized Code | /Jaramillo, 1999/ |
|
Chang, J. Richardson, D. | Structural Specification-based Testing: Automated Support and Experimental Evaluation | /Chang, 1999/ |
|
Gyimóthy, T. Beszédes, Á. Forgács, I. | An Efficient Relevant Slicing Method for Debugging | /Gyimóthy, 1999/ |
| Session 3A: Java | ||
|
Robillard, M. Murphy, G. | Analysing Exception Flow in Java Programs | /Robillard, 1999/ |
|
Naumovich, G. Avrunin, G. Clarke, L. | An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs | /Naumovich, 1999/ |
|
Bokowski, B. | CoffeeStrainer: Statiscally-Checked Constraints on the Definition and Use of Types in Java | /Bokowski, 1999/ |
| Session 3B: Architectures and Models | ||
|
Fierz, H. | The CIP Method: Component- and Model-Based Construction of Embedded Systems | /Fierz, 1999/ |
|
Wermellinger, M. Fiadeiro, J. | Algebraic Software Architecture Reconfiguration | /Wermellinger, 1999/ |
|
Fradet, P. Le Métayer, D. Périn, M. | Consistency Checking for Multiple View Software Architectures | /Fradet, 1999/ |
| Case Studies 2 | ||
|
Bayias, P. Hadzilacos, T. | The Requirements Engineering Process of OASIS: An Industrial Case Study | /Bayias, 1999/ |
|
Valerio, A. Fenaroli, M. | An industrial experience in improving the software process through domain analysis | /Valerio, 1999a/ |
|
Ebert, C. | Integrating Process Improvement and Product Engineering | /Ebert, 1999/ |
|
Gordijn, J. Van Vliet, H. | On the Interaction between Business Models and Software Architecture in Electronic Commerce | /Gordijn, 1999/ |
| Session 4A: Reuse | ||
|
Jarzabek, S. Knauber, P. | Synergy between Component-based and Generative Approaches | /Jarzabek, 1999/ |
|
Bayer, J. Girard, J.F. Wurthner, M. Appel, M. DeBaud, J.M. | Transitioning Legacy Assets to a Product Line Architecture | /Bayer, 1999/ |
|
Dossick, S. Kaiser, G. | CHIME: A Metadata-Based Distributed Software Development Environment | /Dossick, 1999/ |
| Session 4B: Verification and Checking | ||
|
Grimaud, G. Lanet, J.L. Vandewalle, J.J. | FACADE: a typed intermediate language dedicated to smart cards | /Grimaud, 1999/ |
|
Braberman, V. Felder, M. | Verification of Real Time Designs: Combining Scheduling Theory with Automatic Formal Verification | /Braberman, 1999/ |
|
Giannakopoulou, D. Magee, J. Kramer, J. | Checking Progress with Action Priority: Is it Fair? | /Giannakopoulou, 1999/ |
GDPA Online
Last Updated 02.Jan.2002
Updated by Webmaster
Last Revised 02.Jan.2002
Revised by Webmaster
|