4. ESEC 1993: Garmisch-Partenkirchen, Germany

@proceedings{DBLP:conf/esec/1993,
  editor    = {Ian Sommerville and
               Manfred Paul},
  title     = {Software Engineering - ESEC '93, 4th European Software Engineering
               Conference, Garmisch-Partenkirchen, Germany, September 13-17,
               1993, Proceedings},
  booktitle = {ESEC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {717},
  year      = {1993},
  isbn      = {3-540-57209-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

• J. N. Buxton: On the Decline of Classical Programming. 1-9 BibTeX
• David Harel: Computers are not Omnipotent (Abstract). 10 BibTeX
• Carlo Ghezzi, Miguel Felder, Carlo Bellettini: Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. 11-36 BibTeX
• Ernst Denert: Software Engineering in Business and Academia: How Wide is the Gap? 37-47 BibTeX
• Dewayne E. Perry, Carol S. Stieg: Software Faults in Evolving a Large, Real-Time System: a Case Study. 48-67 BibTeX
• Victor R. Basili: The Experience Factory and its Relationship to Other Improvement Paradigms. 68-83 BibTeX

Requirements Specification 1

• Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh: Inconsistency Handling in Multi-Perspective Specifications. 84-99 BibTeX
• 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 BibTeX

Requirements Specification 2

• David W. Bustard, Adam C. Winstanley: Making Changes to Formal Specifications: Requirements and an Example. 115-126 BibTeX
• Jacques Hagelstein, Dominique Roelants, Pierre Wodon: Formal Requirements Made Practical. 127-144 BibTeX

Environments 1

• Wolfgang Emmerich, Wilhelm Schäfer, Jim Welsh: Databases for Software Engineering Environments - The Goal has not yet been attained. 145-162 BibTeX
• Lulu Liu, David J. Robson, Rod Ellis: A Regression Testing Database Model. 163-174 BibTeX

Environments 2

• Alan W. Brown, Edwin J. Morris, Paul F. Zarrella: Experiences with a Federated Environment Testbed. 175-196 BibTeX
• Ian Thomas: Observations on Object Management Systems and Process Support in Environments. 197-212 BibTeX

Systems Engineering 1

• Harald Eggers: Software Technology for a Distributed Telecommunication System. 213-225 BibTeX
• Ulf Cederling: Industrial Software Development - A Case Study. 226-237 BibTeX

Systems Engineering 2

• Annie Kuntzmann-Combelles: Quantitative Approach to Software Management: the ami Method. 238-250 BibTeX
• Johannes Reichardt: Preventative Software Engineering. 251-262 BibTeX

Distributed Software Engineering

• Alfred Aue, Michael Breu: Distributed Information Systems: An Advanced Methology. 263-282 BibTeX
• Shing-Chi Cheung, Jeff Kramer: Tractable Flow Analysis for Anomaly Detection in Distributed Programs. 283-300 BibTeX

Real-Time Systems

• 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 BibTeX
• Michael von der Beeck: Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification. 313-328 BibTeX

Software Engineering and CSCW

• Flavio De Paoli, Francesco Tisato: Language Constructs for Cooperative Systems Design. 329-343 BibTeX
• John Gintell, John Arnold, Michael Houde, Jacek Kruszelnicki, Roland McKenney, Gérard Memmi: Scrutiny: A Collaborative Inspection and Review System. 344-360 BibTeX
• Claude Godart: COO: A Transaction Model to Support COOperating Software Developers COOrdination. 361-379 BibTeX

Software Reuse

• Rolf Adams: An Experiment in Software Retrieval. 380-396 BibTeX
• Jun-Jang Jeng, Betty H. C. Cheng: Using Formal Methods to Construct a Software Component Library. 397-417 BibTeX
• Harald Gall, René Klösch: Capsule Oriented Reverse Engineering for Software Reuse. 418-433 BibTeX

Software Process

• Chunnian Liu, Reidar Conradi: Automatic Replanning of Task Networks for Process Model Evolution in EPOS. 434-450 BibTeX
• Balachander Krishnamurthy, Naser S. Barghouti: Provence: A Process Visualisation and Enactment Environment. 451-465 BibTeX
• Christian Breiteneder, Thomas A. Mück: Process Programming with Active and Passive Components. 466-482 BibTeX

Formal Aspects of Software Engineering

• Alberto Coen-Porisini, Dino Mandrioli: A Formal Framework for ASTRAL Intra-Level Proof Obligations. 483-500 BibTeX
• François Bourdoncle: Assertion-based Debugging of Imperative Programs by Abstract Interpretation. 501-516 BibTeX