000 04546nam a22005055i 4500
001 978-3-540-45552-3
003 DE-He213
005 20160624102004.0
007 cr nn 008mamaa
008 121227s1995 gw | s |||| 0|eng d
020 _a9783540455523
_9978-3-540-45552-3
024 7 _a10.1007/3-540-60406-5
_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 '95
_h[electronic resource] :
_b5th European Software Engineering Conference Sitges, Spain, September 25–28, 1995 Proceedings /
_cedited by Wilhelm Schäfer, Pere Botella.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1995.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1995.
300 _aXII, 524 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 ;
_v989
505 0 _aDemands and perspectives for future software engineers: An industrial viewpoint -- Why we need object databases -- A personal commitment to software quality -- Distributed modeling and distributed enaction of business processes -- Improvise: Interactive multimedia process visualization environment -- Design process improvement case study using process waiver data -- Using a symbolic model checker for verify safety properties in SA/RT models -- Instrumentation of Synchronous Reactive Models for performance engineering -- A formal framework for ASTRAL inter-level proof obligations -- An objective reuse metric: Model and methodology -- Measuring product attributes of object-oriented systems -- Specifying distributed software architectures -- A specification-based methodology for testing concurrent programs -- Dynamic configuration abstraction -- Handling version sets through feature logic -- Integrating incremental analysis with version management -- Graph grammar engineering with PROGRES -- A structured analysis formalism with execution semantics to allow unambiguous model interpretation -- An integrated formal model of scenarios based on statecharts -- Tool support for formal software development: A generic architecture -- The treatment of non-functional requirements in MIKE -- Supporting design rationale for system evolution -- PQL: A language for specifying abstract program views -- An exploratory study of program metrics as predictors of reachability analysis performance -- An empirical evaluation of three defect-detection techniques -- Assessing the quality of large, software-intensive systems: A case study -- The impact of incremental delivery on maintenance effort: An analytical study -- Metrics for quality factors in the LESD project -- Quantitative evaluations of software quality built in with domain-specific disciplines -- Component Programming — a fresh look at software components -- Designing a framework by stepwise generalization -- Object-oriented re-architecturing.
520 _aThis book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995. The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were carefully selected from more than 150 submissions and address all current aspects of relevance. Among the topics covered are business process (re-)engineering, real-time, software metrics, concurrency, version and configuration management, formal methods, design process, program analysis, software quality, and object-oriented software development.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aProgramming Techniques.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aSpecial Purpose and Application-Based Systems.
700 1 _aSchäfer, Wilhelm.
_eeditor.
700 1 _aBotella, Pere.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540604068
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v989
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-60406-5
942 _2EBK5444
_cEBK
999 _c34738
_d34738