4. ESEC 1993: Garmisch-Partenkirchen, Germany
- 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
- Carlo Ghezzi, Miguel Felder, Carlo Bellettini:
Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. 11-36 - Dewayne E. Perry, Carol S. Stieg:
Software Faults in Evolving a Large, Real-Time System: a Case Study. 48-67
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
Systems Engineering 1
Systems Engineering 2
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
- 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