Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th 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
- John 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 - Jacques Hagelstein, Dominique Roelants, Pierre L. Wodon:
Formal Requirements Made Practical. 127-144
Environments 1
- Wolfgang Emmerich, Wilhelm Schäfer, Jim Welsh:
Databases for Software Engineering Environments - The Goal has not yet been attained. 145-162 - Lulu Liu, David J. Robson, Rod Ellis:
A Regression Testing Database Model. 163-174
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
- Alfred Aue, Michael Breu:
Distributed Information Systems: An Advanced Methology. 263-282 - 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
- Flavio De Paoli, Francesco Tisato:
Language Constructs for Cooperative Systems Design. 329-343 - John Gintell, John E. 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 - Harald C. Gall, René Klösch:
Capsule Oriented Reverse Engineering for Software Reuse. 418-433
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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-10 18:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
