Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
The application of formal methods = ...
~
Woodcock, Jim.
Linked to FindBook
Google Book
Amazon
博客來
The application of formal methods = essays dedicated to Jim Woodcock on the occasion of his retirement /
Record Type:
Electronic resources : Monograph/item
Title/Author:
The application of formal methods/ edited by Simon Foster, Augusto Sampaio.
Reminder of title:
essays dedicated to Jim Woodcock on the occasion of his retirement /
other author:
Woodcock, Jim.
Published:
Cham :Springer Nature Switzerland : : 2024.,
Description:
xiv, 375 p. :ill. (some col.), digital ;24 cm.
Contained By:
Springer Nature eBook
Subject:
Formal methods (Computer science) -
Online resource:
https://doi.org/10.1007/978-3-031-67114-2
ISBN:
9783031671142
The application of formal methods = essays dedicated to Jim Woodcock on the occasion of his retirement /
The application of formal methods
essays dedicated to Jim Woodcock on the occasion of his retirement /[electronic resource] :edited by Simon Foster, Augusto Sampaio. - Cham :Springer Nature Switzerland :2024. - xiv, 375 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,149000302-9743 ;. - Lecture notes in computer science ;14900..
This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators. After a PhD on software verification at the University of Liverpool, Jim has combined a successful career in academia with outstanding industry research, in particular he has been a pioneer in applying mathematical modelling approaches in critical industries. At GEC's Hirst Research Centre he worked on a novel distributed telephone exchange and a service specification of a PABX exchange. In Oxford he collaborated with IBM Hursley Laboratories on modelling of the CICS transaction processing system, one of the most significant software systems ever. As part of the UK government's cybersecurity strategy, he used Z techniques to develop secure office automation systems and a secure version of UNIX. He worked with the Smith Institute and BR Research to verify the safety of railway signalling systems, approaches developed further in safety-critical control systems for the UK Nuclear Installation Inspectorate and British Energy. He provided a technically complete theory of correctness for Z, verifying its soundness from first principles, and completed the verification of Mondex, a smartcard-based electronic cash system, the first application of a general theory of program correctness to an industrial product. He coordinated the experimental work of the Verified Software Initiative, an international grand challenge. More recently he extended the collection of standard Unifying Theories of Programming (UTP) with work on object orientation and hybrid systems. Currently he is working on a UTP theory of probabilistic programs with application to robotics. Jim has been a lecturer, research fellow, reader and professor at the University of Surrey, the University of Oxford, the University of Kent, and since 2004 the University of York, and he is a visiting professor at the Federal University of Pernambuco and Trinity College Dublin. He is a Fellow of the Royal Academy of Engineering, the British Computer Society, and the Formal Methods Europe association, and he was part of the team that won the Queen's Award for Technological Achievement in 1992. He is the Editor-in-Chief of the ACM journal Formal Aspects of Computing, he has chaired major related academic conferences, and he has contributed to CCITT and Z ISO international standards. Throughout all these activities, Jim has been a guide and inspiration to colleagues and students, and collaborated successfully with researchers in the UK, Brazil, China, France, USA, Ireland, and Singapore. Many of these researchers show in their contributions to this volume the ongoing impact of his work.
ISBN: 9783031671142
Standard No.: 10.1007/978-3-031-67114-2doiSubjects--Topical Terms:
882407
Formal methods (Computer science)
LC Class. No.: QA76.9.F67
Dewey Class. No.: 004.0151
The application of formal methods = essays dedicated to Jim Woodcock on the occasion of his retirement /
LDR
:03818nmm a22003375a 4500
001
2388022
003
DE-He213
005
20240901130242.0
006
m d
007
cr nn 008maaau
008
250916s2024 sz s 0 eng d
020
$a
9783031671142
$q
(electronic bk.)
020
$a
9783031671135
$q
(paper)
024
7
$a
10.1007/978-3-031-67114-2
$2
doi
035
$a
978-3-031-67114-2
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76.9.F67
072
7
$a
UYA
$2
bicssc
072
7
$a
COM014000
$2
bisacsh
072
7
$a
UYA
$2
thema
082
0 4
$a
004.0151
$2
23
090
$a
QA76.9.F67
$b
A652 2024
245
0 4
$a
The application of formal methods
$h
[electronic resource] :
$b
essays dedicated to Jim Woodcock on the occasion of his retirement /
$c
edited by Simon Foster, Augusto Sampaio.
260
$a
Cham :
$b
Springer Nature Switzerland :
$b
Imprint: Springer,
$c
2024.
300
$a
xiv, 375 p. :
$b
ill. (some col.), digital ;
$c
24 cm.
347
$a
text file
$b
PDF
$2
rda
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
14900
520
$a
This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators. After a PhD on software verification at the University of Liverpool, Jim has combined a successful career in academia with outstanding industry research, in particular he has been a pioneer in applying mathematical modelling approaches in critical industries. At GEC's Hirst Research Centre he worked on a novel distributed telephone exchange and a service specification of a PABX exchange. In Oxford he collaborated with IBM Hursley Laboratories on modelling of the CICS transaction processing system, one of the most significant software systems ever. As part of the UK government's cybersecurity strategy, he used Z techniques to develop secure office automation systems and a secure version of UNIX. He worked with the Smith Institute and BR Research to verify the safety of railway signalling systems, approaches developed further in safety-critical control systems for the UK Nuclear Installation Inspectorate and British Energy. He provided a technically complete theory of correctness for Z, verifying its soundness from first principles, and completed the verification of Mondex, a smartcard-based electronic cash system, the first application of a general theory of program correctness to an industrial product. He coordinated the experimental work of the Verified Software Initiative, an international grand challenge. More recently he extended the collection of standard Unifying Theories of Programming (UTP) with work on object orientation and hybrid systems. Currently he is working on a UTP theory of probabilistic programs with application to robotics. Jim has been a lecturer, research fellow, reader and professor at the University of Surrey, the University of Oxford, the University of Kent, and since 2004 the University of York, and he is a visiting professor at the Federal University of Pernambuco and Trinity College Dublin. He is a Fellow of the Royal Academy of Engineering, the British Computer Society, and the Formal Methods Europe association, and he was part of the team that won the Queen's Award for Technological Achievement in 1992. He is the Editor-in-Chief of the ACM journal Formal Aspects of Computing, he has chaired major related academic conferences, and he has contributed to CCITT and Z ISO international standards. Throughout all these activities, Jim has been a guide and inspiration to colleagues and students, and collaborated successfully with researchers in the UK, Brazil, China, France, USA, Ireland, and Singapore. Many of these researchers show in their contributions to this volume the ongoing impact of his work.
650
0
$a
Formal methods (Computer science)
$3
882407
650
1 4
$a
Formal Languages and Automata Theory.
$3
3592087
650
2 4
$a
Programming Language.
$3
3538935
650
2 4
$a
Software Engineering.
$3
890874
700
1
$a
Woodcock, Jim.
$3
907141
700
1
$a
Foster, Simon.
$3
3752842
700
1
$a
Sampaio, Augusto.
$3
3414128
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer Nature eBook
830
0
$a
Lecture notes in computer science ;
$v
14900.
$3
3752843
856
4 0
$u
https://doi.org/10.1007/978-3-031-67114-2
950
$a
Computer Science (SpringerNature-11645)
based on 0 review(s)
Location:
ALL
電子資源
Year:
Volume Number:
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
W9498786
電子資源
11.線上閱覽_V
電子書
EB QA76.9.F67
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login