Software Engineering - ESEC '93
Springer Berlin (Verlag)
978-3-540-57209-1 (ISBN)
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? |
aus dem Bereich