4. ESEC 1993: Garmisch-Partenkirchen, Germany
Ian Sommerville, Manfred Paul (Eds.): Software Engineering - ESEC '93, 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993, Proceedings. Springer 1993 Lecture Notes in Computer Science 717 ISBN 3-540-57209-0
Invited Papers
- J. N. Buxton: On the Decline of Classical Programming. 1-9
- David Harel: Computers are not Omnipotent (Abstract). 10
- Carlo Ghezzi, Miguel Felder, Carlo Bellettini: Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. 11-36
- Ernst Denert: Software Engineering in Business and Academia: How Wide is the Gap? 37-47
- Dewayne E. Perry, Carol S. Stieg: Software Faults in Evolving a Large, Real-Time System: a Case Study. 48-67
- Victor R. Basili: The Experience Factory and its Relationship to Other Improvement Paradigms. 68-83
Requirements Specification 1
- Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh: Inconsistency Handling in Multi-Perspective Specifications. 84-99
- 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
- David W. Bustard, Adam C. Winstanley: Making Changes to Formal Specifications: Requirements and an Example. 115-126
Environments 1
- Wolfgang Emmerich, Wilhelm Schäfer, Jim Welsh: Databases for Software Engineering Environments - The Goal has not yet been attained. 145-162
Environments 2
- Alan W. Brown, Edwin J. Morris, Paul F. Zarrella: Experiences with a Federated Environment Testbed. 175-196
- Ian Thomas: Observations on Object Management Systems and Process Support in Environments. 197-212
Systems Engineering 1
- Harald Eggers: Software Technology for a Distributed Telecommunication System. 213-225
- Ulf Cederling: Industrial Software Development - A Case Study. 226-237
Systems Engineering 2
- Annie Kuntzmann-Combelles: Quantitative Approach to Software Management: the ami Method. 238-250
- Johannes Reichardt: Preventative Software Engineering. 251-262
Distributed Software Engineering
- Shing-Chi Cheung, Jeff Kramer: Tractable Flow Analysis for Anomaly Detection in Distributed Programs. 283-300
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
- Michael von der Beeck: Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification. 313-328
Software Engineering and CSCW
- John Gintell, John Arnold, Michael Houde, Jacek Kruszelnicki, Roland McKenney, Gérard Memmi: Scrutiny: A Collaborative Inspection and Review System. 344-360
- Claude Godart: COO: A Transaction Model to Support COOperating Software Developers COOrdination. 361-379
Software Reuse
- Rolf Adams: An Experiment in Software Retrieval. 380-396
- Jun-Jang Jeng, Betty H. C. Cheng: Using Formal Methods to Construct a Software Component Library. 397-417
Software Process
- Chunnian Liu, Reidar Conradi: Automatic Replanning of Task Networks for Process Model Evolution in EPOS. 434-450
- Balachander Krishnamurthy, Naser S. Barghouti: Provence: A Process Visualisation and Enactment Environment. 451-465
- Christian Breiteneder, Thomas A. Mück: Process Programming with Active and Passive Components. 466-482
Formal Aspects of Software Engineering
- Alberto Coen-Porisini, Dino Mandrioli: A Formal Framework for ASTRAL Intra-Level Proof Obligations. 483-500
- François Bourdoncle: Assertion-based Debugging of Imperative Programs by Abstract Interpretation. 501-516
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-12-09T212705 by the dblp team