000 04879nam a22004935i 4500
001 978-3-540-47972-7
003 DE-He213
005 20160624102028.0
007 cr nn 008mamaa
008 121227s1993 gw | s |||| 0|eng d
020 _a9783540479727
_9978-3-540-47972-7
024 7 _a10.1007/3-540-57209-0
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aSoftware Engineering — ESEC '93
_h[electronic resource] :
_b4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings /
_cedited by Ian Sommerville, Manfred Paul.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1993.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1993.
300 _aXII, 520 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v717
505 0 _aOn 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.
520 _aThis 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.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aSpecial Purpose and Application-Based Systems.
700 1 _aSommerville, Ian.
_eeditor.
700 1 _aPaul, Manfred.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540572091
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v717
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-57209-0
942 _2EBK6256
_cEBK
999 _c35550
_d35550