Software Engineering — ESEC '93 [electronic resource] : 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings /

Software Engineering — ESEC '93 [electronic resource] : 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings /

Show other versions (1)

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.

Saved in:
Bibliographic Details
Main Authors: Sommerville, Ian. editor., Paul, Manfred. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993
Subjects:Computer science., Special purpose computers., Software engineering., Programming languages (Electronic computers)., Computer Science., Software Engineering/Programming and Operating Systems., Software Engineering., Programming Languages, Compilers, Interpreters., Special Purpose and Application-Based Systems.,
Online Access:http://dx.doi.org/10.1007/3-540-57209-0
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:198460
record_format koha
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Computer science.
Special purpose computers.
Software engineering.
Programming languages (Electronic computers).
Computer Science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer science.
Special purpose computers.
Software engineering.
Programming languages (Electronic computers).
Computer Science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
spellingShingle Computer science.
Special purpose computers.
Software engineering.
Programming languages (Electronic computers).
Computer Science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer science.
Special purpose computers.
Software engineering.
Programming languages (Electronic computers).
Computer Science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Sommerville, Ian. editor.
Paul, Manfred. editor.
SpringerLink (Online service)
Software Engineering — ESEC '93 [electronic resource] : 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings /
description 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.
format Texto
topic_facet Computer science.
Special purpose computers.
Software engineering.
Programming languages (Electronic computers).
Computer Science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
author Sommerville, Ian. editor.
Paul, Manfred. editor.
SpringerLink (Online service)
author_facet Sommerville, Ian. editor.
Paul, Manfred. editor.
SpringerLink (Online service)
author_sort Sommerville, Ian. editor.
title Software Engineering — ESEC '93 [electronic resource] : 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings /
title_short Software Engineering — ESEC '93 [electronic resource] : 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings /
title_full Software Engineering — ESEC '93 [electronic resource] : 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings /
title_fullStr Software Engineering — ESEC '93 [electronic resource] : 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings /
title_full_unstemmed Software Engineering — ESEC '93 [electronic resource] : 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings /
title_sort software engineering — esec '93 [electronic resource] : 4th european software engineering conference garmisch-partenkirchen, germany september 13–17, 1993 proceedings /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 1993
url http://dx.doi.org/10.1007/3-540-57209-0
work_keys_str_mv AT sommervilleianeditor softwareengineeringesec93electronicresource4theuropeansoftwareengineeringconferencegarmischpartenkirchengermanyseptember13171993proceedings
AT paulmanfrededitor softwareengineeringesec93electronicresource4theuropeansoftwareengineeringconferencegarmischpartenkirchengermanyseptember13171993proceedings
AT springerlinkonlineservice softwareengineeringesec93electronicresource4theuropeansoftwareengineeringconferencegarmischpartenkirchengermanyseptember13171993proceedings
_version_ 1756267157220491264
spelling KOHA-OAI-TEST:1984602018-07-30T23:25:07ZSoftware Engineering — ESEC '93 [electronic resource] : 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings / Sommerville, Ian. editor. Paul, Manfred. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1993.engThis 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.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 model evolution 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.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.Computer science.Special purpose computers.Software engineering.Programming languages (Electronic computers).Computer Science.Software Engineering/Programming and Operating Systems.Software Engineering.Programming Languages, Compilers, Interpreters.Special Purpose and Application-Based Systems.Springer eBookshttp://dx.doi.org/10.1007/3-540-57209-0URN:ISBN:9783540479727

Similar Items