Software Engineering - ESEC '93

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

Ian Sommerville, Manfred Paul (Herausgeber)

Buch | Softcover
XII, 520 Seiten
1993 | 1993
Springer Berlin (Verlag)
978-3-540-57209-1 (ISBN)

Lese- und Medienproben

Software Engineering - ESEC '93 -
53,49 inkl. MwSt
This volume contains the proceedings of the fourth EuropeanSoftware Engineering Conference. It contains 6 invitedpapers and 27 contributed papers selected from more than 135submissions.The volume has a mixtureof themes. Some, such as softwareengineering and computer supported collaborative work, areforward-looking and anticipate future developments; others,such as systems engineering, are more concerned with reportsof practical industrial applications. Some topics, such assoftware reuse, reflect the fact that some of the concernsfirst raised in 1969 when software engineering was bornremain unsolved problems.The contributed papers are organized under the followingheadings: requirements specification, environments, systemsengineering, distributed software engineering, real-timesystems, software engineering and computer supportedcollaborative work, software reuse, software process, andformal aspects of software engineering.

Ian Somerville is a strategy consultant, executive educator, and social entrepreneur. As managing partner of Somerville & Associates, he engages businesses, governments, and community-based organizations in bringing about breakthrough economic and social results. As a former managing partner with Accenture, he founded and led strategy consulting practices and the firm's global business think tank.

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 modelevolution 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.

Erscheint lt. Verlag 30.8.1993
Reihe/Serie Lecture Notes in Computer Science
Zusatzinfo XII, 520 p.
Verlagsort Berlin
Sprache englisch
Maße 216 x 279 mm
Gewicht 801 g
Themenwelt Mathematik / Informatik Informatik Software Entwicklung
Informatik Theorie / Studium Compilerbau
Informatik Theorie / Studium Künstliche Intelligenz / Robotik
Schlagworte Debugging • Design • ESEC '93 • ESEC '93 • Hardcover, Softcover / Informatik, EDV/Informatik • Management • programming • Requirements Engineering • Requirements Specification • Requirements Spezifikation • Software-Engineering • Software Engineering Environment • Software-Engineering Umgebungen • Software Process • Softwareprozeß • Software Reuse • Softwarewiederverwendung • structured analysis • Testing • verification
ISBN-10 3-540-57209-0 / 3540572090
ISBN-13 978-3-540-57209-1 / 9783540572091
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und Anwendungen

von Hanspeter Mössenböck

Buch | Softcover (2024)
dpunkt (Verlag)
29,90
a beginner's guide to learning llvm compiler tools and core …

von Kai Nacke

Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
49,85