Jonathan P. Bowen – författare
Visar alla böcker från författaren Jonathan P. Bowen. Handla med fri frakt och snabb leverans.
28 produkter
28 produkter
1 600 kr
Skickas inom 10-15 vardagar
Presenting the latest technological developments in arts and culture, this volume demonstrates the advantages of a union between art and science. Electronic Visualisation in Arts and Culture is presented in five parts:Imaging and CultureNew Art PracticeSeeing MotionInteraction and Interfaces Visualising HeritageElectronic Visualisation in Arts and Culture explores a variety of new theory and technologies, including devices and techniques for motion capture for music and performance, advanced photographic techniques, computer generated images derived from different sources, game engine software, airflow to capture the motions of bird flight and low-altitude imagery from airborne devices.The international authors of this book are practising experts from universities, art practices and organisations, research centres and independent research. They describe electronic visualisation used for such diverse aspects of culture as airborne imagery, computer generated art based on the autoimmune system, motion capture for music and for sign language, the visualisation of time and the long term preservation of these materials. Selected from the EVA London conferences from 2009-2012, held in association with the Computer Arts Society of the British Computer Society, the authors have reviewed, extended and fully updated their work for this state-of-the-art volume.
1 101 kr
Skickas inom 10-15 vardagar
The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on advances in the application of formal design and analysis techniques in all the stages of software development. The seminars attracted an audience fromboth academiaand industry, andgavethem the opportunity to hear and meet pioneers andkeyresearchersin computing science.Normally it wouldbe necessaryto travelabroadand attend an internationalconference to be in the presence of such respected ?gures; instead, the evening seminar programme, overa period of threeyears,broughtthe keynotespeakers of the conference to theBritishComputerSocietyheadquarters,fortheconvenienceofanaudience basedinLondon.Severalspeakersfromtheperiod2005-2007kindlydeveloped their talks into full papers, which form the basis of this volume. Iamdelightedtowelcomethepublicationofsuchanexcellentandcomp- hensiveseriesofcontributions.Theyarenowavailableinbookformtoaneven wider audience, including developers interested in solutions already available, and researchers interested in problems which remain for future solution.Sir Tony Hoare Preface They envy the distinction I have won; let them therefore, envy my toils, my honesty, and the methods by which I gained it. - Sallust (86-34 BC) Formalmethods area powerfultechniqueforhelping toensure the correctness of software. The growth in their use has been slow but steady and they are typically applied in critical systems where safety or security is paramount.
1 600 kr
Skickas inom 10-15 vardagar
Presenting the latest technological developments in arts and culture, this volume demonstrates the advantages of a union between art and science. Electronic Visualisation in Arts and Culture is presented in five parts:Imaging and CultureNew Art PracticeSeeing MotionInteraction and Interfaces Visualising HeritageElectronic Visualisation in Arts and Culture explores a variety of new theory and technologies, including devices and techniques for motion capture for music and performance, advanced photographic techniques, computer generated images derived from different sources, game engine software, airflow to capture the motions of bird flight and low-altitude imagery from airborne devices.The international authors of this book are practising experts from universities, art practices and organisations, research centres and independent research. They describe electronic visualisation used for such diverse aspects of culture as airborne imagery, computer generated art based on the autoimmune system, motion capture for music and for sign language, the visualisation of time and the long term preservation of these materials. Selected from the EVA London conferences from 2009-2012, held in association with the Computer Arts Society of the British Computer Society, the authors have reviewed, extended and fully updated their work for this state-of-the-art volume.
1 101 kr
Skickas inom 10-15 vardagar
The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on advances in the application of formal design and analysis techniques in all the stages of software development. The seminars attracted an audience fromboth academiaand industry, andgavethem the opportunity to hear and meet pioneers andkeyresearchersin computing science.Normally it wouldbe necessaryto travelabroadand attend an internationalconference to be in the presence of such respected ?gures; instead, the evening seminar programme, overa period of threeyears,broughtthe keynotespeakers of the conference to theBritishComputerSocietyheadquarters,fortheconvenienceofanaudience basedinLondon.Severalspeakersfromtheperiod2005-2007kindlydeveloped their talks into full papers, which form the basis of this volume. Iamdelightedtowelcomethepublicationofsuchanexcellentandcomp- hensiveseriesofcontributions.Theyarenowavailableinbookformtoaneven wider audience, including developers interested in solutions already available, and researchers interested in problems which remain for future solution.Sir Tony Hoare Preface They envy the distinction I have won; let them therefore, envy my toils, my honesty, and the methods by which I gained it. - Sallust (86-34 BC) Formalmethods area powerfultechniqueforhelping toensure the correctness of software. The growth in their use has been slow but steady and they are typically applied in critical systems where safety or security is paramount.
1 648 kr
Skickas inom 10-15 vardagar
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of formalised components, details of results and an analysis of the overall approach. It provides specific details on how to produce high-quality software that comes in on-time and within budget. Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to the following groups; academic researchers working in formal methods who are interested in evidence of their success and in how they can be applied on an industrial scale, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work.
Del 11174 - Lecture Notes in Computer Science
Engineering Trustworthy Software Systems
Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
Häftad, Engelska, 2018
554 kr
Skickas inom 10-15 vardagar
This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.
Del 11430 - Lecture Notes in Computer Science
Engineering Trustworthy Software Systems
4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
Häftad, Engelska, 2019
642 kr
Skickas inom 10-15 vardagar
This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering;
Del 12154 - Lecture Notes in Computer Science
Engineering Trustworthy Software Systems
5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures
Häftad, Engelska, 2020
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019. The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering.
Del 14080 - Lecture Notes in Computer Science
Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Häftad, Engelska, 2023
773 kr
Skickas inom 10-15 vardagar
This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences.The first paper in the volume provides an overview of Jifeng’s research contributions, especially inthe area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems). In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng’s recent roadmap for UTP.
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Engelska, 2023
631 kr
Skickas inom 5-8 vardagar
2 511 kr
Skickas inom 5-8 vardagar
A Paradigm Shift and Defining Moment in the 21st Century: Fuelled by the convergence of computational culture, artificial intelligence, and machine learning, arts and culture are experiencing a revolutionary moment poised to change human life and society on a global scale.
2 523 kr
Skickas inom 10-15 vardagar
A Paradigm Shift and Defining Moment in the 21st Century: Fuelled by the convergence of computational culture, artificial intelligence, and machine learning, arts and culture are experiencing a revolutionary moment poised to change human life and society on a global scale. There is the promise of the Metaverse, with extended reality (XR) and immersive virtual worlds. For the first time, reality and virtuality are merging with these new developments. The proposed book is among the first to address the context, complexity, and impact of this multi-faceted subject in detail – for up close and personal engagement of the reader, while evoking a landscape view. As digital culture evolves to computational culture, we embark on a digital journey from 2D to 3D, where flat computer screens for the Internet and smart phones are evolving into immersive digital environments. This is while new technologies and AI are increasingly embedded in every aspect of daily life, the arts, and education.
1 101 kr
Skickas inom 10-15 vardagar
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project ‘ProCoS’ (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.The following topics are covered: An historical account of the ProCoS projectHybrid SystemsCorrectness of Concurrent AlgorithmsInterfaces and LinkingAutomatic VerificationRun-time Assertions CheckingFormal and Semi-Formal Methods Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.
Del 10134 - Lecture Notes in Computer Science
Unifying Theories of Programming
6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Häftad, Engelska, 2017
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016.
Del 10215 - Lecture Notes in Computer Science
Engineering Trustworthy Software Systems
Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Häftad, Engelska, 2017
554 kr
Skickas inom 10-15 vardagar
A record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), 2016, Chongqing, China, these contributions, distilled from six courses and two seminars, overview leading-edge research in methods and tools for computer system engineering.
1 101 kr
Skickas inom 10-15 vardagar
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project ‘ProCoS’ (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.The following topics are covered: An historical account of the ProCoS projectHybrid SystemsCorrectness of Concurrent AlgorithmsInterfaces and LinkingAutomatic VerificationRun-time Assertions CheckingFormal and Semi-Formal Methods Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.
1 867 kr
Skickas inom 10-15 vardagar
This book explores how digital culture is transforming museums in the 21st century. Offering a corpus of new evidence for readers to explore, the authors trace the digital evolution of the museum and that of their audiences, now fully immersed in digital life, from the Internet to home and work. In a world where life in code and digits has redefined human information behavior and dominates daily activity and communication, ubiquitous use of digital tools and technology is radically changing the social contexts and purposes of museum exhibitions and collections, the work of museum professionals and the expectations of visitors, real and virtual. Moving beyond their walls, with local and global communities, museums are evolving into highly dynamic, socially aware and relevant institutions as their connections to the global digital ecosystem are strengthened. As they adopt a visitor-centered model and design visitor experiences, their priorities shift to engage audiences, convey digital collections, and tell stories through exhibitions. This is all part of crafting a dynamic and innovative museum identity of the future, made whole by seamless integration with digital culture, digital thinking, aesthetics, seeing and hearing, where visitors are welcomed participants.The international and interdisciplinary chapter contributors include digital artists, academics, and museum professionals. In themed parts the chapters present varied evidence-based research and case studies on museum theory, philosophy, collections, exhibitions, libraries, digital art and digital future, to bring new insights and perspectives, designed to inspire readers. Enjoy the journey!
ZB 2003: Formal Specification and Development in Z and B
Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
Häftad, Engelska, 2003
1 101 kr
Skickas inom 10-15 vardagar
The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
ZB 2002: Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
Häftad, Engelska, 2002
538 kr
Skickas inom 10-15 vardagar
These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23-25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con- rence in this series, ZB2000, held at the University ofYork in the UK. The location of ZB2002 in Grenoble re ects the important work in the area of formal methods carried out at the Laboratoire Logiciels Systemes ' Reseaux ' within the Institut d'Informatique et Mathematiques ' Appliquees ' de Grenoble (LSR-IMAG), especially involving the B method. B and Z are two important formal methods that share a common conceptual o- gin; each are leading approaches applied in industry and academia for the speci cation and development (using formal re nement) of computer-based systems. At ZB2002 the B and Z communities were brought together to hold a second joint conference that simultaneously incorporated the 13th International Z User Meeting and the 4th Int- national Conference on the B method.Although organized logistically as an integral event, editorial control of the joint conference remained vested in two separate but c- perating program committees that respectively determined its B and Z content, but in a coordinated manner.
ZUM '95: The Z Formal Specification Notation
9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
Häftad, Engelska, 1995
1 101 kr
Skickas inom 10-15 vardagar
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.
ZUM'97: The Z Formal Specification Notation
10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings
Häftad, Engelska, 1997
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997.The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.
ZUM '98: The Z Formal Specification Notation
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
Häftad, Engelska, 1998
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 11th International Conference of Z Users, ZUM '98, held in Berlin, Germany, in September 1998. The 28 revised and invited papers presented were carefully reviewed and selected for inclusion in the book; also included is a comprehensive Z bibliography and a summary of the frequently asked questions at two Z Internet sites. The papers are organized in sections on industrial issues, concurrency, tools, Z and HOL, safety-critical and real-time systems, semantic theory, theory and standards, reasoning and consistency issues, refinement, and object orientation.
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
Häftad, Engelska, 2000
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000.The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.
554 kr
Skickas inom 10-15 vardagar
This volume provides the reader with an introduction to system specification and design methods, with particular emphasis on structured and formal methods, method integration, concurrency and safety critical systems. It contains new material by Michael Hinchey and Jonathan Bowen, along with reprints of articles on high-integrity systems. Among these articles are contributions from Leslie Lamport, Nancy Leveson, and C.A.R. Hoare. The text provides details of specification and design approaches for this type of system, an overview of the development process, and evidence of how various classes of high integrity systems may be approached and developed successfully.
Formal Methods and Testing
An Outcome of the FORTEST Network. Revised Selected Papers
Häftad, Engelska, 2008
554 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).
Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Häftad, Engelska, 2008
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method. The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.
Engineering Trustworthy Software Systems
7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures
Häftad, Engelska, 2026
608 kr
Kommande
This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engineering Trustworthy Software Systems, SETSS 2025, held in Beijing, China, in May 17–23, 2025.The 7 full papers were carefully reviewed and selected from 8 submissions. The proceedings focuses on lectures given during SETSS covered an ample variety oftechniques to achieve this goal, from model checking to simulation testing, from the use of formal methods and contracts to model-based engineering.
Del 15584 - Lecture Notes in Computer Science
Engineering Trustworthy Software Systems
6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures
Häftad, Engelska, 2025
554 kr
Skickas inom 10-15 vardagar
This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024. The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions.