LEADER 06747nam 2200697 450 001 9910136775803321 005 20200716222835.0 010 $a1-119-13003-4 010 $a1-119-13002-6 035 $a(CKB)3710000000635574 035 $a(EBL)4462538 035 $a(SSID)ssj0001640059 035 $a(PQKBManifestationID)16198222 035 $a(PQKBTitleCode)TC0001640059 035 $a(PQKBWorkID)14822324 035 $a(PQKB)10029462 035 $a(PQKBManifestationID)16399963 035 $a(PQKB)21261370 035 $a(MiAaPQ)EBC4462538 035 $a(DLC) 2015042744 035 $a(CaSebORM)9781119130017 035 $a(EXLCZ)993710000000635574 100 $a20150917h20162016 uy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aModel-based testing essentials $eguide to the ISTQB certified model-based tester foundation level /$fAnne Kramer, Bruno Legeard 205 $a1st edition 210 1$aHoboken, New Jersey :$cJohn Wiley & Sons Incorporated,$d[2016] 210 4$d©2016 215 $a1 online resource (333 p.) 300 $aDescription based upon print version of record. 311 $a1-119-13016-6 311 $a1-119-13001-8 320 $aIncludes bibliographical references and index. 327 $aTITLE PAGE; COPYRIGHT; TABLE OF CONTENTS; DEDICATION; FOREWORD BY GUALTIERO BAZZANA; FOREWORD BY ROBERT V. BINDER; PREFACE; THE ISTQB CERTIFIED TESTER FOUNDATION LEVEL - MODEL-BASED TESTER; HOW THIS BOOK IS ORGANIZED?; ACKNOWLEDGMENTS; 1 INTRODUCTION TO MODEL-BASED TESTING; 1.1 WHY DO WE NEED NEW APPROACHES TO TESTING?; 1.2 WHAT IS MODEL-BASED TESTING?; 1.3 BENEFITS OF MBT; 1.4 PITFALLS OF MBT; 1.5 WHAT CAN YOU REALISTICALLY EXPECT?; 2 WHAT YOU SHOULD KNOW ABOUT MBT BEFORE STARTING; 2.1 ISTQB MBT GLOSSARY TERMS USED IN THIS BOOK; 2.2 OTHER TERMS TO KNOW 327 $a2.3 THE MODELING LANGUAGES USED IN THIS BOOK3 PROCESS ASPECTS OF MBT; 3.1 MBT AND THE FUNDAMENTAL TEST PROCESS; 3.2 THE TYPICAL MBT PROCESS; 3.3 MBT AND SOFTWARE DEVELOPMENT LIFECYCLES; 3.4 HOW MBT SUPPORTS REQUIREMENT ENGINEERING; 4 ASPECTS TO CONSIDER BEFORE YOU START WRITING AN MBT MODEL; 4.1 PRELIMINARY CONSIDERATIONS ON MBT MODELING; 4.2 SUBJECT AND FOCUS OF YOUR MBT MODEL; 4.3 THE INFLUENCE OF TEST OBJECTIVES ON MBT MODELS; 5 MODELING LANGUAGES - THE AGONY OF CHOICE; 5.1 MAIN CATEGORIES OF MODELING LANGUAGES; 5.2 UML AND BPMN; 5.3 OTHER GRAPHICAL MODELING LANGUAGES USED FOR MBT 327 $a5.4 TEXTUAL MODELING LANGUAGES USED FOR MBT5.5 HOW TO SELECT THE APPROPRIATE MODELING LANGUAGE; 6 GOOD MBT MODELING PRACTICES; 6.1 QUALITY CHARACTERISTICS FOR MBT MODELS; 6.2 TYPICAL MISTAKES AND PITFALLS IN MBT MODEL DESIGN; 6.3 LINKING REQUIREMENTS AND PROCESS-RELATED INFORMATION TO THE MBT MODEL; 6.4 THE SIGNIFICANCE OF MODELING GUIDELINES FOR MBT; 6.5 THE QUESTION OF REUSING MODELS FROM OTHER DEVELOPMENT ACTIVITIES; 6.6 TOOL SUPPORT FOR MBT MODELING ACTIVITIES; 6.7 ITERATIVE MBT MODEL DEVELOPMENT; 6.8 OTHER RECOMMENDATIONS; 7 HOW MBT RELATES TO TEST DESIGN TECHNIQUES? 327 $a7.1 EQUIVALENCE PARTITIONING AND BOUNDARY VALUE ANALYSIS7.2 DECISION TABLES; 7.3 STATE TRANSITION TESTING; 7.4 USE CASE TESTING; 8 DERIVING TESTS FROM AN MBT MODEL; 8.1 TAXONOMY OF SELECTION CRITERIA; 8.2 TEST CASE SELECTION IN PRACTICE; 8.3 EXAMPLES OF COVERAGE CRITERIA; 8.4 PROS AND CONS OF SPECIFIC TEST SELECTION CRITERIA; 8.5 SOME RECOMMENDATIONS REGARDING TEST CASE SELECTION; 8.6 DEGREE OF AUTOMATION IN TEST GENERATION; 9 EXECUTING MODEL-BASED TESTS; 9.1 UNDERSTANDING THE CONCEPTS; 9.2 ADAPTING TEST CASES FOR AUTOMATED EXECUTION; 9.3 ADAPTING MBT ARTIFACTS DUE TO CHANGES 327 $a10 INTRODUCING MBT IN YOUR COMPANY10.1 FIVE STEPS TO MBT ADOPTION; 10.2 RETURN-ON-INVEST CONSIDERATIONS; 10.3 PRIORITIZE YOUR ORGANIZATIONAL OBJECTIVES; 10.4 HOW TO MEASURE PROGRESS AND SUCCESS?; 10.5 DEPLOYING MBT; 10.6 INITIAL AND RUNNING COSTS OF MBT; 10.7 INTEGRATING THE TOOLS; 11 CASE STUDIES; 11.1 ENTERPRISE IT MODEL-BASED TESTING - ORANGEHRM CASE STUDY; 11.2 MBT FOR PROCESS-SUPPORTING SW - TOOL VALIDATION CASE STUDY; 11.3 MBT FOR SECURITY COMPONENTS - PKCS#11 CASE STUDY; 12 CONCLUSIONS; APPENDIX A SOLUTIONS OF EXERCISES; APPENDIX B TEST YOURSELF; APPENDIX C TAXONOMY OF MBT APPROACHES 327 $aABBREVIATIONS 330 $aProvides a practical and comprehensive introduction to the key aspects of model-based testing as taught in the ISTQB® Model-Based Tester?Foundation Level Certification Syllabus This book covers the essentials of Model-Based Testing (MBT) needed to pass the ISTQB® Foundation Level Model-Based Tester Certification. The text begins with an introduction to MBT, covering both the benefits and the limitations of MBT. The authors review the various approaches to model-based testing, explaining the fundamental processes in MBT, the different modeling languages used, common good modeling practices, and the typical mistakes and pitfalls. The book explains the specifics of MBT test implementation, the dependencies on modeling and test generation activities, and the steps required to automate the generated test cases. The text discusses the introduction of MBT in a company, presenting metrics to measure success and good practices to apply. Provides case studies illustrating different approaches to Model-Based Testing Includes in-text exercises to encourage readers to practice modeling and test generation activities Contains appendices with solutions to the in-text exercises, a short quiz to test readers, along with additional information Model-Based Testing Essentials ? Guide to the ISTQB® Certified Model-Based Tester ? Foundation Level is written primarily for participants of the ISTQB® Certification: software engineers, test engineers, software developers, and anybody else involved in software quality assurance. This book can also be used for anyone who wants a deeper understanding of software testing and of the use of models for test generation. 606 $aComputer software$xTesting$xExaminations$vStudy guides 606 $aModel-based reasoning$xExaminations$vStudy guides 606 $aElectronic data processing personnel$xCertification 608 $aElectronic books. 615 0$aComputer software$xTesting$xExaminations 615 0$aModel-based reasoning$xExaminations 615 0$aElectronic data processing personnel$xCertification. 676 $a005.3028/7 700 $aKramer$b Anne$c(Software engineer),$0975531 702 $aLegeard$b Bruno 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910136775803321 996 $aModel-based testing essentials$92221338 997 $aUNINA LEADER 01059nam 2200337 450 001 9910142670503321 005 20180228173537.0 010 $a1-5090-9150-5 035 $a(CKB)1000000000331126 035 $a(WaSeSS)IndRDA00092936 035 $a(EXLCZ)991000000000331126 100 $a20180228d2007 || | 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$a2006 IEEE International Symposium on Geoscience and Remote Sensing $eJuly 31, 2006-August 4, 2006 210 1$aNew York :$cIEEE,$d2007. 215 $a1 online resource (1083 pages) 311 $a0-7803-9510-7 606 $aRemote sensing$vCongresses 606 $aEarth sciences$xRemote sensing$vCongresses 615 0$aRemote sensing 615 0$aEarth sciences$xRemote sensing 801 0$bWaSeSS 801 1$bWaSeSS 906 $aPROCEEDING 912 $a9910142670503321 996 $a2006 IEEE International Symposium on Geoscience and Remote Sensing$92524920 997 $aUNINA LEADER 02018nas 22005413a 450 001 9910142315303321 005 20230321210743.0 035 $a(CKB)1000000000314997 035 $a(CONSER)sn-91026141- 035 $a(EXLCZ)991000000000314997 100 $a19900807b1990200u -a- a 101 0 $aeng 200 00$aIndustrial production and capacity utilization$b[electronic resource] 210 $aWashington, D.C. $cBoard of Governors of the Federal Reserve System$d1990- 215 $a1 online resource 225 1 $aFederal Reserve statistical release 300 $aTitle from caption. 300 $a"G.17(419)." 311 08$aPrint version: Industrial production and capacity utilization. 1933-5695 (DLC)sn 91026141 (OCoLC)22190332 410 0$aFederal Reserve statistical release. 606 $aIndustrial capacity$zUnited States$vStatistics$vPeriodicals 606 $aIndustrial statistics$zUnited States$vPeriodicals 606 $aManufacturing industries$zUnited States$vStatistics$vPeriodicals 606 $aProduktionsstatistik$2stw 606 $aKapazitätsauslastung$2stw 606 $aUSA$2stw 606 $aIndustrial capacity$2fast$3(OCoLC)fst00970899 606 $aIndustrial statistics$2fast$3(OCoLC)fst00971751 606 $aManufacturing industries$2fast$3(OCoLC)fst01008071 607 $aUnited States$2fast 608 $aPeriodicals.$2fast 608 $aStatistics.$2fast 615 0$aIndustrial capacity 615 0$aIndustrial statistics 615 0$aManufacturing industries 615 7$aProduktionsstatistik. 615 7$aKapazitätsauslastung. 615 7$aUSA. 615 7$aIndustrial capacity. 615 7$aIndustrial statistics. 615 7$aManufacturing industries. 676 $a338 712 02$aBoard of Governors of the Federal Reserve System (U.S.) 906 $aJOURNAL 912 $a9910142315303321 920 $aexl_impl conversion 996 $aIndustrial production and capacity utilization$92223502 997 $aUNINA LEADER 01370nam0 22003251i 450 001 UON00318034 005 20231205104128.55 010 $a97-997831-1-0186178 100 $a20081203d2005 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aCognitive linguistics$einternal dynamics and interdisciplinary interaction$fEdited by Francisco J. Ruiz de Mendoza Ibanez, M. Sandra Pena Cervel 210 $aBerlin$aNew York$cMouton de Gruyter$dc2005 215 $aviii, 432 p.$d24 cm 410 1$1001UON00175610$12001 $a Cognitive Linguistics Research$1210 $aBerlin$aNew York$cde Gruyter.$v32 606 $aGRAMMATICA COGNITIVA$3UONC034076$2FI 606 $aLinguistica Cognitiva$3UONC034130$2FI 620 $aUS$dNew York$3UONL000050 620 $aDE$dBerlin$3UONL003157 676 $a415$cGrammatica$v21 702 1$aPENA CERVEL$bM. Sandra$3UONV155748 702 1$aRUIZ DE MENDOZA IBANEZ$bFrancisco José$3UONV155666 712 $aMouton de Gruyter$3UONV256891$4650 801 $aIT$bSOL$c20250523$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00318034 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI GLOTT A 7 II 015 $eSI MC 32207 7 015 996 $aCognitive linguistics$9157822 997 $aUNIOR LEADER 01014nam0 22002531i 450 001 UON00001733 005 20231205101852.198 100 $a20020107d1926 |0itac50 ba 101 $aeng 102 $aGB 105 $a|||| 1|||| 200 1 $aˆA ‰handbook of the ordinary dialect of the tamil language$fG.U. Pope 205 $aRep. of the 7th ed 210 $aOxford$cOxford University Press$d1926 215 $a204 p.$d22 cm 606 $aLingua tamil$xDialettologia$3UONC000579$2FI 686 $aSI II DRA AB$cSUBCONT. INDIANO - LINGUE DRAVIDICHE - TAMIL - GRAMMATICHE$2A 700 1$aPOPE$bG. U.$3UONV001678$0637019 801 $aIT$bSOL$c20251024$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00001733 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI SI II DRA AB 024 N $eSI SA 69623 5 024 N 996 $aHandbook of the ordinary dialect of the Tamil language$91150093 997 $aUNIOR LEADER 04269nam 22008294a 450 001 9910970171503321 005 20251116191614.0 010 $a1-134-28997-9 010 $a1-134-28998-7 010 $a1-280-30247-X 010 $a9786610302475 010 $a0-203-48322-7 024 7 $a10.4324/9780203483220 035 $a(CKB)1000000000359852 035 $a(EBL)243285 035 $a(OCoLC)352862506 035 $a(SSID)ssj0000236666 035 $a(PQKBManifestationID)11191368 035 $a(PQKBTitleCode)TC0000236666 035 $a(PQKBWorkID)10193541 035 $a(PQKB)10317673 035 $a(MiAaPQ)EBC243285 035 $a(Au-PeEL)EBL243285 035 $a(CaPaEBR)ebr10162669 035 $a(CaONFJC)MIL30247 035 $a(OCoLC)187935331 035 $a(EXLCZ)991000000000359852 100 $a20041112d2005 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aReshaping museum space $earchitecture, design, exhibitions /$fedited by Suzanne Macleod 205 $a1st ed. 210 $aLondon ;$aNew York $cRoutledge$d2005 215 $a1 online resource (256 p.) 225 1 $aMuseum meanings 300 $aDescription based upon print version of record. 311 08$a0-415-34345-3 311 08$a0-415-34344-5 320 $aIncludes bibliographical references and index. 327 $aCover; Reshaping Museum Space: Architecture, Design, Exhibitions; Copyright; Contents; Figures; Notes on contributors; Acknowledgements; Introduction; Part IOn the nature ofmuseum space; 1 Rethinking museum architecture: Towards a site-specific history of production and use; 2Black box science in blackbox science centres; 3 Space and the machine: Adaptive museums, pervasive technology and the new gallery environment; 4 Creative space; Part IIArchitectural reshaping; 5From cultural institution tocultural consumer experience:Manchester Art GalleryExpansion Project 327 $a6 Spatial culture, way-finding and the educational message: The impact of layout on the spatial, social and educational experiences of visitors to museums and galleries7 The Grande Galerie de l'Evolution: An alternative cognitive experience; 8Producing a public for art:Gallery space in thetwenty-first century; 9Towards a new museumarchitecture:Narrative and representation; Part IIIInside spaces; 10Building on Victorian ideas; 11Representing Enlightenmentspace; 12The studio in the gallery?; 13When worlds collide:The contemporary museumas art gallery 327 $a14Constructing and communicatingequality:The social agency of museum spacePart IVCreative space; 15Threshold fear; 16From cathedral of cultureto anchor attractor; 17The vital museum; Index 330 $aReshaping Museum Space pulls together the views of an international group of museum professionals, architects, designers and academics highlights the complexity, significance and malleability of museum space, and provides reflections upon recent developments in museum architecture and exhibition design. Various chapters concentrate on the process of architectural and spatial reshaping, and the problems of navigating the often contradictory agendas and aspirations of the broad range of professionals and stakeholders involved in any new project.Contributors review rece 410 0$aMuseum meanings. 606 $aMuseum architecture 606 $aSpace (Architecture) 606 $aMuseum buildings 606 $aMuseum exhibits 606 $aMuseums$xInformation technology 606 $aMuseums$xTechnological innovations 606 $aCultural property$xProtection 606 $aMuseums$xPhilosophy 615 0$aMuseum architecture. 615 0$aSpace (Architecture) 615 0$aMuseum buildings. 615 0$aMuseum exhibits. 615 0$aMuseums$xInformation technology. 615 0$aMuseums$xTechnological innovations. 615 0$aCultural property$xProtection. 615 0$aMuseums$xPhilosophy. 676 $a727/.6 701 $aMacleod$b Suzanne$0310051 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910970171503321 996 $aReshaping museum space$94496561 997 $aUNINA LEADER 02663nam0 22005773i 450 001 VAN00123746 005 20240806100814.423 017 70$2N$a9781447173229 100 $a20191001d2017 |0itac50 ba 101 $aeng 102 $aGB 105 $a|||| ||||| 200 1 $aFinancial Markets Theory$eEquilibrium, Efficiency and Information$fEmilio Barucci, Claudio Fontana 205 $a2. ed 210 $aLondon$cSpringer$d2017 215 $axv, 836 p.$cill.$d24 cm 410 1$1001VAN00102590$12001 $aSpringer finance$1210 $aBerlin$cSpringer 410 1$1001VAN00123747$12001 $aSpringer finance textbook$1210 $aBerlin [etc.]$cSpringer 500 1$3VAN00235592$aFinancial Markets Theory$91562241 606 $a91B05$xRisk models (general) [MSC 2020]$3VANC019981$2MF 606 $a91B06$xDecision theory [MSC 2020]$3VANC021413$2MF 606 $a91B08$xIndividual preferences [MSC 2020]$3VANC035169$2MF 606 $a91B16$xUtility theory [MSC 2020]$3VANC022753$2MF 606 $a91B24$xMicroeconomic theory (price theory and economic markets) [MSC 2020]$3VANC025065$2MF 606 $a91B50$xGeneral equilibrium theory [MSC 2020]$3VANC022702$2MF 606 $a91G10$xPortfolio theory [MSC 2020]$3VANC031365$2MF 606 $a91G20$xDerivative securities (option pricing, hedging, etc.) [MSC 2020]$3VANC031011$2MF 606 $a91G30$xInterest rates, asset pricing, etc. (stochastic models) [MSC 2020]$3VANC031012$2MF 610 $aAbsence of arbitrage$9KW:K 610 $aAsset pricing$9KW:K 610 $aCapital asset pricing model$9KW:K 610 $aEquity premium puzzle$9KW:K 610 $aInformation in financial markets$9KW:K 610 $aMarket efficiency$9KW:K 610 $aMarket equilibrium$9KW:K 610 $aMarket microstructure$9KW:K 610 $aPortfolio selection$9KW:K 610 $aQuantitative Finance$9KW:K 610 $aRisk factors$9KW:K 620 $aGB$dLondon$3VANL000015 700 1$aBarucci$bEmilio$3VANV077697$0318759 701 1$aFontana$bClaudio$3VANV023627$0767358 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20260130$gRICA 856 4 $uhttp://doi.org/10.1007/978-1-4471-7322-9$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00123746 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 0655 $e08eMF655 20191001 996 $aFinancial Markets Theory$91562241 997 $aUNICAMPANIA