Software Engineering - ESEC '93

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

Häftad, Engelska, 1993

709 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This volume constitutes the proceedings of the 4th European Software Engineering Conference. It contains 6 invited papers and 27 contributed papers selected from more than 135 submissions. The volume has a mixture of themes. Some, such as software engineering and computer supported collaborative work, anticipate future developments; others, such as systems engineering, are more concerned with reports of practical industrial applications. The contributed papers are organized under the following headings: requirements specification; environments; systems engineering; distributed software engineering; real-time systems; software engineering and computer supported collaborative work; software reuse; software processes; and formal aspects of software engineering.

Produktinformation

Utgivningsdatum1993-08-30
Mått216 x 279 x 29 mm
Vikt803 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor520
Upplaga1993
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540572091

Tillhör följande kategorier

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.

Du kanske också är intresserad av

GI — 17. Jahrestagung Computerintegrierter Arbeitsplatz im Büro

Manfred Paul

Häftad

659 kr

Formal Description of Programming Concepts

Erich J. Neuhold, Manfred Paul, Erich Neuhold

Inbunden

1 409 kr

Distributed Systems

M.W. Alford, J.P. Ansart, G. Hommel, L. Lamport, B. Liskov, G.P. Mullery, F.B. Schneider, M. W. Alford, J. P. Ansart, G. P. Mullery, F. B. Schneider, Manfred Paul, H.J. Siegert, H. J. Siegert