Ebook: Software Engineering — ESEC '93: 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings

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, are forward-looking and anticipate future developments; others, such as systems engineering, are more concerned with reports of practical industrial applications. Some topics, such as software reuse, reflect the fact that some of the concerns first raised in 1969 when software engineering was born remain unsolved problems. 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 process, and formal aspects of software engineering.

---

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, are forward-looking and anticipate future developments; others, such as systems engineering, are more concerned with reports of practical industrial applications. Some topics, such as software reuse, reflect the fact that some of the concerns first raised in 1969 when software engineering was born remain unsolved problems. 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 process, and formal aspects of software engineering.

---

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, are forward-looking and anticipate future developments; others, such as systems engineering, are more concerned with reports of practical industrial applications. Some topics, such as software reuse, reflect the fact that some of the concerns first raised in 1969 when software engineering was born remain unsolved problems. 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 process, and formal aspects of software engineering.
Content:
Front Matter....Pages -
On the decline of classical programming....Pages 1-9
Computers are not omnipotent....Pages 10-10
Real-time systems: A survey of approaches to formal specification and verification....Pages 11-36
Software engineering in business and academia: How wide is the gap?....Pages 37-47
Software faults in evolving a large, real-time system: a case study....Pages 48-67
The Experience Factory and its relationship to other Improvement Paradigms....Pages 68-83
Inconsistency handling in multi-perspective specifications....Pages 84-99
Requirements engineering: An integrated view of representation, process, and domain....Pages 100-114
Making changes to formal specifications: Requirements and an example....Pages 115-126
Formal requirements made practical....Pages 127-144
Databases for software engineering environments....Pages 145-162
A regression testing database model....Pages 163-174
Experiences with a federated environment testbed....Pages 175-196
Observations on object management systems and process support in environments....Pages 197-212
Software technology for a distributed telecommunication system....Pages 213-225
Industrial software development — a case study....Pages 226-237
Quantitative approach to software management: the ami method....Pages 238-250
Preventative software engineering....Pages 251-262
Distributed information systems: An advanced methodology....Pages 263-282
Tractable flow analysis for anomaly detection in distributed programs....Pages 283-300
A pragmatic task design approach based on a Ward/Mellor real-time structured specification....Pages 301-312
Integration of structured analysis and timed statecharts for real-time and concurrency specification....Pages 313-328
Language constructs for cooperative systems design....Pages 329-343
Scrutiny: A collaborative inspection and review system....Pages 344-360
COO: A transaction model to support cooperating software developers Coordination....Pages 361-379
An experiment in software retrieval....Pages 380-396
Using formal methods to construct a software component library....Pages 397-417
Capsule oriented reverse engineering for software reuse....Pages 418-433
Automatic replanning of task networks for process model evolution in EPOS....Pages 434-450
Provence: A process visualization and enactment environment....Pages 451-465
Process programming with active and passive components....Pages 466-482
A formal framework for ASTRAL intra-level proof obligations....Pages 483-500
Assertion-based debugging of imperative programs by abstract interpretation....Pages 501-516
Back Matter....Pages -

---

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, are forward-looking and anticipate future developments; others, such as systems engineering, are more concerned with reports of practical industrial applications. Some topics, such as software reuse, reflect the fact that some of the concerns first raised in 1969 when software engineering was born remain unsolved problems. 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 process, and formal aspects of software engineering.
Content:
Front Matter....Pages -
On the decline of classical programming....Pages 1-9
Computers are not omnipotent....Pages 10-10
Real-time systems: A survey of approaches to formal specification and verification....Pages 11-36
Software engineering in business and academia: How wide is the gap?....Pages 37-47
Software faults in evolving a large, real-time system: a case study....Pages 48-67
The Experience Factory and its relationship to other Improvement Paradigms....Pages 68-83
Inconsistency handling in multi-perspective specifications....Pages 84-99
Requirements engineering: An integrated view of representation, process, and domain....Pages 100-114
Making changes to formal specifications: Requirements and an example....Pages 115-126
Formal requirements made practical....Pages 127-144
Databases for software engineering environments....Pages 145-162
A regression testing database model....Pages 163-174
Experiences with a federated environment testbed....Pages 175-196
Observations on object management systems and process support in environments....Pages 197-212
Software technology for a distributed telecommunication system....Pages 213-225
Industrial software development — a case study....Pages 226-237
Quantitative approach to software management: the ami method....Pages 238-250
Preventative software engineering....Pages 251-262
Distributed information systems: An advanced methodology....Pages 263-282
Tractable flow analysis for anomaly detection in distributed programs....Pages 283-300
A pragmatic task design approach based on a Ward/Mellor real-time structured specification....Pages 301-312
Integration of structured analysis and timed statecharts for real-time and concurrency specification....Pages 313-328
Language constructs for cooperative systems design....Pages 329-343
Scrutiny: A collaborative inspection and review system....Pages 344-360
COO: A transaction model to support cooperating software developers Coordination....Pages 361-379
An experiment in software retrieval....Pages 380-396
Using formal methods to construct a software component library....Pages 397-417
Capsule oriented reverse engineering for software reuse....Pages 418-433
Automatic replanning of task networks for process model evolution in EPOS....Pages 434-450
Provence: A process visualization and enactment environment....Pages 451-465
Process programming with active and passive components....Pages 466-482
A formal framework for ASTRAL intra-level proof obligations....Pages 483-500
Assertion-based debugging of imperative programs by abstract interpretation....Pages 501-516
Back Matter....Pages -
....