LEADER 00949nam a2200229 a 4500 001 991000960299707536 008 101122s2010 it 001 0 ita 020 $a9788855530781 035 $ab13938332-39ule_inst 040 $a9788855530781Dip.to Studi Storici$bita 082 04$a303.48209 245 10$aSpazi contesi spazi condivisi :$bgeografie dell'interculturalitā /$ca cura di Girolamo Cusimano 260 $aBologna :$bPātron,$c2010 300 $a201 p. :$bill. ;$c24 cm. 440 0$aGeografia e organizzazione dello sviluppo territoriale.$pStudi regionali e monografici; $v49 700 1 $aCusimano, Girolamo 907 $a.b13938332$b02-04-14$c22-11-10 912 $a991000960299707536 945 $aLE023 303.482 SPA 1 1 $g1$i2023000122020$lle023$o-$pE17.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i15200279$z22-11-10 996 $aSpazi contesi spazi condivisi$9249858 997 $aUNISALENTO 998 $ale023$b06-12-10$cm$da $e-$fita$git $h0$i0 LEADER 05554nam 22007095 450 001 9910143888203321 005 20251116234249.0 010 $a3-540-36578-8 024 7 $a10.1007/3-540-36578-8 035 $a(CKB)1000000000211951 035 $a(SSID)ssj0000323373 035 $a(PQKBManifestationID)11242989 035 $a(PQKBTitleCode)TC0000323373 035 $a(PQKBWorkID)10296652 035 $a(PQKB)11353637 035 $a(DE-He213)978-3-540-36578-5 035 $a(MiAaPQ)EBC3073066 035 $a(PPN)155172948 035 $a(BIP)13523300 035 $a(BIP)8466019 035 $a(EXLCZ)991000000000211951 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFundamental Approaches to Software Engineering $e6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /$fedited by Mauro Pezzč 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (XIV, 407 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2621 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-00899-3 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aKeynote -- Symbiosis of Static Analysis and Program Testing -- Software Components -- An Ontology for Software Component Matching -- A Description Language for Composable Components -- A Logical Basis for the Specification of Reconfigurable Component-Based Systems -- An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems -- Mobile Computing -- Composing Specifications of Event Based Applications -- A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems -- Spatial Security Policies for Mobile Agents in a Sentient Computing Environment -- Aspect and Object-Oriented Programming -- Towards UML-Based Formal Specifications of Component-Based Real-Time Software -- Modelling Recursive Calls with UML State Diagrams -- Pipa: A Behavioral Interface Specification Language for Aspect -- PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features -- Distributed and Web Applications -- Model-Based Development of Web Applications Using Graphical Reaction Rules -- Modular Analysis of Dataflow Process Networks -- Software Measurements -- Foundations of a Weak Measurement-Theoretic Approach to Software Measurement -- An Information-Based View of Representational Coupling in Object-Oriented Systems -- Formal Verification -- A Temporal Approach to Specification and Verification of Pointer Data-Structures -- A Program Logic for Handling Java Card?s Transaction Mechanism -- Monad-Independent Hoare Logic in HASCASL -- Visual Specifications of Policies and Their Verification -- Analysis and Testing -- Automatic Model Driven Animation of SCR Specifications -- Probe Mechanism for Object-Oriented Software Testing -- Model Checking Software via Abstraction of Loop Transitions -- Model Integrations and Extensions -- Integration of Formal Datatypes within State Diagrams -- Xere: Towards a Natural Interoperability between XML and ER Diagrams -- Detecting Implied Scenarios Analyzing Non-local Branching Choices -- Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. 330 $aThis book constitutes the refereed proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering, FASE 2003, held in Warsaw, Poland, in April 2003.The 20 revised full papers presented together with a keynote paper were carefully reviewed and selected from 89 submissions. The papers are organized in topical sections on software components, mobile computing, aspects and web applications, software measurements, formal verficiation, analysis and testing, and model integration and extension. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2621 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 $aPezzč$b Mauro$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aFASE 2003 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143888203321 996 $aFundamental Approaches to Software Engineering$9771913 997 $aUNINA