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.
25 Years of Model Checking [[electronic resource] ] : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith
| 25 Years of Model Checking [[electronic resource] ] : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (VII, 234 p.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Computer programming Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Programming Techniques Formal Languages and Automata Theory |
| ISBN | 3-540-69850-7 |
| Classificazione |
DAT 003f
DAT 325f DAT 540f SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Birth of Model Checking -- The Beginning of Model Checking: A Personal Perspective -- Verification Technology Transfer -- New Challenges in Model Checking -- A Retrospective on Mur? -- Model Checking: From Tools to Theory -- Value Iteration -- Fifteen Years of Formal Property Verification in Intel -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church and Prior to PSL -- On the Merits of Temporal Testers -- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR. |
| Record Nr. | UNISA-996465393403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
25 Years of Model Checking [[electronic resource] ] : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith
| 25 Years of Model Checking [[electronic resource] ] : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (VII, 234 p.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Computer programming Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Programming Techniques Formal Languages and Automata Theory |
| ISBN | 3-540-69850-7 |
| Classificazione |
DAT 003f
DAT 325f DAT 540f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Birth of Model Checking -- The Beginning of Model Checking: A Personal Perspective -- Verification Technology Transfer -- New Challenges in Model Checking -- A Retrospective on Mur? -- Model Checking: From Tools to Theory -- Value Iteration -- Fifteen Years of Formal Property Verification in Intel -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church and Prior to PSL -- On the Merits of Temporal Testers -- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR. |
| Record Nr. | UNINA-9910767508103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
27th International Meshing Roundtable [[electronic resource] /] / edited by Xevi Roca, Adrien Loseille
| 27th International Meshing Roundtable [[electronic resource] /] / edited by Xevi Roca, Adrien Loseille |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (IX, 490 p. 314 illus., 249 illus. in color.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computational Science and Engineering |
| Soggetto topico |
Computer mathematics
Software engineering Numerical analysis Computer science—Mathematics Computer-aided engineering Computer simulation Computational Science and Engineering Software Engineering Numeric Computing Math Applications in Computer Science Computer-Aided Engineering (CAD, CAE) and Design Simulation and Modeling |
| ISBN | 3-030-13992-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1: High-order Adapted Meshes -- P2 Mesh Optimization Operators -- Isometric Embedding of Curvilinear Meshes Defined on Riemannian Metric Spaces -- Defining a Stretching and Alignment Aware Quality Measure for Linear and Curved 2D Meshes -- Curvilinear Mesh Adaptation -- Part 2 : Mesh and Geometry Blocks, Hex mesh generation -- A 44-Element Mesh of Schneiders' Pyramid: Bounding the Difficulty of Hex-Meshing Problems -- Representing Three-dimensional Cross Fields Using 4th Order Tensors -- Medial Axis Based Bead Feature Recognition for Automotive Body Panel Meshing -- An Angular Method with Position Control for Block Mesh Squareness Improvement -- Dual Surface Based Approach to Block Decomposition of Solid Models -- Automatic Blocking of Shapes using Evolutionary Algorithm -- Multi-block mesh refinement by adding mesh singularities -- Part 3: Simplicial Meshes -- Tuned Terminal Triangles Centroid Delaunay Algorithm for Quality Triangulation -- Local Bisection for Conformal Refinement of Unstructured 4D Simplicial Meshes -- A Construction of Anisotropic Meshes Based on Quasi Conformal Mapping -- Terminal Star Operations Algorithm for Tetrahedral Mesh Improvement -- Part 4: Curved High-Order Meshes -- Towards Simulation-Driven Optimization of High-Order Meshes by the Target-Matrix Optimization Paradigm -- Curving for Viscous Meshes -- An Angular Approach to Untangling High-Order Curvilinear Triangular Meshes -- Imposing Boundary Conditions to Match a CAD Virtual Geometry for the Mesh Curving Problem -- Part 5: Parallel and Fast Meshing Methods -- Exact Fast Parallel Intersection of Large 3-D Triangular Meshes -- Performance Comparison and Workload Analysis of Mesh Untangling and Smoothing Algorithms -- Accurate Manycore-Accelerated Manifold Surface Remesh Kernels -- Parallel Performance Model for Vertex Repositioning Algorithms and Application to Mesh Partitioning -- Discrete Mesh Optimization on GPU -- Mesh Morphing for Turbomachinery Applications Using Radial Basis Functions. |
| Record Nr. | UNINA-9910349352403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
50 Jahre Universitäts-Informatik in München [[electronic resource] /] / herausgegeben von Arndt Bode, Manfred Broy, Hans-Joachim Bungartz, Florian Matthes
| 50 Jahre Universitäts-Informatik in München [[electronic resource] /] / herausgegeben von Arndt Bode, Manfred Broy, Hans-Joachim Bungartz, Florian Matthes |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017 |
| Descrizione fisica | 1 online resource (202 pages) |
| Disciplina | 004 |
| Soggetto topico |
Computer security
User interfaces (Computer systems) Bioinformatics Software engineering Multimedia information systems Artificial intelligence Systems and Data Security User Interfaces and Human Computer Interaction Computational Biology/Bioinformatics Software Engineering Multimedia Information Systems Artificial Intelligence |
| ISBN | 3-662-54712-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | 50 Jahre Informatik an den Universitäten in München -- Cybersicherheit Beyond 2020 -- Allgegenwärtige Mensch-Computer-Interaktion -- Software-Verifikation -- Innovationszentrum Mobiles Internet ZD.B -- Medieninformatik und Mensch-Computer-Interaktion an der LMU München -- Neuro-Robotics -- Herausforderungen an der Schnittstelle von Informatik und Gesellschaft -- Die Evolution des Hauptspeicher-Datenbanksystems HyPer -- Informatik-Forschung für digitale Mobilitätsplattformen. Das Münchner Wissensnetz -- Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft. . |
| Record Nr. | UNINA-9910484794303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
50 Years of Artificial Intelligence [[electronic resource] ] : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / / edited by Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer
| 50 Years of Artificial Intelligence [[electronic resource] ] : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / / edited by Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (X, 399 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computers Data mining Computer simulation Pattern recognition Artificial Intelligence Software Engineering Computation by Abstract Devices Data Mining and Knowledge Discovery Simulation and Modeling Pattern Recognition |
| ISBN | 3-540-77296-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Historical and Philosophical Issues -- AI in the 21st Century – With Historical Reflections -- The Physical Symbol System Hypothesis: Status and Prospects -- Fifty Years of AI: From Symbols to Embodiment - and Back -- 2006: Celebrating 75 Years of AI - History and Outlook: The Next 25 Years -- Evolutionary Humanoid Robotics: Past, Present and Future -- Philosophical Foundations of AI -- On the Role of AI in the Ongoing Paradigm Shift within the Cognitive Sciences -- Information Theory and Quantification -- On the Information Theoretic Implications of Embodiment – Principles and Methods -- Development Via Information Self-structuring of Sensorimotor Experience and Interaction -- How Information and Embodiment Shape Intelligent Information Processing -- Preliminary Considerations for a Quantitative Theory of Networked Embodied Intelligence -- A Quantitative Investigation into Distribution of Memory and Learning in Multi Agent Systems with Implicit Communications -- Morphology and Dynamics -- AI in Locomotion: Challenges and Perspectives of Underactuated Robots -- On the Task Distribution Between Control and Mechanical Systems -- Bacteria Integrated Swimming Microrobots -- Adaptive Multi-modal Sensors -- Neurorobotics -- What Can AI Get from Neuroscience? -- Dynamical Systems in the Sensorimotor Loop: On the Interrelation Between Internal and External Mechanisms of Evolved Robot Behavior -- Adaptive Behavior Control with Self-regulating Neurons -- Brain Area V6A: A Cognitive Model for an Embodied Artificial Intelligence -- The Man-Machine Interaction: The Influence of Artificial Intelligence on Rehabilitation Robotics -- Machine Intelligence, Cognition, and Natural Language Processing -- Tests of Machine Intelligence -- A Hierarchical Concept Oriented Representation for Spatial Cognition in Mobile Robots -- Anticipation and Future-Oriented Capabilities in Natural and Artificial Cognition -- Computer-Supported Human-Human Multilingual Communication -- Human-Like Intelligence: Motivation, Emotions, and Consciousness -- A Paradigm Shift in Artificial Intelligence: Why Social Intelligence Matters in the Design and Development of Robots with Human-Like Intelligence -- Intrinsically Motivated Machines -- Curious and Creative Machines -- Applying Data Fusion in a Rational Decision Making with Emotional Regulation -- How to Build Consciousness into a Robot: The Sensorimotor Approach -- Robot Platforms -- A Human-Like Robot Torso ZAR5 with Fluidic Muscles: Toward a Common Platform for Embodied AI -- The iCub Cognitive Humanoid Robot: An Open-System Research Platform for Enactive Cognition -- Intelligent Mobile Manipulators in Industrial Applications: Experiences and Challenges -- Art and AI -- The Dynamic Darwinian Diorama: A Landlocked Archipelago Enhances Epistemology. |
| Altri titoli varianti | Fifty years of artificial intelligence: essays dedicated to the fiftieth anniversary of artificial intelligence |
| Record Nr. | UNINA-9910484046403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
50 Years of Artificial Intelligence [[electronic resource] ] : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / / edited by Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer
| 50 Years of Artificial Intelligence [[electronic resource] ] : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / / edited by Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (X, 399 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computers Data mining Computer simulation Pattern recognition Artificial Intelligence Software Engineering Computation by Abstract Devices Data Mining and Knowledge Discovery Simulation and Modeling Pattern Recognition |
| ISBN | 3-540-77296-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Historical and Philosophical Issues -- AI in the 21st Century – With Historical Reflections -- The Physical Symbol System Hypothesis: Status and Prospects -- Fifty Years of AI: From Symbols to Embodiment - and Back -- 2006: Celebrating 75 Years of AI - History and Outlook: The Next 25 Years -- Evolutionary Humanoid Robotics: Past, Present and Future -- Philosophical Foundations of AI -- On the Role of AI in the Ongoing Paradigm Shift within the Cognitive Sciences -- Information Theory and Quantification -- On the Information Theoretic Implications of Embodiment – Principles and Methods -- Development Via Information Self-structuring of Sensorimotor Experience and Interaction -- How Information and Embodiment Shape Intelligent Information Processing -- Preliminary Considerations for a Quantitative Theory of Networked Embodied Intelligence -- A Quantitative Investigation into Distribution of Memory and Learning in Multi Agent Systems with Implicit Communications -- Morphology and Dynamics -- AI in Locomotion: Challenges and Perspectives of Underactuated Robots -- On the Task Distribution Between Control and Mechanical Systems -- Bacteria Integrated Swimming Microrobots -- Adaptive Multi-modal Sensors -- Neurorobotics -- What Can AI Get from Neuroscience? -- Dynamical Systems in the Sensorimotor Loop: On the Interrelation Between Internal and External Mechanisms of Evolved Robot Behavior -- Adaptive Behavior Control with Self-regulating Neurons -- Brain Area V6A: A Cognitive Model for an Embodied Artificial Intelligence -- The Man-Machine Interaction: The Influence of Artificial Intelligence on Rehabilitation Robotics -- Machine Intelligence, Cognition, and Natural Language Processing -- Tests of Machine Intelligence -- A Hierarchical Concept Oriented Representation for Spatial Cognition in Mobile Robots -- Anticipation and Future-Oriented Capabilities in Natural and Artificial Cognition -- Computer-Supported Human-Human Multilingual Communication -- Human-Like Intelligence: Motivation, Emotions, and Consciousness -- A Paradigm Shift in Artificial Intelligence: Why Social Intelligence Matters in the Design and Development of Robots with Human-Like Intelligence -- Intrinsically Motivated Machines -- Curious and Creative Machines -- Applying Data Fusion in a Rational Decision Making with Emotional Regulation -- How to Build Consciousness into a Robot: The Sensorimotor Approach -- Robot Platforms -- A Human-Like Robot Torso ZAR5 with Fluidic Muscles: Toward a Common Platform for Embodied AI -- The iCub Cognitive Humanoid Robot: An Open-System Research Platform for Enactive Cognition -- Intelligent Mobile Manipulators in Industrial Applications: Experiences and Challenges -- Art and AI -- The Dynamic Darwinian Diorama: A Landlocked Archipelago Enhances Epistemology. |
| Altri titoli varianti | Fifty years of artificial intelligence: essays dedicated to the fiftieth anniversary of artificial intelligence |
| Record Nr. | UNISA-996465394603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abbildung von Synergiepotenzialen zwischen IT-Anforderungen in Scrum [[electronic resource] /] / von Fabian Sobiech
| Abbildung von Synergiepotenzialen zwischen IT-Anforderungen in Scrum [[electronic resource] /] / von Fabian Sobiech |
| Autore | Sobiech Fabian |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIX, 169 S. 74 Abb., 10 Abb. in Farbe.) |
| Disciplina | 005.1 |
| Collana | AutoUni – Schriftenreihe |
| Soggetto topico |
Software engineering
Computers Algorithms Software Engineering Models and Principles Algorithm Analysis and Problem Complexity |
| ISBN | 3-658-16328-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Grundlagen: Projektmanagement mit Scrum -- Bestimmung des Nutzwertes von IT-Anforderungen -- Systematische Nutzung und Abbildung von Synergieeffekten -- Bestimmung valider und optimaler Iterationen. |
| Record Nr. | UNINA-9910149462203321 |
Sobiech Fabian
|
||
| Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract Software Specifications [[electronic resource] ] : 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings / / edited by D. Bjorner
| Abstract Software Specifications [[electronic resource] ] : 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings / / edited by D. Bjorner |
| Edizione | [1st ed. 1980.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1980 |
| Descrizione fisica | 1 online resource (XVI, 572 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Software Engineering |
| ISBN | 3-540-38136-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstract Architecture -- Foundations of denotational semantics -- Models of programming language concepts -- Formalization of data base models -- Experiments in block-structured GOTO language modeling: — EXITs versus continuations -- An introduction to data algebras -- Time sequences as a tool for describing program behaviour -- The semantics of clear, a specification language -- An example of hierarchical program specification -- Modular program construction using abstractions -- On the structure of application programs -- Abstract objects as abstract data types -- Design and analysis of highly parallel and distributed systems -- On the semantics of fair parallelism -- Dijkstra's predicate transformers and smyth's powerdomains -- Banquet talk. |
| Record Nr. | UNISA-996465760603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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. | UNINA-9910143618703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Soggetto topico
-
Software Engineering
(6667)
- Software engineering (6646)
- Computer Communication Networks (2392)
- Application software (2050)
- Computer science (2028)