Bowen, Jonathan P.
Overview
| Works: | 1 works in 8 publications in 1 languages | |
|---|---|---|
Titles
Engineering trustworthy software systems = 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures /
by:
Bowen, Jonathan P.; SpringerLink (Online service); Liu, Zhiming.; Zhang, Zili.; SETSS (International school) (2018 :)
(Electronic resources)
Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures /
by:
Bowen, Jonathan P.; SpringerLink (Online service); SETSS (Summer school) (2016 :); Liu, Zhiming.; Zhang, Zili.
(Electronic resources)
Theories of programming and formal methods = essays dedicated to Jifeng He on the occasion of his 80th birthday /
by:
Bowen, Jonathan P.; SpringerLink (Online service); Xu, Qiwen.; Li, Qin.
(Electronic resources)
ZB 2000 = formal specification and development in Z and B: first International Conference of B and Z Users, York, UK, August 29 - September 2, 2000 : proceedings /
by:
Bowen, Jonathan P.; SpringerLink (Online service); International Conference of B and Z Users (2000 :)
(Language materials, printed)
Museums and digital culture = new perspectives and research /
by:
Giannini, Tula.; Bowen, Jonathan P.; SpringerLink (Online service)
(Electronic resources)
Engineering trustworthy software systems = 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures /
by:
Bowen, Jonathan P.; SpringerLink (Online service); Liu, Zhiming.; Zhang, Zili.; SETSS (International school) (2019 :)
(Electronic resources)
Provably correct systems
by:
Hinchey, Mike G.; Bowen, Jonathan P.; Olderog, Ernst-Rudiger.; SpringerLink (Online service)
(Electronic resources)
Unifying theories of programming = 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers /
by:
UTP (Symposium) (2016 :); Bowen, Jonathan P.; SpringerLink (Online service); Zhu, Huibiao.
(Electronic resources)
The arts and computational culture = real and virtual worlds /
by:
Giannini, Tula.; Bowen, Jonathan P.; SpringerLink (Online service)
(Electronic resources)
Formal methods = state of the art and new directions /
by:
Boca, Paul.; Bowen, Jonathan P.; Siddiqi, Jawed.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Natural Language Processing (NLP)
Z (Computer program language)
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Technology and the arts.
Computation by Abstract Devices.
Programming Techniques.
Computer software
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer programming
Computer software- Verification.
User Interfaces and Human Computer Interaction.
Virtual reality.
Arts.
Software engineering.
Computer Science Logic and Foundations of Programming.
Models and Principles.
Embedded computer systems.
Computer security
The Computing Profession.
Artificial Intelligence.
Museums and the Internet.
B (Computer program language)
Computer Science.
System Performance and Evaluation.
Computer Communication Networks.
Computer Appl. in Arts and Humanities.
Computer System Implementation.
Communication in museums.
Internet of things.
Cultural Heritage.
Computer programming.