000914833 000__ 05115cam\a2200565Ii\4500
000914833 001__ 914833
000914833 005__ 20230306150545.0
000914833 006__ m\\\\\o\\d\\\\\\\\
000914833 007__ cr\cn\nnnunnun
000914833 008__ 190926s2019\\\\sz\a\\\\o\\\\\111\0\eng\d
000914833 019__ $$a1121610078
000914833 020__ $$a9783030310387$$q(electronic book)
000914833 020__ $$a3030310388$$q(electronic book)
000914833 020__ $$z9783030310370
000914833 0247_ $$a10.1007/978-3-030-31038-7$$2doi
000914833 035__ $$aSP(OCoLC)on1121045576
000914833 035__ $$aSP(OCoLC)1121045576$$z(OCoLC)1121610078
000914833 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dUKMGB$$dEBLCP
000914833 049__ $$aISEA
000914833 050_4 $$aQA76.6$$b.U86 2019eb
000914833 08204 $$a005.1$$223
000914833 1112_ $$aUTP (Symposium)$$n(7th :$$d2019 :$$cPorto, Portugal)
000914833 24510 $$aUnifying theories of programming :$$b7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, Proceedings /$$cPedro Ribeiro, Augusto Sampaio (eds.).
000914833 2463_ $$aUTP 2019
000914833 264_1 $$aCham, Switzerland :$$bSpringer,$$c2019.
000914833 300__ $$a1 online resource (xiv, 217 pages) :$$billustrations.
000914833 336__ $$atext$$btxt$$2rdacontent
000914833 337__ $$acomputer$$bc$$2rdamedia
000914833 338__ $$aonline resource$$bcr$$2rdacarrier
000914833 4901_ $$aLecture notes in computer science ;$$v11885
000914833 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000914833 500__ $$aInternational conference proceedings.
000914833 500__ $$aIncludes author index.
000914833 5050_ $$aIntro; Preface; Organization; Contents; Unification Approaches; A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic; 1 Introduction; 2 Extended Summary; 2.1 The Calculus; 2.2 Causality, Space, and Time; 2.3 Geometry; 2.4 Logic; 3 The Calculus; 3.1 The Algebra of Traces; 3.2 Applications; 3.3 The Algebra of Programs; 4 Symmetries; 5 Future Directions; 5.1 Unifying Theories of Programming; 5.2 Applications of Concurrent Kleene Algebra; 5.3 Implementing the Calculus; 5.4 Object Orientation and UTP; 5.5 Extensions of the Calculus; 6 Conclusion; References
000914833 5058_ $$aA Testing Perspective on Algebraic, Denotational, and Operational Semantics1 Introduction; 2 Preliminaries; 2.1 Model-Based Testing; 2.2 Model-Based Mutation Testing; 3 Operational Semanctics; 3.1 Overview; 3.2 Conformance of Input-Output LTSs; 3.3 Explicit Conformance Checking; 3.4 Action Systems; 3.5 Symbolic Conformance Checking; 4 Denotational Semantics; 4.1 Transformational Systems; 4.2 Action Systems; 5 Algebraic Semantics; 6 Concluding Remarks; References; Whither Specifications as Programs; 1 Introduction; 2 Programs and Specifications as Binary Relations
000914833 5058_ $$a3 Programs as Forward Predicate Transformers4 Programs as h-Transformers; 5 Specifications and Refinement; 6 Related Work; 7 Conclusion; References; Connecting Fixpoints of Computations with Strict Progress; 1 Introduction; 2 Basic Definitions; 2.1 Algebraic Structures; 2.2 A Unified Model for Computations with Progress; 3 Overall Strategy; 4 Connecting Fixpoints Algebraically; 5 Connecting Fixpoints of Computations with Progress; 6 Conclusion; References; Probabilistic Semantics for RoboChart; 1 Introduction; 2 RoboChart; 3 Unifying Theories of Programming
000914833 5058_ $$a4 Weakest Preconditions and Prespecifications5 Weakest Completion Semantics; 6 Probabilistic Programs; 7 Probabilistic Choice and Combining Distributions; 8 Nondeterministic Choice; 9 Related Work; 10 Conclusions and Future Work; A Connecting Weakest Preconditions and Prespecifications; References; Hybrid Models; Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow; 1 Introduction; 2 Preliminaries; 2.1 AADL; 2.2 Simulink/Stateflow; 2.3 Design by Contract; 3 Isollete System: A Running Example; 3.1 Isollete System; 3.2 Requirements
000914833 5058_ $$a4 Combination of AADL and Simulink/Stateflow4.1 General Framework; 4.2 Computing Type Classifier for Simulink/Stateflow Diagrams; 4.3 Defining Type Classifier as Contracts; 5 Co-modelling and Co-simulation; 5.1 Co-modelling in AADL and Simulink/Stateflow; 5.2 Model Translation to C; 5.3 Co-simulation; 6 Related Work; 7 Conclusion and Future Work; References; Hybrid Relations in Isabelle/UTP; 1 Introduction; 2 Hybrid Systems and Programs; 3 Isabelle/UTP; 4 Trace Algebra and Generalised Reactive Relations; 5 Continuous State and Timed Traces; 6 Hybrid Relations; 6.1 Continuous Variables
000914833 506__ $$aAccess limited to authorized users.
000914833 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 26, 2019).
000914833 650_0 $$aComputer programming$$vCongresses.
000914833 7001_ $$aRibeiro, Pedro,$$eeditor.
000914833 7001_ $$aSampaio, Augusto,$$eeditor.
000914833 7001_ $$aHoare, C. A. R.$$q(Charles Antony Richard),$$d1934-$$ehonouree.
000914833 830_0 $$aLecture notes in computer science ;$$v11885.
000914833 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000914833 852__ $$bebk
000914833 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-31038-7$$zOnline Access$$91397441.1
000914833 909CO $$ooai:library.usi.edu:914833$$pGLOBAL_SET
000914833 980__ $$aEBOOK
000914833 980__ $$aBIB
000914833 982__ $$aEbook
000914833 983__ $$aOnline
000914833 994__ $$a92$$bISE