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...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
717 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Software engineering, ESEC '93, 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 1993, proceedings, Ian Sommerville, Manfred Paul, eds, Berlin, Springer-Verlag, 1993, 1 vol. (XII-516 p.), Lecture notes in computer science, 3-540-57209-0 • Software Engineering - ESEC '93, Texte imprimé, 9783662179338 |
Table des matières:
- 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.