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.
Abstract State Machines - Theory and Applications [[electronic resource] ] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
| Abstract State Machines - Theory and Applications [[electronic resource] ] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 386 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Mathematical logic Database management Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Database Management |
| ISBN | 3-540-44518-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstract State Machines at the Cusp of the Millenium -- Mathematical Foundations -- Abstract State Machines and Pure Mathematics -- Abstract State Machines and Computationally Complete Query Languages -- On Verification of Refinements of Timed Distributed Algorithms -- Abstract State Machine Languages -- Objects + Views = Components? -- XASM- An Extensible, Component-Based Abstract State Machines Language -- Generic Facilities in Object-Oriented ASMs -- Distribution and Concurrency -- Towards an ASM Thesis for Unconventional Algorithms -- Partially Ordered Runs: A Case Study -- Investigating Java Concurrency Using Abstract State Machines -- Compilers and Semantics -- Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations -- An ASM Dynamic Semantics for Standard ML -- Modeling the Dynamics of UML State Machines -- On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine -- Description and Simulation of Microprocessor Instruction Sets Using ASMs -- Automatic Verication and Model Checking -- Symbolic Analysis of Transition Systems? -- Encoding Abstract State Machines in PVS -- Model Checking Abstract State Machines and Beyond -- Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study -- Industrial Applications -- Report on a Practical Application of ASMs in Software Design -- Using Abstract State Machines at Microsoft: A Case Study. |
| Record Nr. | UNISA-996466355503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
| Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 386 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Mathematical logic Database management Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Database Management |
| ISBN | 3-540-44518-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstract State Machines at the Cusp of the Millenium -- Mathematical Foundations -- Abstract State Machines and Pure Mathematics -- Abstract State Machines and Computationally Complete Query Languages -- On Verification of Refinements of Timed Distributed Algorithms -- Abstract State Machine Languages -- Objects + Views = Components? -- XASM- An Extensible, Component-Based Abstract State Machines Language -- Generic Facilities in Object-Oriented ASMs -- Distribution and Concurrency -- Towards an ASM Thesis for Unconventional Algorithms -- Partially Ordered Runs: A Case Study -- Investigating Java Concurrency Using Abstract State Machines -- Compilers and Semantics -- Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations -- An ASM Dynamic Semantics for Standard ML -- Modeling the Dynamics of UML State Machines -- On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine -- Description and Simulation of Microprocessor Instruction Sets Using ASMs -- Automatic Verication and Model Checking -- Symbolic Analysis of Transition Systems? -- Encoding Abstract State Machines in PVS -- Model Checking Abstract State Machines and Beyond -- Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study -- Industrial Applications -- Report on a Practical Application of ASMs in Software Design -- Using Abstract State Machines at Microsoft: A Case Study. |
| Record Nr. | UNINA-9910143618703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract State Machines 2003: Advances in Theory and Practice [[electronic resource] ] : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene
| Abstract State Machines 2003: Advances in Theory and Practice [[electronic resource] ] : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 436 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer logic Computer science Software engineering Programming languages (Electronic computers) Mathematical logic Theory of Computation Logics and Meanings of Programs Computer Science, general Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 3-540-36498-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Software Testing Research and Practice -- Abstract State Processes -- Recent Advances in Refinement -- Partial Updates Exploration II -- Experiments with Test Case Generation and Runtime Analysis -- A Framework for Proving Contract-Equipped Classes -- Mobile UNITY Schemas for Agent Coordination -- UML and Concurrency -- Research Papers -- A Unified Formal Specification and Analysis of the New Java Memory Models -- Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines -- Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks -- Remarks on Turbo ASMs for Functional Equations and Recursion Schemes -- Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines -- The Hidden Computation Steps of Turbo Abstract State Machines -- Using Spin to Generate Tests from ASM Specifications -- Interfacing ASM with the MDG Tool -- ASMs versus Natural Semantics: A Comparison with New Insights -- Quantum Computing and Abstract State Machines -- Consistent Integration for Sequential Abstract State Machines -- Deciding the Verification Problem for Abstract State Machines -- An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions -- Privacy, Abstract Encryption and Protocols: An ASM Model - Part I -- A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines -- Extended Abstracts -- Using AsmL for Runtime Verification -- Modeling Information Services on the Basis of ASM Semantics -- Designing the Parlay Call-Control Using ASMs -- Test Case Generation from AsmL Specifications -- Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education -- Using ASM Specifications for Compiler Testing -- ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction -- AsmL Specification of a Ptolemy II Scheduler -- ASM Specification of Database Systems -- The Computable Kernel of ASM -- A Non-standard Approach to Operational Semantics for Timed Systems -- Parallelism versus Nondeterminism — On the Semantics of Abstract State Machines. |
| Record Nr. | UNISA-996465645203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines 2003: Advances in Theory and Practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene
| Abstract State Machines 2003: Advances in Theory and Practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 436 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer logic Computer science Software engineering Programming languages (Electronic computers) Mathematical logic Theory of Computation Logics and Meanings of Programs Computer Science, general Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 3-540-36498-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Software Testing Research and Practice -- Abstract State Processes -- Recent Advances in Refinement -- Partial Updates Exploration II -- Experiments with Test Case Generation and Runtime Analysis -- A Framework for Proving Contract-Equipped Classes -- Mobile UNITY Schemas for Agent Coordination -- UML and Concurrency -- Research Papers -- A Unified Formal Specification and Analysis of the New Java Memory Models -- Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines -- Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks -- Remarks on Turbo ASMs for Functional Equations and Recursion Schemes -- Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines -- The Hidden Computation Steps of Turbo Abstract State Machines -- Using Spin to Generate Tests from ASM Specifications -- Interfacing ASM with the MDG Tool -- ASMs versus Natural Semantics: A Comparison with New Insights -- Quantum Computing and Abstract State Machines -- Consistent Integration for Sequential Abstract State Machines -- Deciding the Verification Problem for Abstract State Machines -- An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions -- Privacy, Abstract Encryption and Protocols: An ASM Model - Part I -- A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines -- Extended Abstracts -- Using AsmL for Runtime Verification -- Modeling Information Services on the Basis of ASM Semantics -- Designing the Parlay Call-Control Using ASMs -- Test Case Generation from AsmL Specifications -- Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education -- Using ASM Specifications for Compiler Testing -- ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction -- AsmL Specification of a Ptolemy II Scheduler -- ASM Specification of Database Systems -- The Computable Kernel of ASM -- A Non-standard Approach to Operational Semantics for Timed Systems -- Parallelism versus Nondeterminism — On the Semantics of Abstract State Machines. |
| Record Nr. | UNINA-9910143882103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract State Machines 2004. Advances in Theory and Practice [[electronic resource] ] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / / edited by Wolf Zimmermann, Bernhard Thalheim
| Abstract State Machines 2004. Advances in Theory and Practice [[electronic resource] ] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / / edited by Wolf Zimmermann, Bernhard Thalheim |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 240 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Mathematical logic Computers Software engineering Programming languages (Electronic computers) Logics and Meanings of Programs Mathematical Logic and Foundations Theory of Computation Software Engineering Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters |
| ISBN |
1-280-30768-4
9786610307685 3-540-24773-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Intra-step Interaction -- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering -- An ALGOL-View on Turbo ASM -- An ASM Specification of C# Threads and the .NET Memory Model -- Finite Cursor Machines in Database Query Processing -- Research Papers -- Formalizing Liveness-Enriched Sequence Diagrams Using ASMs -- Specification and Validation of the Business Process Execution Language for Web Services -- Monodic ASMs and Temporal Verification -- Towards an Interchange Language for ASMs -- Specification and Implementation Problems for C# -- An ASM Semantics for SSA Intermediate Representations -- Observations on the Decidability of Transitions -- A Security Logic for Abstract State Machines -- Slicing Abstract State Machines -- The Cryptographic Abstract Machine -- Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals. |
| Record Nr. | UNISA-996466226603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / / edited by Wolf Zimmermann, Bernhard Thalheim
| Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / / edited by Wolf Zimmermann, Bernhard Thalheim |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 240 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Mathematical logic Computers Software engineering Programming languages (Electronic computers) Logics and Meanings of Programs Mathematical Logic and Foundations Theory of Computation Software Engineering Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters |
| ISBN |
1-280-30768-4
9786610307685 3-540-24773-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Intra-step Interaction -- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering -- An ALGOL-View on Turbo ASM -- An ASM Specification of C# Threads and the .NET Memory Model -- Finite Cursor Machines in Database Query Processing -- Research Papers -- Formalizing Liveness-Enriched Sequence Diagrams Using ASMs -- Specification and Validation of the Business Process Execution Language for Web Services -- Monodic ASMs and Temporal Verification -- Towards an Interchange Language for ASMs -- Specification and Implementation Problems for C# -- An ASM Semantics for SSA Intermediate Representations -- Observations on the Decidability of Transitions -- A Security Logic for Abstract State Machines -- Slicing Abstract State Machines -- The Cryptographic Abstract Machine -- Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals. |
| Record Nr. | UNINA-9910144158603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Accelerator Programming Using Directives [[electronic resource] ] : 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers / / edited by Sandra Wienke, Sridutt Bhalachandra
| Accelerator Programming Using Directives [[electronic resource] ] : 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers / / edited by Sandra Wienke, Sridutt Bhalachandra |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (170 pages) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer organization Microprogramming Input-output equipment (Computers) Logic design Programming Languages, Compilers, Interpreters Computer Systems Organization and Communication Networks Control Structures and Microprogramming Input/Output and Data Communications Logic Design |
| ISBN | 3-030-49943-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996418304403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Accelerator Programming Using Directives : 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers / / edited by Sandra Wienke, Sridutt Bhalachandra
| Accelerator Programming Using Directives : 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers / / edited by Sandra Wienke, Sridutt Bhalachandra |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (170 pages) |
| Disciplina |
005.1
005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer organization Microprogramming Input-output equipment (Computers) Logic design Programming Languages, Compilers, Interpreters Computer Systems Organization and Communication Networks Control Structures and Microprogramming Input/Output and Data Communications Logic Design |
| ISBN | 3-030-49943-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910409662003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Accelerator Programming Using Directives [[electronic resource] ] : 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings / / edited by Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke
| Accelerator Programming Using Directives [[electronic resource] ] : 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings / / edited by Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (IX, 137 p. 61 illus., 43 illus. in color.) |
| Disciplina | 001.642 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Logic design Input-output equipment (Computers) Microprogramming Computer organization Programming Languages, Compilers, Interpreters Logic Design Input/Output and Data Communications Control Structures and Microprogramming Computer Systems Organization and Communication Networks |
| ISBN | 3-030-12274-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466464703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Accelerator Programming Using Directives : 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings / / edited by Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke
| Accelerator Programming Using Directives : 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings / / edited by Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (IX, 137 p. 61 illus., 43 illus. in color.) |
| Disciplina |
001.642
005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Logic design Input-output equipment (Computers) Microprogramming Computer organization Programming Languages, Compilers, Interpreters Logic Design Input/Output and Data Communications Control Structures and Microprogramming Computer Systems Organization and Communication Networks |
| ISBN | 3-030-12274-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910337577103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
