000 05307nam a22005655i 4500
001 978-3-540-24721-0
003 DE-He213
005 20240423125600.0
007 cr nn 008mamaa
008 121227s2004 gw | s |||| 0|eng d
020 _a9783540247210
_9978-3-540-24721-0
024 7 _a10.1007/b95935
_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 _aFundamental Approaches to Software Engineering
_h[electronic resource] :
_b7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - april 2, 2004, Proceedings /
_cedited by Michel Wermelinger, Tiziana Margaria-Steffen.
250 _a1st ed. 2004.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2004.
300 _aXIII, 389 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 ;
_v2984
505 0 _aInvited Contributions -- Distributed Information Management with XML and Web Services -- A Formal Treatment of Context-Awareness -- Objects and Aspects -- Consistent Adaptation and Evolution of Class Diagrams during Refinement -- Measuring Aspect Cohesion -- Refactoring Object-Z Specifications -- Smart Cards -- Checking Absence of Illicit Applet Interactions: A Case Study -- A Tool-Assisted Framework for Certified Bytecode Verification -- Reasoning about Card Tears and Transactions in Java Card -- Components I -- Predictable Dynamic Plugin Systems -- A Correlation Framework for the CORBA Component Model -- Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems -- Security and Web Services -- Actor-Centric Modeling of User Rights -- Modeling Role-Based Access Control Using Parameterized UML Models -- Compositional Nested Long Running Transactions -- DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets -- Modeling and Requirements -- Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation -- An Operational Semantics for Stateflow -- Improving Use Case Based Requirements Using Formally Grounded Specifications -- The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design -- Testing -- Automated Debugging Using Path-Based Weakest Preconditions -- Filtering TOBIAS Combinatorial Test Suites -- Systematic Testing of Software Architectures in the C2 Style -- Model Checking and Analysis -- Optimising Communication Structure for Model Checking -- Translating Software Designs for Model Checking -- Enhancing Remote Method Invocation through Type-Based Static Analysis.-Specification and Analysis of Real-Time Systems Using Real-Time Maude -- Components II -- A Systematic Methodology for Developing Component Frameworks -- Automating Decisions in Component Composition Based on Propagation of Requirements.
520 _aETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci?c to the satellite events). The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools that support these act- ities are all well within its scope. Di?erent blends of theory and practice are r- resented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and theemphasisonsoftwareisnotintendedtobeexclusive.
650 0 _aSoftware engineering.
650 0 _aCompilers (Computer programs).
650 0 _aComputer science.
650 1 4 _aSoftware Engineering.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aComputer Science Logic and Foundations of Programming.
700 1 _aWermelinger, Michel.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aMargaria-Steffen, Tiziana.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540213055
776 0 8 _iPrinted edition:
_z9783662185254
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2984
856 4 0 _uhttps://doi.org/10.1007/b95935
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c179535
_d179535