Formal Methods Teaching [[electronic resource] ] : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / / edited by Brijesh Dongol, Luigia Petre, Graeme Smith |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XVI, 245 p. 545 illus., 53 illus. in color.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Compilers (Computer programs) Software engineering Logic programming Algorithms Formal Languages and Automata Theory Compilers and Interpreters Software Engineering Logic in AI |
ISBN | 3-030-32441-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques. |
Record Nr. | UNISA-996466438103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / / edited by Brijesh Dongol, Luigia Petre, Graeme Smith |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XVI, 245 p. 545 illus., 53 illus. in color.) |
Disciplina |
004.0151
004.151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Compilers (Computer programs) Software engineering Logic programming Algorithms Formal Languages and Automata Theory Compilers and Interpreters Software Engineering Logic in AI |
ISBN | 3-030-32441-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques. |
Record Nr. | UNINA-9910349279903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Integrated Formal Methods [[electronic resource] ] : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings / / edited by Eerke Boiten, John Derrick, Graeme Smith |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XII, 548 p.) |
Disciplina | 005.1015113 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Computer logic Computer programming Software engineering Programming languages (Electronic computers) Theory of Computation Logics and Meanings of Programs Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters |
ISBN |
1-280-30726-9
9786610307265 3-540-24756-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft -- Design Verification for Control Engineering -- Integrating Model Checking and Theorem Proving in a Reflective Functional Language -- Tutorial -- A Tutorial Introduction to Designs in Unifying Theories of Programming -- Contributed Papers -- An Integration of Program Analysis and Automated Theorem Proving -- Verifying Controlled Components -- Efficient CSP Z Data Abstraction -- State/Event-Based Software Model Checking -- Formalising Behaviour Trees with CSP -- Generating MSCs from an Integrated Formal Specification Language -- UML to B: Formal Verification of Object-Oriented Models -- Software Verification with Integrated Data Type Refinement for Integer Arithmetic -- Constituent Elements of a Correctness-Preserving UML Design Approach -- Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption -- Linking CSP-OZ with UML and Java: A Case Study -- Object-Oriented Modelling with High-Level Modular Petri Nets -- Specification and Verification of Synchronizing Concurrent Objects -- Understanding Object-Z Operations as Generalised Substitutions -- Embeddings of Hybrid Automata in Process Algebra -- An Optimal Approach to Hardware/Software Partitioning for Synchronous Model -- A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models -- Integrating Temporal Logics -- Integration of Specification Languages Using Viewpoints -- Integrating Formal Methods by Unifying Abstractions -- Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors -- Using UML Sequence Diagrams as the Basis for a Formal Test Description Language -- Viewpoint-Based Testing of Concurrent Components -- A Method for Compiling and Executing Expressive Assertions. |
Record Nr. | UNISA-996465536103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings / / edited by Eerke Boiten, John Derrick, Graeme Smith |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XII, 548 p.) |
Disciplina | 005.1015113 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Computer logic Computer programming Software engineering Programming languages (Electronic computers) Theory of Computation Logics and Meanings of Programs Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters |
ISBN |
1-280-30726-9
9786610307265 3-540-24756-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft -- Design Verification for Control Engineering -- Integrating Model Checking and Theorem Proving in a Reflective Functional Language -- Tutorial -- A Tutorial Introduction to Designs in Unifying Theories of Programming -- Contributed Papers -- An Integration of Program Analysis and Automated Theorem Proving -- Verifying Controlled Components -- Efficient CSP Z Data Abstraction -- State/Event-Based Software Model Checking -- Formalising Behaviour Trees with CSP -- Generating MSCs from an Integrated Formal Specification Language -- UML to B: Formal Verification of Object-Oriented Models -- Software Verification with Integrated Data Type Refinement for Integer Arithmetic -- Constituent Elements of a Correctness-Preserving UML Design Approach -- Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption -- Linking CSP-OZ with UML and Java: A Case Study -- Object-Oriented Modelling with High-Level Modular Petri Nets -- Specification and Verification of Synchronizing Concurrent Objects -- Understanding Object-Z Operations as Generalised Substitutions -- Embeddings of Hybrid Automata in Process Algebra -- An Optimal Approach to Hardware/Software Partitioning for Synchronous Model -- A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models -- Integrating Temporal Logics -- Integration of Specification Languages Using Viewpoints -- Integrating Formal Methods by Unifying Abstractions -- Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors -- Using UML Sequence Diagrams as the Basis for a Formal Test Description Language -- Viewpoint-Based Testing of Concurrent Components -- A Method for Compiling and Executing Expressive Assertions. |
Record Nr. | UNINA-9910144204403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Religion in the European refugee crisis / / edited by Ulrich Schmiedel, Graeme Smith |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2018 |
Descrizione fisica | 1 online resource (318 pages) : illustrations, charts, tables |
Disciplina | 325.21094 |
Collana | Religion and Global Migrations |
Soggetto topico |
Religion and sociology
Emigration and immigration Cultural policy Europe—Politics and government Religion and Society Migration Cultural Policy and Politics European Politics |
ISBN | 3-319-67961-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Introduction: Charting a Crisis -- 2. Perceptions of Plurality: The Impact of the Refugee Crisis on the Interpretation of Religious Pluralization in Europe -- 3.Infiltrators, Imposters or Human Beings? The Slovenian Socio-Political Imaginary, Christianity, and the Responses to the 2015-2016 Migrant Crisis -- 4. Between Traditionalism, Fundamentalism, and Populism: A Critical Discourse Analysis of the Media Coverage of the Migration Crisis in Poland -- 5. Confronting the Current Refugee Crisis: The Importance of Islamic Citizens’ Initiatives in Germany -- 6. Fearing the Faith of Others? Government, Religion, and Integration in Norway -- 7. Christianity in a Post-Christian Context: Immigration, Church Identity, and the Role of Religion in Public Debates -- 8. “Refugees” and the Problem of Identity in the UK -- 9. Against the Manichees: Immigration Detention and the Shaping of the Theo-Political Imagination.-10. None is Still Too Many: Holocaust Commemoration and Historical Anesthetization -- 11. "We Can Do This!”: Tackling the Political Theology of Populism -- 12. Who are the People? Towards a Theological Ethics of Citizenship and Community -- 13. Turning a Curse into a Blessing? Theological Contributions to a Resource-Orientated Narrative on Migration in Europe -- 14. Christ, the Stranger: The Theological Relevance of Migration -- 15. What Does It Mean to Be a Progressive Intellectual after the Refugee Crisis in Europe? A Dialogue with Tariq Ramadan -- 16. Conclusion: The Theological Takeover. . |
Record Nr. | UNINA-9910300628503321 |
Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|