ask others

4. ESEC 1993: Garmisch-Partenkirchen, Germany

> Home > Conferences and Workshops > ESEC

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/1993
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/1993
Ian Sommerville, Manfred Paul:
Software Engineering - ESEC '93, 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993, Proceedings. Lecture Notes in Computer Science 717, Springer 1993, ISBN 3-540-57209-0

Invited Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/Buxton93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/Buxton93
J. N. Buxton:
On the Decline of Classical Programming. 1-9
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/Harel93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/Harel93
David Harel:
Computers are not Omnipotent (Abstract). 10
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/GhezziFB93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/GhezziFB93
Carlo Ghezzi, Miguel Felder, Carlo Bellettini:
Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. 11-36
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/Denert93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/Denert93
Ernst Denert:
Software Engineering in Business and Academia: How Wide is the Gap? 37-47
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/PerryS93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/PerryS93
Dewayne E. Perry, Carol S. Stieg:
Software Faults in Evolving a Large, Real-Time System: a Case Study. 48-67
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/Basili93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/Basili93
Victor R. Basili:
The Experience Factory and its Relationship to Other Improvement Paradigms. 68-83

Requirements Specification 1

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/FinkelsteinGHKN93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/FinkelsteinGHKN93
Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh:
Inconsistency Handling in Multi-Perspective Specifications. 84-99
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/JarkePJBAHWRPSSJMTVCS93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/JarkePJBAHWRPSSJMTVCS93
Matthias Jarke, Klaus Pohl, Stephan Jacobs, Janis A. Bubenko Jr., Petia Assenova, Peter Holm, Benkt Wangler, Colette Rolland, Véronique Plihon, Jean-Roch Schmitt, Alistair G. Sutcliffe, Sara Jones, Neil A. M. Maiden, David Till, Yannis Vassiliou, Panos Constantopoulos, George Spanoudakis:
Requirements Engineering: An Integrated View of Representation, Process, and Domain. 100-114

Requirements Specification 2

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/BustardW93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/BustardW93
David W. Bustard, Adam C. Winstanley:
Making Changes to Formal Specifications: Requirements and an Example. 115-126
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/HagelsteinRW93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/HagelsteinRW93
Jacques Hagelstein, Dominique Roelants, Pierre Wodon:
Formal Requirements Made Practical. 127-144

Environments 1

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/EmmerichSW93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/EmmerichSW93
Wolfgang Emmerich, Wilhelm Schäfer, Jim Welsh:
Databases for Software Engineering Environments - The Goal has not yet been attained. 145-162
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/LiuRE93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/LiuRE93
Lulu Liu, David J. Robson, Rod Ellis:
A Regression Testing Database Model. 163-174

Environments 2

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/BrownMZ93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/BrownMZ93
Alan W. Brown, Edwin J. Morris, Paul F. Zarrella:
Experiences with a Federated Environment Testbed. 175-196
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/Thomas93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/Thomas93
Ian Thomas:
Observations on Object Management Systems and Process Support in Environments. 197-212

Systems Engineering 1

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/Eggers93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/Eggers93
Harald Eggers:
Software Technology for a Distributed Telecommunication System. 213-225
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/Cederling93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/Cederling93
Ulf Cederling:
Industrial Software Development - A Case Study. 226-237

Systems Engineering 2

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/Kunzmann-Combelles93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/Kunzmann-Combelles93
Annie Kuntzmann-Combelles:
Quantitative Approach to Software Management: the ami Method. 238-250
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/Reichardt93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/Reichardt93
Johannes Reichardt:
Preventative Software Engineering. 251-262

Distributed Software Engineering

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/AueB93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/AueB93
Alfred Aue, Michael Breu:
Distributed Information Systems: An Advanced Methology. 263-282
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/CheungK93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/CheungK93
Shing-Chi Cheung, Jeff Kramer:
Tractable Flow Analysis for Anomaly Detection in Distributed Programs. 283-300

Real-Time Systems

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/TuyaSZC93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/TuyaSZC93
Javier Tuya, Luciano Sánchez, R. Zurita, José A. Corrales:
A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification. 301-312
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/Beeck93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/Beeck93
Michael von der Beeck:
Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification. 313-328

Software Engineering and CSCW

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/PaoliT93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/PaoliT93
Flavio De Paoli, Francesco Tisato:
Language Constructs for Cooperative Systems Design. 329-343
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/GintellAHKMM93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/GintellAHKMM93
John Gintell, John Arnold, Michael Houde, Jacek Kruszelnicki, Roland McKenney, Gérard Memmi:
Scrutiny: A Collaborative Inspection and Review System. 344-360
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/Godart93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/Godart93
Claude Godart:
COO: A Transaction Model to Support COOperating Software Developers COOrdination. 361-379

Software Reuse

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/Adams93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/Adams93
Rolf Adams:
An Experiment in Software Retrieval. 380-396
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/JengC93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/JengC93
Jun-Jang Jeng, Betty H. C. Cheng:
Using Formal Methods to Construct a Software Component Library. 397-417
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/GallK93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/GallK93
Harald C. Gall, René Klösch:
Capsule Oriented Reverse Engineering for Software Reuse. 418-433

Software Process

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/LiuC93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/LiuC93
Chunnian Liu, Reidar Conradi:
Automatic Replanning of Task Networks for Process Model Evolution in EPOS. 434-450
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/KrishnamurthyB93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/KrishnamurthyB93
Balachander Krishnamurthy, Naser S. Barghouti:
Provence: A Process Visualisation and Enactment Environment. 451-465
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/BreitenederM93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/BreitenederM93
Christian Breiteneder, Thomas A. Mück:
Process Programming with Active and Passive Components. 466-482

Formal Aspects of Software Engineering

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/Coen-PorisiniM93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/Coen-PorisiniM93
Alberto Coen-Porisini, Dino Mandrioli:
A Formal Framework for ASTRAL Intra-Level Proof Obligations. 483-500
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esec/Bourdoncle93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esec/Bourdoncle93
François Bourdoncle:
Assertion-based Debugging of Imperative Programs by Abstract Interpretation. 501-516

maintained by

at