001440355 000__ 06681cam\a2200757\a\4500
001440355 001__ 1440355
001440355 003__ OCoLC
001440355 005__ 20230309004558.0
001440355 006__ m\\\\\o\\d\\\\\\\\
001440355 007__ cr\un\nnnunnun
001440355 008__ 211016s2021\\\\sz\\\\\\o\\\\\101\0\eng\d
001440355 019__ $$a1275427030$$a1276778893$$a1287772880$$a1292517796
001440355 020__ $$a9783030891596$$q(electronic bk.)
001440355 020__ $$a3030891593$$q(electronic bk.)
001440355 020__ $$z9783030891589
001440355 020__ $$z303083722X
001440355 020__ $$z9783030837228
001440355 0247_ $$a10.1007/978-3-030-89159-6$$2doi
001440355 035__ $$aSP(OCoLC)1276852105
001440355 040__ $$aEBLCP$$beng$$epn$$cEBLCP$$dGW5XE$$dYDX$$dEBLCP$$dOCLCF$$dDCT$$dOCLCO$$dDKU$$dOCLCO$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001440355 049__ $$aISEA
001440355 050_4 $$aQA76.9.F67$$bI83 2021eb
001440355 08204 $$a005.1$$223
001440355 1112_ $$aISoLA (Symposium)$$n(10th :$$d2021 :$$cRhodes, Greece)
001440355 24510 $$aLeveraging applications of formal methods, verification and validation :$$b10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings /$$cTiziana Margaria, Bernhard Steffen (eds.).
001440355 2463_ $$aISoLA 2021
001440355 260__ $$aCham :$$bSpringer,$$c2021.
001440355 300__ $$a1 online resource (505 pages)
001440355 336__ $$atext$$btxt$$2rdacontent
001440355 337__ $$acomputer$$bc$$2rdamedia
001440355 338__ $$aonline resource$$bcr$$2rdacarrier
001440355 347__ $$atext file
001440355 347__ $$bPDF
001440355 4901_ $$aLecture notes in computer science ;$$v13036
001440355 4901_ $$aLNCS sublibrary, SL 1, Theoretical computer science and general issues
001440355 500__ $$a5 Lessons Learned and Implications.
001440355 500__ $$aIncludes author index.
001440355 5050_ $$aIntro -- Introduction -- Organization -- Contents -- 6th International School on Tool-Based Rigorous Engineering of Software Systems -- STRESS -- Introduction -- References -- An Introduction to Graphical Modeling of CI/CD Workflows with Rig -- 1 Introduction -- 2 Continuous Integration and Deployment -- 3 TodoMVC -- 4 Programming a CI/CD Workflow -- 5 Rig -- 6 Modeling a CI/CD Workflow in Rig -- 7 Discussion -- 8 Conclusion -- References -- Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition*-8pt -- 1 Introduction -- 2 Concept -- 3 Metamodel
001440355 5058_ $$a3.1 Function Interface Storage -- 3.2 Process -- 3.3 Function -- 3.4 Constant -- 3.5 SubProcess -- 4 Semantics -- 4.1 SubProcess Component -- 4.2 Function Component -- 5 Type System -- 5.1 Classification -- 5.2 Data Types -- 5.3 Type Inference -- 6 Usage -- 6.1 Function Discovery -- 6.2 Modeling -- 6.3 Execution -- 7 Tutorial -- 8 Related Approaches -- 8.1 MaramaEML -- 8.2 ETI, Bio-jETI -- 8.3 Taverna -- 8.4 Kepler -- 8.5 SDLTool -- 8.6 Azure ML Studio, Google Cloud ML and AWS ML -- 8.7 RapidMiner Studio -- 9 Conclusion and Outlook -- References -- Integrating External Services in DIME
001440355 5058_ $$a1 Introduction -- 2 The Digital Thread Platform in DIME -- 2.1 The Current Architecture -- 2.2 Low Code and DSLs -- 3 Integration in DIME: A Quick Tutorial -- 3.1 Runtime Infrastructure -- 3.2 SIB Declaration -- 3.3 SIB Implementation -- 4 Case Studies: The R Platform and REST Services -- 4.1 R Integration as Platform Integration -- 4.2 RESTful Extension as Service Integration -- 5 Conclusion and Discussion -- References -- Asking Why -- 1 Introduction -- 2 State of the Art -- 2.1 Today's Challenges of Organizations -- 2.2 Today's Internal Knowledge Management Challenges -- 3 Case Study GDPR
001440355 5058_ $$a3.1 Typical GDPR Solutions in Practice -- 3.2 Why-Based Quality Analysis -- 3.3 Why-Based Solution Proposal -- 4 Why-Based Alignment -- 5 Conclusion -- References -- Industrial Track -- Formal Methods for a Digital Industry -- 1 Introduction -- 2 Contributions -- 2.1 Software-Enabled Business Engineering -- 2.2 Simulation-Based Testing of Software for Autonomous Systems -- 2.3 Domain-Specific Languages for the Industry 4.0 -- 2.4 Applications of Machine Learning in Software Engineering -- References -- Agile Business Engineering: From Transformation Towards Continuous Innovation -- 1 Introduction
001440355 5058_ $$a2 State of the Art -- 2.1 Business Engineering -- 2.2 Agile Software Engineering -- 2.3 Parallels, Differences, and Potentials -- 3 Method -- 4 Interview Results -- 5 Implications -- 6 Reflections -- 7 Conclusion, Limitations, and Outlook -- References -- Towards Living Canvases -- 1 Introduction -- 2 State of the Art -- 2.1 Today's Use and Application of Canvases -- 2.2 The Risk Standard as an Add-on Perspective -- 3 Method -- 4 The Use Case: The AI-ETA Service -- 4.1 Introducing the Silicon Economy Project -- 4.2 The AI-ETA Service -- 4.3 Workshop Execution -- 4.4 Workshop Results
001440355 506__ $$aAccess limited to authorized users.
001440355 520__ $$aThis book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.
001440355 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 22, 2021).
001440355 650_0 $$aFormal methods (Computer science)$$vCongresses.
001440355 650_0 $$aComputer software$$xVerification$$vCongresses.
001440355 650_0 $$aSoftware engineering$$vCongresses.
001440355 650_6 $$aMéthodes formelles (Informatique)$$vCongrès.
001440355 650_6 $$aLogiciels$$xVérification$$vCongrès.
001440355 650_6 $$aGénie logiciel$$vCongrès.
001440355 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001440355 655_7 $$aConference papers and proceedings.$$2lcgft
001440355 655_7 $$aActes de congrès.$$2rvmgf
001440355 655_0 $$aElectronic books.
001440355 7001_ $$aMargaria-Steffen, Tiziana,$$d1964-
001440355 7001_ $$aSteffen, Bernhard.
001440355 77608 $$iPrint version:$$aMargaria, Tiziana.$$tLeveraging Applications of Formal Methods, Verification and Validation.$$dCham : Springer International Publishing AG, ©2021$$z9783030891589
001440355 830_0 $$aLecture notes in computer science ;$$v13036.
001440355 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001440355 852__ $$bebk
001440355 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-89159-6$$zOnline Access$$91397441.1
001440355 909CO $$ooai:library.usi.edu:1440355$$pGLOBAL_SET
001440355 980__ $$aBIB
001440355 980__ $$aEBOOK
001440355 982__ $$aEbook
001440355 983__ $$aOnline
001440355 994__ $$a92$$bISE