The Arts and Computational Culture: Real and Virtual Worlds / / edited by Tula Giannini, Jonathan P. Bowen |
Autore | Giannini Tula |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (750 pages) |
Disciplina |
005.437
004.019 |
Altri autori (Persone) | BowenJonathan P |
Collana | Springer Series on Cultural Computing |
Soggetto topico |
User interfaces (Computer systems)
Human-computer interaction Arts Cultural property User Interfaces and Human Computer Interaction Cultural Heritage |
ISBN |
9783031538650
9783031538643 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Part I: Prelude to 21st Century Computational Culture: Pioneers of Art and Science -- Part II: Curating Art: A Paradigm Shift from Digital to Computational Culture -- Part III: Art and Emerging Sociocultural Global Movements -- Part IV: The Metaverse -- Part V: Education in the Age of Computational Culture -- Part VI: Human States of Being: Real and Artificial Consciousness -- Part VII: The Arts on the Global Virtual Stage -- Part VIII: The Future of Computational Arts and Life. |
Record Nr. | UNINA-9910869178703321 |
Giannini Tula
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Engineering Trustworthy Software Systems [[electronic resource] ] : 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XVII, 221 p. 32 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer communication systems Artificial intelligence Computer programming Architecture, Computer Natural language processing (Computer science) Software Engineering/Programming and Operating Systems Computer Communication Networks Artificial Intelligence Programming Techniques Computer System Implementation Natural Language Processing (NLP) |
ISBN | 3-030-55089-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Seamless Model-based System Development: Foundations -- From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT -- Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence -- K - A Semantic Framework for Programming Languages and Formal Analysis Tools -- Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. |
Record Nr. | UNISA-996418305803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Engineering Trustworthy Software Systems : 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XVII, 221 p. 32 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer communication systems Artificial intelligence Computer programming Architecture, Computer Natural language processing (Computer science) Software Engineering/Programming and Operating Systems Computer Communication Networks Artificial Intelligence Programming Techniques Computer System Implementation Natural Language Processing (NLP) |
ISBN | 3-030-55089-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Seamless Model-based System Development: Foundations -- From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT -- Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence -- K - A Semantic Framework for Programming Languages and Formal Analysis Tools -- Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. |
Record Nr. | UNINA-9910413437403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XVII, 237 p. 556 illus., 84 illus. in color.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer communication systems Algorithms Computer logic Mathematical logic Artificial intelligence Software Engineering Computer Communication Networks Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
ISBN | 3-030-17601-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | An Introduction to Software Verification with Whiley -- Learning Büchi Automata and Its Applications -- Securing Emergent IoT Applications -- Programming Z3 -- The Impact of Alan Turing: Formal Methods and Beyond. . |
Record Nr. | UNISA-996466303703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XVII, 237 p. 556 illus., 84 illus. in color.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer communication systems Algorithms Computer logic Mathematical logic Artificial intelligence Software Engineering Computer Communication Networks Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
ISBN | 3-030-17601-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | An Introduction to Software Verification with Whiley -- Learning Büchi Automata and Its Applications -- Securing Emergent IoT Applications -- Programming Z3 -- The Impact of Alan Turing: Formal Methods and Beyond. . |
Record Nr. | UNINA-9910337563003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Engineering Trustworthy Software Systems [[electronic resource] ] : Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVII, 219 p. 127 illus., 31 illus. in color.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer logic Computers Computer system failures Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs The Computing Profession System Performance and Evaluation |
ISBN | 3-030-02928-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Guide to Rely/Guarantee Thinking -- An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping -- Formalizing Hoare Logic in PVS -- Modeling Concurrency in Dafny -- Software Is Not Soft: Challenges and Approaches to Dynamic Software Update -- Challenges for Formal Semantic Description: Responses from the Main Approaches. . |
Record Nr. | UNISA-996466277303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Engineering Trustworthy Software Systems : Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVII, 219 p. 127 illus., 31 illus. in color.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer logic Computers Computer system failures Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs The Computing Profession System Performance and Evaluation |
ISBN | 3-030-02928-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Guide to Rely/Guarantee Thinking -- An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping -- Formalizing Hoare Logic in PVS -- Modeling Concurrency in Dafny -- Software Is Not Soft: Challenges and Approaches to Dynamic Software Update -- Challenges for Formal Semantic Description: Responses from the Main Approaches. . |
Record Nr. | UNINA-9910349394003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XV, 259 p. 64 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computers Computer logic Computer system failures Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters The Computing Profession Logics and Meanings of Programs System Performance and Evaluation |
ISBN | 3-319-56841-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Alan Turing: Founder of Computer Science -- UTP by Example: Designs -- Reasoned Modelling with Event-B -- Java in the Safety-Critical Domain -- Runtime Verification for Linear-Time Temporal Logic -- Formal Reasoning on Infinite Data Values: An Ongoing Quest. |
Record Nr. | UNINA-9910484960003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XV, 259 p. 64 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computers Computer logic Computer system failures Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters The Computing Profession Logics and Meanings of Programs System Performance and Evaluation |
ISBN | 3-319-56841-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Alan Turing: Founder of Computer Science -- UTP by Example: Designs -- Reasoned Modelling with Event-B -- Java in the Safety-Critical Domain -- Runtime Verification for Linear-Time Temporal Logic -- Formal Reasoning on Infinite Data Values: An Ongoing Quest. |
Record Nr. | UNISA-996465722403316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Methods and Testing [[electronic resource] ] : An Outcome of the FORTEST Network. Revised Selected Papers / / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XIII, 367 p.) |
Disciplina | 005.1/4 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Management information systems Computer science Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Management of Computing and Information Systems |
ISBN | 3-540-78917-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Model Based Testing with Labelled Transition Systems -- Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer -- Testing Real-Time Systems Using UPPAAL -- Coverage Criteria for State Based Specifications -- Testing in the Distributed Test Architecture -- Testing from X-Machine Specifications -- Testing Data Types Implementations from Algebraic Specifications -- From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria -- Comparing the Effectiveness of Testing Techniques -- The Test Technology TTCN-3 -- Testability Transformation – Program Transformation to Improve Testability -- Modelling the Effects of Combining Diverse Software Fault Detection Techniques. |
Record Nr. | UNISA-996465921203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|