000 04754nam a22005415i 4500
001 978-3-031-66673-5
003 DE-He213
005 20250516160132.0
007 cr nn 008mamaa
008 240904s2024 sz | s |||| 0|eng d
020 _a9783031666735
_9978-3-031-66673-5
050 4 _aQA267-268.5
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a005.131
_223
245 1 4 _aThe Practice of Formal Methods
_h[electronic resource] :
_bEssays in Honour of Cliff Jones, Part II /
_cedited by Ana Cavalcanti, James Baxter.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aXIV, 316 p. 80 illus., 47 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14781
505 0 _aReasoning about distributive laws in a concurrent refinement algebra -- HayesOn the Formalization of the Notion of an Algorithm -- A Note on Proofs of Earley's Recognizer -- On the Relational Basis of Early R/G Work -- Model Refinement: Generating Refinements for Algorithm and SystemDesign -- Analysing the safety implications of security risks in cyber-physical systems -- Rely-Guarantee Interpretation of Sequence Diagrams -- Formal Analysis of Interactions between Safety and Security Requirements -- About Trust and Proof: An experimental framework for heterogeneous verification -- Uncertainty and Probabilistic UTP -- Modelling and Verifying Programs under the Total Store OrderMemory Model in an Algebraic Semantics Style -- Case Study: Modeling, Simulation, Verification, and Code Generationof an Automatic Cruise Control System -- Exploring the Boundaries of Rely/Guarantee and Links to Linearisability -- Less is More Revisited: Association with Global Multiparty Session Types -- Validation of Formal Models: A Case Study.
520 _aThis Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career encompasses significant contributions to academia, industry, policy, and service. Cliff is a Fellow of the Royal Academy of Engineering, ACM, BCS, and IET, and in 2015 he was the inaugural Fellow of the Formal Methods Europe association. His career has included industry research in the UK, Austria and Belgium, a PhD at the University of Oxford, and academic and research roles at the University of Cambridge and the University of Manchester, and since 1999 at Newcastle University. Throughout his career, he has championed the essential role of formalism in design processes. His collaboration at IBM in the 1970s led to the creation of the Vienna Development Method (VDM), a seminal contribution that has influenced both practical industry applications and theoretical advancements. Cliff was the founding editor of the ACM journal Formal Aspects of Computing, a founder of the Formal Methods symposium, and he played a pivotal role in the IFIP Working Groups on Programming Methodology and Verified Software. His policy advocacy has been instrumental in fostering public discourse on the reliability of computing systems. The 30 contributions in this volume are a snapshot of the many current scientific developments inspired by or built upon Cliff's contributions.
541 _fUABC ;
_cPerpetuidad
650 0 _aMachine theory.
650 0 _aProgramming languages (Electronic computers).
650 1 4 _aFormal Languages and Automata Theory.
650 2 4 _aProgramming Language.
700 1 _aCavalcanti, Ana.
_eeditor.
_0(orcid)0000-0002-0831-1976
_1https://orcid.org/0000-0002-0831-1976
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aBaxter, James.
_eeditor.
_0(orcid)0000-0001-6083-9607
_1https://orcid.org/0000-0001-6083-9607
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031666728
776 0 8 _iPrinted edition:
_z9783031666742
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14781
856 4 0 _zLibro electrónico
_uhttp://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-66673-5
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cLIBRO_ELEC
999 _c276293
_d276292