LEADER 01009nam a22002771i 4500 001 991001083229707536 005 20040225081405.0 008 040318s1990 it |||||||||||||||||ita 035 $ab12715438-39ule_inst 035 $aARCHE-069969$9ExL 040 $aDip.to Filosofia$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a343.4507 110 1 $aItalia$0423419 245 10$a1984-1988 /$c[a cura di] Massimo Panebianco 260 $aMilano :$bA. Giuffre,$cstampa 1990 300 $aL, 1691 p. ;$c18 cm 440 0$aCodice del Mercato comune ;$v7 650 4$aEconomia$xLegislazione comunitaria 651 4$aItalia$xEconomia$xLegislazione 700 1 $aPanebianco, Massimo 907 $a.b12715438$b02-04-14$c31-03-04 912 $a991001083229707536 945 $aLE005 DIR IV A 30 v. 7$cV. 7$g1$i2005000154836$lle005$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13239430$z31-03-04 996 $a1984-1988$9270138 997 $aUNISALENTO 998 $ale005$b31-03-04$cm$da $e-$fita$git $h0$i1 LEADER 04681nam 22006495 450 001 9910437574703321 005 20250424143212.0 010 $a9783642395123 010 $a3642395120 024 7 $a10.1007/978-3-642-39512-3 035 $a(OCoLC)862577665 035 $a(MiFhGG)GVRL6VVM 035 $a(CKB)3710000000024381 035 $a(MiAaPQ)EBC1538872 035 $a(MiFhGG)9783642395123 035 $a(DE-He213)978-3-642-39512-3 035 $a(EXLCZ)993710000000024381 100 $a20131022d2013 u| 0 101 0 $aeng 135 $aurun|---uuuua 181 $ctxt 182 $cc 183 $acr 200 10$aModel-Driven Dependability Assessment of Software Systems /$fby Simona Bernardi, José Merseguer, Dorina Corina Petriu 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (xvi, 187 pages) $cillustrations (some color) 225 0 $aGale eBooks 300 $aDescription based upon print version of record. 311 08$a9783642395116 311 08$a3642395112 320 $aIncludes bibliographical references and index. 327 $a1 Dependability Assessment and Software Life-cycle -- 2 Dependability Concepts -- 3 Software models -- 4 Dependability Domain Model -- 5 Dependability Modeling and Analysis Profile -- 6 Dependability Analysis Techniques -- 7 Proposals for Dependability Assessment -- 8 From Software Models to Dependability Analysis Models -- 9 Conclusions and Advanced Open Issues -- A The MARTE profile -- B Classes in the dependability domain model. 330 $aOver the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security.   In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extension mechanisms of UML (i.e., UML profiling). UML profiles enable software engineers to add non-functional properties to the software model, in addition to the functional ones. The authors detail the state of the art on UML profile proposals for dependability specification and rigorously describe the trade-off they accomplish. The focus is mainly on RAMS (reliability, availability, maintainability and safety) properties. Among the existing profiles, they emphasize the DAM (Dependability Analysis and Modeling) profile, which attempts to unify, under a common umbrella, the previous UML profiles from literature, providing capabilities for dependability specification and analysis. In addition, they describe two prominent model-to-model transformation techniques, which support the generation of the analysis model and allow for further assessment of different RAMS properties. Case studies from different domains are also presented, in order to provide practitioners with examples of how to apply the aforementioned techniques.   Researchers and students will learn basic dependability concepts and how to model them using  UML and its extensions. They will alsogain insights into dependability analysis techniques through the use of appropriate modeling formalisms as well as of model-to-model transformation techniques for deriving dependability analysis models from UML specifications. Moreover, software practitioners will find a unified framework for the specification of dependability requirements and properties of UML, and will benefit from the detailed case studies. 606 $aSoftware engineering 606 $aComputer science 606 $aElectronic digital computers$xEvaluation 606 $aSoftware Engineering 606 $aTheory of Computation 606 $aSystem Performance and Evaluation 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aElectronic digital computers$xEvaluation. 615 14$aSoftware Engineering. 615 24$aTheory of Computation. 615 24$aSystem Performance and Evaluation. 676 $a004.0151 676 $a005.10285 700 $aBernardi$b Simona$4aut$4http://id.loc.gov/vocabulary/relators/aut$01058316 702 $aMerseguer$b Jose 702 $aPetriu$b Dorina C. 801 0$bMiFhGG 801 1$bMiFhGG 906 $aBOOK 912 $a9910437574703321 996 $aModel-Driven Dependability Assessment of Software Systems$92499224 997 $aUNINA