LEADER 01037nas a2200265 u 4500 001 991004373338507536 005 20250324085836.0 008 250324d19901998it mr r 001 ||ita d 022 $a1128-3505 040 $aBibl. Dip.le Aggr. Scienze Economia - Sez. Settore Economico 082 04$a363.7005 222 2$aL'impresa ambiente 245 02$aL'impresa ambiente :$becologia, economia, tecnologia e diritto 260 $aMilano :$bSEME,$c1990-1998 310 $aMensile (10 n. l'anno),$b1992-1998 321 $aBimestrale,$b1991 362 0 $aA. 1, n. 1 (1990)-n. 6 (1998) 500 $aDal 1995 il complemento del titolo varia in: rivista di ecologia del nuovo millennio; dal 1997: rivista italiana di ecologia; dal 1998: mensile di economia, tecnologia e diritto 500 $aDal n. 6(1994) la casa editrice varia in: il sole 24 ore 500 $aSospesa dal giugno 1998 591 $aP 00146528 592 $aLE025 1994-1996; Lac. 1996; 912 $a991004373338507536 996 $aImpresa ambiente$91223536 997 $aUNISALENTO LEADER 04822nam 22007935 450 001 9910739436303321 005 20251226202809.0 010 $a3-642-35860-8 024 7 $a10.1007/978-3-642-35861-6 035 $a(CKB)3400000000125710 035 $a(SSID)ssj0000880006 035 $a(PQKBManifestationID)11559376 035 $a(PQKBTitleCode)TC0000880006 035 $a(PQKBWorkID)10872158 035 $a(PQKB)11115613 035 $a(DE-He213)978-3-642-35861-6 035 $a(MiAaPQ)EBC3070023 035 $a(PPN)168329441 035 $a(EXLCZ)993400000000125710 100 $a20130125d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Aspects of Component Software $e9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers /$fedited by Corina S Pasareanu, Gwen Salaün 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (X, 277 p. 72 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v7684 300 $aIncludes author index. 311 08$a3-642-35861-6 327 $aFormal models for software components and their interaction -- Formal aspects of services, service oriented architectures, business processes, and cloud computing -- Design and verification methods for software components and services -- Composition and deployment: models, calculi, languages; formal methods and modeling languages for components and services -- Model based and GUI based testing of components and services -- Models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services -- Components for real-time, safety-critical, secure, and/or embedded systems -- Industrial or experience reports and case studies -- Update and reconfiguration of component and service architectures -- Component systems evolution and maintenance -- Autonomic components and self-managed applications -- Formal and rigorous approaches to software adaptation and self-adaptive systems. 330 $aThis book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as formal models for software components and their interaction; formal aspects of services, service oriented architectures, business processes, and cloud computing; design and verification methods for software components and services; composition and deployment: models, calculi, languages; formal methods and modeling languages for components and services; model based and GUI based testing of components and services; models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; components for real-time, safety-critical, secure, and/or embedded systems; industrial or experience reports and case studies; update and reconfiguration of component and service architectures; component systems evolution and maintenance; autonomic components and self-managed applications; formal and rigorous approaches to software adaptation and self-adaptive systems. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v7684 606 $aSoftware engineering 606 $aMachine theory 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aElectronic data processing$xManagement 606 $aSoftware Engineering 606 $aFormal Languages and Automata Theory 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aIT Operations 615 0$aSoftware engineering. 615 0$aMachine theory. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aElectronic data processing$xManagement. 615 14$aSoftware Engineering. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aIT Operations. 676 $a005.1 701 $aPasareanu$b Corina S$0905882 701 $aSalaun$b G$g(Gwen)$01753939 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910739436303321 996 $aFormal aspects of component software$94190012 997 $aUNINA