Software Engineering - ESEC '93 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings

Software Engineering - ESEC '93 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings / edited by Ian Sommerville, Manfred Paul.

This volume contains the proceedings of the fourth European Software Engineering Conference. It contains 6 invited papers and 27 contributed papers selected from more than 135 submissions. The volume has a mixtureof themes. Some, such as software engineering and computer supported collaborative work...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Sommerville, Ian (Editor), Paul, Manfred (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993.
Edition:1st ed. 1993.
Series:Lecture Notes in Computer Science, 717
Springer eBook Collection.
Subjects:
Software engineering.
Programming languages (Electronic computers).
Special purpose computers.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • On the decline of classical programming
  • Computers are not omnipotent
  • Real-time systems: A survey of approaches to formal specification and verification
  • Software engineering in business and academia: How wide is the gap?
  • Software faults in evolving a large, real-time system: a case study
  • The Experience Factory and its relationship to other Improvement Paradigms
  • Inconsistency handling in multi-perspective specifications
  • Requirements engineering: An integrated view of representation, process, and domain
  • Making changes to formal specifications: Requirements and an example
  • Formal requirements made practical
  • Databases for software engineering environments
  • A regression testing database model
  • Experiences with a federated environment testbed
  • Observations on object management systems and process support in environments
  • Software technology for a distributed telecommunication system
  • Industrial software development — a case study
  • Quantitative approach to software management: the ami method
  • Preventative software engineering
  • Distributed information systems: An advanced methodology
  • Tractable flow analysis for anomaly detection in distributed programs
  • A pragmatic task design approach based on a Ward/Mellor real-time structured specification
  • Integration of structured analysis and timed statecharts for real-time and concurrency specification
  • Language constructs for cooperative systems design
  • Scrutiny: A collaborative inspection and review system
  • COO: A transaction model to support cooperating software developers Coordination
  • An experiment in software retrieval
  • Using formal methods to construct a software component library
  • Capsule oriented reverse engineering for software reuse
  • Automatic replanning of task networks for process model evolution in EPOS
  • Provence: A process visualization and enactment environment
  • Process programming with active and passive components
  • A formal framework for ASTRAL intra-level proof obligations
  • Assertion-based debugging of imperative programs by abstract interpretation.

Similar Items