LEADER 01186nam0 22003133i 450 001 MIL0498114 005 20231121125549.0 010 $a227105737X 100 $a20160219d2000 ||||0itac50 ba 101 | $afre 102 $afr 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aGeneses du "je"$emanuscrits et autobiographie$fPhilippe Artieres ... \et al.!$gsous la direction de Philippe Lejeune et Catherine Viollett 210 $aParis$cCNRS Editions$d2000 215 $a245 p.$cill.$d24 cm. 225 | $aTextes et manuscrits 410 0$1001BVE0005248$12001 $aTextes et manuscrits 702 1$aLejeune$b, Philippe$3CFIV021337 702 1$aViollet$b, Catherine$3PUVV173685 702 1$aArtières$b, Philippe$3RAVV678761 801 3$aIT$bIT-01$c20160219 850 $aIT-FR0017 899 $aBiblioteca umanistica Giorgio Aprea$bFR0017 912 $aMIL0498114 950 0$aBiblioteca umanistica Giorgio Aprea$d 52CIS Studio prof.ssa De Carlo$e 52VM 0000755475 VM barcode:00067369. - Inventario:5054 LLCSVM$fB $h20080620$i20121204 977 $a 52 996 $aGenèses du "je"$9540795 997 $aUNICAS LEADER 04234nam 22005415 450 001 9910299298703321 005 20200703025524.0 010 $a3-662-56641-9 024 7 $a10.1007/978-3-662-56641-1 035 $a(CKB)4100000002892569 035 $a(MiAaPQ)EBC5335426 035 $a(DE-He213)978-3-662-56641-1 035 $a(PPN)225548186 035 $a(EXLCZ)994100000002892569 100 $a20180331d2018 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModeling Companion for Software Practitioners /$fby Egon Börger, Alexander Raschke 205 $a1st ed. 2018. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2018. 215 $a1 online resource (362 pages) 311 $a3-662-56639-7 327 $a1 Introduction: The Role of Modeling -- 2 Seven Constructs for Modeling Single-Agent Behavior -- 3 Modeling Concurrent Systems -- 4 Modeling Context Awareness -- 5 Modeling Business Processes -- 6 Modeling Distributed Dystems -- 7 Syntax and Semantics of ASMs -- 8 Debugging System Design (CoreASM) -- 9 Control State Diagrams (Meta Model) -- Epilogue -- A Some Complete Models in a Nutshell -- References -- Index. 330 $aThis book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models in the precise and simple form of Abstract State Machines (ASMs). The book introduces both the modeling method (Part I) and the available tool support (Part II): In Part I the authors detail (using numerous examples) how to construct, explain, debug, explore, extend and reuse accurate system design models, starting from scratch. Only an elementary knowledge of common mathematical (including set-theoretic) notation and some basic experience with computational processes (systems, programs, algorithms) is assumed. Part II then shows how the modeling method can be supported by implementing tools that make design models executable and debuggable. To illustrate how to build, debug and maintain systems and to explain their construction in a checkable manner, a general, problem-oriented refinement method is adopted to construct system models from components. The method starts with abstract models and refines them step by step, incrementally adding further details that eventually lead to code. Intended for practitioners who build software intensive systems, and students specializing in software engineering, it can be used both for self-study and for teaching, and it can serve as a reference book. Exercises are included to help readers check their understanding of the explained concepts. For many models defined in the book, refinements to executable versions can be downloaded for experimental validation from the book?s website at http://modelingbook.informatik.uni-ulm.de. 606 $aSoftware engineering 606 $aLogic, Symbolic and mathematical 606 $aManagement information systems 606 $aIndustrial management 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aBusiness Process Management$3https://scigraph.springernature.com/ontologies/product-market-codes/522020 615 0$aSoftware engineering. 615 0$aLogic, Symbolic and mathematical. 615 0$aManagement information systems. 615 0$aIndustrial management. 615 14$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 615 24$aBusiness Process Management. 676 $a005.3 700 $aBörger$b Egon$4aut$4http://id.loc.gov/vocabulary/relators/aut$051951 702 $aRaschke$b Alexander$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910299298703321 996 $aModeling Companion for Software Practitioners$91918856 997 $aUNINA