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.
Model-Based Engineering of Embedded Real-Time Systems [[electronic resource] ] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / / edited by Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, Bernhard Schätz
| Model-Based Engineering of Embedded Real-Time Systems [[electronic resource] ] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / / edited by Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, Bernhard Schätz |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XV, 385 p. 94 illus.) |
| Disciplina | 004.21 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computers Programming languages (Electronic computers) Computer programming Computer logic Software Engineering/Programming and Operating Systems Theory of Computation Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Logics and Meanings of Programs |
| Soggetto genere / forma | Kongress.dagstuhl <2007> |
| ISBN | 3-642-16277-0 |
| Classificazione | 004620 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465825503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model-Based Engineering of Embedded Real-Time Systems [[electronic resource] ] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / / edited by Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, Bernhard Schätz
| Model-Based Engineering of Embedded Real-Time Systems [[electronic resource] ] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / / edited by Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, Bernhard Schätz |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XV, 385 p. 94 illus.) |
| Disciplina | 004.21 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computers Programming languages (Electronic computers) Computer programming Computer logic Software Engineering/Programming and Operating Systems Theory of Computation Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Logics and Meanings of Programs |
| Soggetto genere / forma | Kongress.dagstuhl <2007> |
| ISBN | 3-642-16277-0 |
| Classificazione | 004620 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483793903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2006 International Workshop on Global Integrated Model Management
| Proceedings of the 2006 International Workshop on Global Integrated Model Management |
| Autore | Bézivin Jean |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2006 |
| Descrizione fisica | 1 online resource (58 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | GaMMa '06 |
| Record Nr. | UNINA-9910376483103321 |
Bézivin Jean
|
||
| [Place of publication not identified], : ACM, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Requirements targeting software and systems engineering : international workshop RTSE '97, Bernried, Germany, October 12-14 1997 / / Manfred Broy, Bernhard Rumpe (editors)
| Requirements targeting software and systems engineering : international workshop RTSE '97, Bernried, Germany, October 12-14 1997 / / Manfred Broy, Bernhard Rumpe (editors) |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (VIII, 357 pp.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Systems engineering |
| ISBN | 3-540-49439-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations of Software Engineering -- Domains as a Prerequisite for Requirements and Software Domain Perspectives and Facets, Requirements Aspects and Software Views -- Software and System Modeling Based on a Unified Formal Semantics -- Postmodern Software Design with NYAM: Not Yet Another Method -- Methodology -- A Discipline for Handling Feature Interaction -- Merging Changes to Software Specifications -- Combining and Distributing Hierarchical Systems -- Software Engineering Issues for Network Computing -- A Two-Layered Approach to Support Systematic Software Development -- Evaluation and Case Studies -- A Framework for Evaluating System and Software Requirements Specification Approaches -- Formal Methods and Industrial-Strength Computer Networks -- Tool Support and Prototyping -- Integration Tools Supporting Development Processes -- Formal Models and Prototyping -- Abstraction and Modular Verification of Infinite-State Reactive Systems -- NSA’s MISSI Reference Architecture – Moving from Prose to Precise Specifications -- Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods. |
| Record Nr. | UNINA-9910143466603321 |
| Berlin, Heidelberg : , : Springer, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Requirements targeting software and systems engineering : international workshop RTSE '97, Bernried, Germany, October 12-14 1997 / / Manfred Broy, Bernhard Rumpe (editors)
| Requirements targeting software and systems engineering : international workshop RTSE '97, Bernried, Germany, October 12-14 1997 / / Manfred Broy, Bernhard Rumpe (editors) |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (VIII, 357 pp.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Systems engineering |
| ISBN | 3-540-49439-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations of Software Engineering -- Domains as a Prerequisite for Requirements and Software Domain Perspectives and Facets, Requirements Aspects and Software Views -- Software and System Modeling Based on a Unified Formal Semantics -- Postmodern Software Design with NYAM: Not Yet Another Method -- Methodology -- A Discipline for Handling Feature Interaction -- Merging Changes to Software Specifications -- Combining and Distributing Hierarchical Systems -- Software Engineering Issues for Network Computing -- A Two-Layered Approach to Support Systematic Software Development -- Evaluation and Case Studies -- A Framework for Evaluating System and Software Requirements Specification Approaches -- Formal Methods and Industrial-Strength Computer Networks -- Tool Support and Prototyping -- Integration Tools Supporting Development Processes -- Formal Models and Prototyping -- Abstraction and Modular Verification of Infinite-State Reactive Systems -- NSA’s MISSI Reference Architecture – Moving from Prose to Precise Specifications -- Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods. |
| Record Nr. | UNISA-996465894903316 |
| Berlin, Heidelberg : , : Springer, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
SLE '17 : proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering : October 23-24, 2017, Vancouver, BC, Canada / / edited by Benoit Combemale, Marjan Mernik, and Bernhard Rumpe ; sponsored by ACM SIGPLAN
| SLE '17 : proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering : October 23-24, 2017, Vancouver, BC, Canada / / edited by Benoit Combemale, Marjan Mernik, and Bernhard Rumpe ; sponsored by ACM SIGPLAN |
| Pubbl/distr/stampa | New York : , : ACM, , 2017 |
| Descrizione fisica | 1 online resource (267 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Software Language Engineering 2017 : proceedings of the 10th Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Software Language Engineering : October 23-24, 2017, Vancouver, BC, Canada
Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering Proceedings of the 10th Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Software Language Engineering SPLASH '17 : Conference on Systems, Programming, Languages, and Applications: Software for Humanity : Vancouver, BC, Canada, October 23-27, 2017 Systems, Programming, Languages, and Applications: Software for Humanity 2017 |
| Record Nr. | UNINA-9910376041803321 |
| New York : , : ACM, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SOFSEM 2010: Theory and Practice of Computer Science [[electronic resource] ] : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings / / edited by Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorny, Bernhard Rumpe
| SOFSEM 2010: Theory and Practice of Computer Science [[electronic resource] ] : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings / / edited by Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorny, Bernhard Rumpe |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XV, 780 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer programming Information retrieval Computer architecture Artificial intelligence—Data processing Database management Software Engineering Programming Techniques Data Storage Representation Data Science Database Management |
| ISBN | 3-642-11266-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization: Open Problems in Theory and Practice -- Regret Minimization and Job Scheduling -- Lessons in Software Evolution Learned by Listening to Smalltalk -- The Web of Things: Extending the Web into the Real World -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format for Unit Elements -- Approximability of Edge Matching Puzzles -- A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs -- A Kernel for Convex Recoloring of Weighted Forests -- Symbolic OBDD-Based Reachability Analysis Needs Exponential Space -- A Social Vision of Knowledge Representation and Reasoning -- Flavors of KWQL, a Keyword Query Language for a Semantic Wiki -- On Pattern Density and Sliding Block Code Behavior for the Besicovitch and Weyl Pseudo-distances -- On a Labeled Vehicle Routing Problem -- Improved Matrix Interpretation -- Efficient Algorithms for Two Extensions of LPF Table: The Power of Suffix Arrays -- Query Optimization through Cached Queries for Object-Oriented Query Language SBQL -- Perfect Matching for Biconnected Cubic Graphs in O(n log2 n) Time -- Destructive Rule-Based Properties and First-Order Logic -- Learning User Preferences for 2CP-Regression for a Recommender System -- Parallel Randomized Load Balancing: A Lower Bound for a More General Model -- Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem -- Linear Complementarity Algorithms for Infinite Games -- Mixing Coverability and Reachability to Analyze VASS with One Zero-Test -- Practically Applicable Formal Methods -- Fast and Compact Prefix Codes -- New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes -- Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations -- Algorithms for the Minimum Edge Cover of H-Subgraphs of a Graph -- On the Complexity of the Highway Pricing Problem -- Accelerating Smart Play-Out -- Optimum Broadcasting in Complete Weighted-Vertex Graphs -- On Contracting Graphs to Fixed Pattern Graphs -- Dynamic Edit Distance Table under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process? -- Design Patterns Instantiation Based on Semantics and Model Transformations -- A Complete Symbolic Bisimulation for Full Applied Pi Calculus -- OTwig: An Optimised Twig Pattern Matching Approach for XML Databases -- Picture Recognizability with Automata Based on Wang Tiles -- Unilateral Orientation of Mixed Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus on the Complex Areas -- CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions -- Source Code Rejuvenation Is Not Refactoring -- Empirical Evaluation of Strategies to Detect Logical Change Dependencies -- Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup -- An Amortized Search Tree Analysis for k-Leaf Spanning Tree -- Approximate Structural Consistency -- Comprehensive System for Systematic Case-Driven Software Reuse -- Comparison of Scoring and Order Approach in Description Logic -- Homophily of Neighborhood in Graph Relational Classifier -- Multilanguage Debugger Architecture -- Student Groups Modeling by Integrating Cluster Representation and Association Rules Mining -- Finding and Certifying Loops -- Vertex Ranking with Capacity. |
| Record Nr. | UNISA-996465907003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
SOFSEM 2010: Theory and Practice of Computer Science [[electronic resource] ] : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings / / edited by Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorny, Bernhard Rumpe
| SOFSEM 2010: Theory and Practice of Computer Science [[electronic resource] ] : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings / / edited by Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorny, Bernhard Rumpe |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XV, 780 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer programming Information retrieval Computer architecture Artificial intelligence—Data processing Database management Software Engineering Programming Techniques Data Storage Representation Data Science Database Management |
| ISBN | 3-642-11266-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization: Open Problems in Theory and Practice -- Regret Minimization and Job Scheduling -- Lessons in Software Evolution Learned by Listening to Smalltalk -- The Web of Things: Extending the Web into the Real World -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format for Unit Elements -- Approximability of Edge Matching Puzzles -- A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs -- A Kernel for Convex Recoloring of Weighted Forests -- Symbolic OBDD-Based Reachability Analysis Needs Exponential Space -- A Social Vision of Knowledge Representation and Reasoning -- Flavors of KWQL, a Keyword Query Language for a Semantic Wiki -- On Pattern Density and Sliding Block Code Behavior for the Besicovitch and Weyl Pseudo-distances -- On a Labeled Vehicle Routing Problem -- Improved Matrix Interpretation -- Efficient Algorithms for Two Extensions of LPF Table: The Power of Suffix Arrays -- Query Optimization through Cached Queries for Object-Oriented Query Language SBQL -- Perfect Matching for Biconnected Cubic Graphs in O(n log2 n) Time -- Destructive Rule-Based Properties and First-Order Logic -- Learning User Preferences for 2CP-Regression for a Recommender System -- Parallel Randomized Load Balancing: A Lower Bound for a More General Model -- Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem -- Linear Complementarity Algorithms for Infinite Games -- Mixing Coverability and Reachability to Analyze VASS with One Zero-Test -- Practically Applicable Formal Methods -- Fast and Compact Prefix Codes -- New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes -- Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations -- Algorithms for the Minimum Edge Cover of H-Subgraphs of a Graph -- On the Complexity of the Highway Pricing Problem -- Accelerating Smart Play-Out -- Optimum Broadcasting in Complete Weighted-Vertex Graphs -- On Contracting Graphs to Fixed Pattern Graphs -- Dynamic Edit Distance Table under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process? -- Design Patterns Instantiation Based on Semantics and Model Transformations -- A Complete Symbolic Bisimulation for Full Applied Pi Calculus -- OTwig: An Optimised Twig Pattern Matching Approach for XML Databases -- Picture Recognizability with Automata Based on Wang Tiles -- Unilateral Orientation of Mixed Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus on the Complex Areas -- CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions -- Source Code Rejuvenation Is Not Refactoring -- Empirical Evaluation of Strategies to Detect Logical Change Dependencies -- Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup -- An Amortized Search Tree Analysis for k-Leaf Spanning Tree -- Approximate Structural Consistency -- Comprehensive System for Systematic Case-Driven Software Reuse -- Comparison of Scoring and Order Approach in Description Logic -- Homophily of Neighborhood in Graph Relational Classifier -- Multilanguage Debugger Architecture -- Student Groups Modeling by Integrating Cluster Representation and Association Rules Mining -- Finding and Certifying Loops -- Vertex Ranking with Capacity. |
| Record Nr. | UNINA-9910483910803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering and Formal Methods [[electronic resource] ] : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERYSCART, York, UK, September 7-8, 2015. Revised Selected Papers / / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe
| Software Engineering and Formal Methods [[electronic resource] ] : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERYSCART, York, UK, September 7-8, 2015. Revised Selected Papers / / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXIX, 325 p. 88 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Application software
Artificial intelligence Algorithms Mathematical statistics Computers Database management Information Systems Applications (incl. Internet) Artificial Intelligence Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science Computation by Abstract Devices Database Management |
| ISBN | 3-662-49224-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Automating Test Case Design, Selection and Evaluation -- Human-Oriented Formal Methods -- Modelling and Knowledge Management Applications: Systems and Domains -- Art of Service Composition and Formal Verification for Self-* Systems. |
| Record Nr. | UNINA-9910484043203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering and Formal Methods [[electronic resource] ] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / / edited by Radu Calinescu, Bernhard Rumpe
| Software Engineering and Formal Methods [[electronic resource] ] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / / edited by Radu Calinescu, Bernhard Rumpe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XI, 369 p. 84 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Mathematical logic Computer communication systems Computer programming Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Computer Communication Networks Programming Techniques |
| ISBN | 3-319-22969-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Reasoning about Separation using Abstraction and Reification -- An Interface Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List Programs -- Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications -- Specification and Verification of Atomic Operations in GPGPU Programs -- History-based Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB Runtime Verification -- Towards Domain Refinement for UML/OCL Bounded Verification -- Testing -- Efficient Testing of Different Loop Paths -- Model-Based Robustness Testing in Event-B using Mutation -- On the Testability of Properties Patterns -- Certification -- Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning -- Formal Analysis of Proactive, Distributed Routing -- Certification of Distributed Algorithms Solving Problems with Optimal Substructure -- Formal Specification and Proof -- From Failure to Proof: The ProB Disprover for B and Event-B -- Formalizing a Secure Foreign Function Interface -- A Formal Study of Backward Compatible Dynamic Software Updates -- Testing and Model Checking -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques for Memory-Efficient Model Checking of C and C++ Code -- NAT2TEST Tool: from Natural Language Requirements to Test Cases based on CSP -- Planning -- Task Planning of Cyber-Human Systems -- Generating None-Plans in Order to Find Plans -- Modelling and Model Transformation Twitlang(er): interactions modeling language (and interpreter) for Twitter -- From Featured Transition Systems to Modal Transition Systems with Variability Constraints -- An extensible operational semantics for UML activity diagrams. |
| Record Nr. | UNINA-9910483460403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
