000 05874nam a22006135i 4500
001 978-3-540-48166-9
003 DE-He213
005 20240423132450.0
007 cr nn 008mamaa
008 121227s1999 gw | s |||| 0|eng d
020 _a9783540481669
_9978-3-540-48166-9
024 7 _a10.1007/3-540-48166-4
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aSoftware Engineering - ESEC/FSE '99
_h[electronic resource] :
_b7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings /
_cedited by Oskar Nierstrasz, Michel Lemoine.
250 _a1st ed. 1999.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c1999.
300 _aXII, 536 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,
_x1611-3349 ;
_v1687
505 0 _aExtreme Programming: A Discipline of Software Development -- Components and Generative Programming -- A Component and Communication Model for Push Systems -- A Fine-Grained Model for Code Mobility -- Robots: A Real-Time Systems Architectural Style -- Collaboration and Composition: Issues for a Second Generation Process Language -- Using UML for Software Process Modeling -- A Probabilistic Model for Software Projects -- Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future? -- Using Model Checking to Generate Tests from Requirements Specifications -- Specification-Based Prototyping for Embedded Systems’ -- Coping with Type Casts in C -- Efficient Points-to Analysis for Whole-Program Analysis -- The Concept of Dynamic Analysis -- Data-Flow Analysis of Program Fragments -- Yesterday, my Program Worked. Today, it Does Not. Why? -- Comparison Checking: An Approach to Avoid Debugging of Optimized Code -- Structural Specification-Based Testing: Automated Support and Experimental Evaluation -- An Efficient Relevant Slicing Method for Debugging -- Analyzing Exception Flow in Java™ Programs -- An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs -- CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java -- The CIP Method: Component- and Model-Based Construction of Embedded Systems -- Algebraic Software Architecture Reconfiguration -- Consistency Checking for Multiple View Software Architectures -- Synergy Between Component-Based and Generative Approaches -- Transitioning Legacy Assets to a Product Line Architecture -- CHIME: A Metadata-Based Distributed Software Development Environment -- FACADE: A Typed Intermediate Language Dedicated to Smart Cards -- Verification of Real-Time Designs:Combining Scheduling Theory with Automatic Formal Verification -- Checking Progress with Action Priority: Is it Fair?.
520 _aFor the second time, the European Software Engineering Conference is being held jointly with the ACM SIGSOFT Symposium on the Foundations of Software Engine- ing (FSE). Although the two conferences have different origins and traditions, there is a significant overlap in intent and subject matter. Holding the conferences jointly when they are held in Europe helps to make these thematic links more explicit, and enco- ages researchers and practitioners to attend and submit papers to both events. The ESEC proceedings have traditionally been published by Springer-Verlag, as they are again this year, but by special arrangement, the proceedings will be distributed to members of ACM SIGSOFT, as is usually the case for FSE. ESEC/FSE is being held as a single event, rather than as a pair of collocated events. Submitted papers were therefore evaluated by a single program committee. ESEC/FSE represents a broad range of software engineering topics in (mainly) two continents, and consequently the program committee members were selected to represent a spectrum of both traditional and emerging software engineering topics. A total of 141 papers were submitted from around the globe. Of these, nearly half were classified as research - pers,aquarterasexperiencepapers,andtherestasbothresearchandexperiencepapers. Twenty-nine papers from five continents were selected for presentation and inclusion in the proceedings. Due to the large number of industrial experience reports submitted, we have also introduced this year two sessions on short case study presentations.
650 0 _aSoftware engineering.
650 0 _aComputer programming.
650 0 _aCompilers (Computer programs).
650 0 _aComputer science.
650 0 _aElectronic data processing
_xManagement.
650 1 4 _aSoftware Engineering.
650 2 4 _aProgramming Techniques.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aIT Operations.
700 1 _aNierstrasz, Oskar.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aLemoine, Michel.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540665380
776 0 8 _iPrinted edition:
_z9783662184851
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v1687
856 4 0 _uhttps://doi.org/10.1007/3-540-48166-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c188058
_d188058