Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures / / edited by Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu
| Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures / / edited by Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu |
| Autore | Bowen Jonathan P |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (255 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
GomesCláudio
LiuZhiming |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer networks Artificial intelligence Computer programming Computer systems Natural language processing (Computer science) Software Engineering Computer Communication Networks Artificial Intelligence Programming Techniques Computer System Implementation Natural Language Processing (NLP) |
| ISBN |
9789819646562
9819646561 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | SETSS 2024 School -- What Came First, Mathematics or Computing? -- From Logic to Programming -- Digital Twin Tutorial: The Incubator Case Study -- AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems _ A Challenge for Formal Methods -- Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing -- SETSS 2024 Workshop -- Software Engineering Experiences of an Optimist -- Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs. |
| Record Nr. | UNINA-9910993933603321 |
Bowen Jonathan P
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures / / edited by Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu
| Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures / / edited by Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu |
| Autore | Bowen Jonathan P |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (255 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
GomesCláudio
LiuZhiming |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer networks Artificial intelligence Computer programming Computer systems Natural language processing (Computer science) Software Engineering Computer Communication Networks Artificial Intelligence Programming Techniques Computer System Implementation Natural Language Processing (NLP) |
| ISBN |
9789819646562
9819646561 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | SETSS 2024 School -- What Came First, Mathematics or Computing? -- From Logic to Programming -- Digital Twin Tutorial: The Incubator Case Study -- AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems _ A Challenge for Formal Methods -- Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing -- SETSS 2024 Workshop -- Software Engineering Experiences of an Optimist -- Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs. |
| Record Nr. | UNISA-996655265703316 |
|
Bowen Jonathan P
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods and testing : an outcome of the FORTEST network : revised selected papers / / Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)
| Formal methods and testing : an outcome of the FORTEST network : revised selected papers / / Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2008 |
| Descrizione fisica | 1 online resource (XIII, 367 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
HieronsRobert M
BowenJ. P <1956-> (Jonathan Peter) HarmanMark |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Formal methods (Computer science)
Computer software - Testing |
| 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. | UNINA-9910484972603321 |
| Berlin ; ; New York, : Springer, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theories of Programming and Formal Methods [[electronic resource] ] : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday / / edited by Jonathan P. Bowen, Qin Li, Qiwen Xu
| Theories of Programming and Formal Methods [[electronic resource] ] : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday / / edited by Jonathan P. Bowen, Qin Li, Qiwen Xu |
| Autore | Bowen Jonathan P |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (417 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
LiQin
XuQiwen |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer science Software Engineering Computer Science Logic and Foundations of Programming |
| ISBN | 3-031-40436-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Jifeng He’s Research Influence -- Oxford Colleagues -- ProCoS Colleagues -- Chinese Colleagues -- European Colleagues -- The Future Roadmap. |
| Record Nr. | UNISA-996550560203316 |
|
Bowen Jonathan P
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday / / edited by Jonathan P. Bowen, Qin Li, Qiwen Xu
| Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday / / edited by Jonathan P. Bowen, Qin Li, Qiwen Xu |
| Autore | Bowen Jonathan P |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (417 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
LiQin
XuQiwen |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer science Software Engineering Computer Science Logic and Foundations of Programming |
| ISBN | 3-031-40436-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Jifeng He’s Research Influence -- Oxford Colleagues -- ProCoS Colleagues -- Chinese Colleagues -- European Colleagues -- The Future Roadmap. |
| Record Nr. | UNINA-9910744505403321 |
|
Bowen Jonathan P
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||