LEADER 06110nam 22006855 450 001 996465546003316 005 20200702152021.0 010 $a1-280-30715-3 010 $a9786610307159 010 $a3-540-24721-1 024 7 $a10.1007/b95935 035 $a(CKB)1000000000212326 035 $a(DE-He213)978-3-540-24721-0 035 $a(SSID)ssj0000159757 035 $a(PQKBManifestationID)11946959 035 $a(PQKBTitleCode)TC0000159757 035 $a(PQKBWorkID)10182407 035 $a(PQKB)10319744 035 $a(MiAaPQ)EBC3088130 035 $a(PPN)155210874 035 $a(EXLCZ)991000000000212326 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFundamental Approaches to Software Engineering$b[electronic resource] $e7th 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 /$fedited by Michel Wermelinger, Tiziana Margaria-Steffen 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XIII, 389 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2984 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-21305-8 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $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. 330 $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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2984 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 676 $a005.1 702 $aWermelinger$b Michel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMargaria-Steffen$b Tiziana$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aFASE 2004 906 $aBOOK 912 $a996465546003316 996 $aFundamental Approaches to Software Engineering$9771913 997 $aUNISA LEADER 01152nam 2200301Ia 450 001 996396463803316 005 20221108103913.0 035 $a(CKB)4330000000350886 035 $a(EEBO)2240973752 035 $a(OCoLC)12598665 035 $a(EXLCZ)994330000000350886 100 $a19850925d1642 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 12$aA svpport for the sinking heart in times of distresse, or, A sermon preached in London to uphold hope and allay feare$b[electronic resource] $eIanuary 4th which was a day of great trouble and deepe danger in the city /$fby Simeon Ash 210 $aLondon $cPrinted by G.H. and are to be sold by Thomas Vnderhill...$d1642 215 $a[4], 32 p 300 $aReproduction of original in Thomason Collection, British Library. 330 $aeebo-0158 700 $aAshe$b Simeon$fd. 1662.$01002261 801 0$bEAA 801 1$bEAA 801 2$bm/c 801 2$bWaOLN 906 $aBOOK 912 $a996396463803316 996 $aA svpport for the sinking heart in times of distresse, or, A sermon preached in London to uphold hope and allay feare$92356017 997 $aUNISA