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.
Formal Methods and Software Engineering [[electronic resource] ] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings / / edited by Jin Song Dong, Huibiao Zhu
| Formal Methods and Software Engineering [[electronic resource] ] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings / / edited by Jin Song Dong, Huibiao Zhu |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 712 p. 202 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Programming languages (Electronic computers) Computer programming Algorithms Software Engineering/Programming and Operating Systems Computer Communication Networks Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Algorithm Analysis and Problem Complexity |
| Soggetto genere / forma | Kongress. |
| ISBN |
1-280-39028-X
9786613568205 3-642-16901-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Fostering Proof Scores in CafeOBJ -- Exploiting Partial Success in Applying Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem Proving and Decision Procedures -- Applying PVS Background Theories and Proof Strategies in Invariant Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM -- Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq -- Decision Procedures for the Temporal Verification of Concurrent Lists -- An Improved Decision Procedure for Propositional Projection Temporal Logic -- Web Services and Workflow -- A Semantic Model for Service Composition with Coordination Time Delays -- Compensable WorkFlow Nets -- Automatically Testing Web Services Choreography with Assertions -- Applying Ordinary Differential Equations to the Performance Analysis of Service Composition -- Verification I -- Verifying Heap-Manipulating Programs with Unknown Procedure Calls -- API Conformance Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating Coinduction with Case Analysis -- Applications of Formal Methods -- Enhanced Semantic Access to Formal Software Models -- Making Pattern- and Model-Based Software Development More Rigorous -- Practical Parameterised Session Types -- A Formal Verification Study on the Rotterdam Storm Surge Barrier -- Verification II -- Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems -- Automated Multiparameterised Verification by Cut-Offs -- Automating Cut-off for Multi-parameterized Systems -- Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors -- Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP -- Probability and Concurrency -- Model Checking Hierarchical Probabilistic Systems -- Trace-Driven Verification of Multithreaded Programs -- Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network -- Reasoning about Safety and Progress Using Contracts -- Program Analysis -- Abstract Program Slicing: From Theory towards an Implementation -- Loop Invariant Synthesis in a Combined Domain -- Software Metrics in Static Program Analysis -- A Combination of Forward and Backward Reachability Analysis Methods -- Model Checking -- Model Checking a Model Checker: A Code Contract Combined Approach -- On Symmetries and Spotlights – Verifying Parameterised Systems -- A Methodology for Automatic Diagnosability Analysis -- Making the Right Cut in Model Checking Data-Intensive Timed Systems -- Comparison of Model Checking Tools for Information Systems -- Object Orientation and Model Driven Engineering -- A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model -- Model-Driven Protocol Design Based on Component Oriented Modeling -- Laws of Pattern Composition -- Dynamic Resource Reallocation between Deployment Components -- Specification and Verification -- A Pattern System to Support Refining Informal Ideas into Formal Expressions -- Specification Translation of State Machines from Equational Theories into Rewrite Theories -- Alternating Interval Based Temporal Logics. |
| Record Nr. | UNISA-996465956503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings / / Jin Song Dong, Huibiao Zhu (eds.)
| Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings / / Jin Song Dong, Huibiao Zhu (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XIV, 712 p. 202 illus.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
DongJin Song <1967->
ZhuHuibiao |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Formal methods (Computer science)
Software engineering |
| ISBN |
1-280-39028-X
9786613568205 3-642-16901-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Fostering Proof Scores in CafeOBJ -- Exploiting Partial Success in Applying Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem Proving and Decision Procedures -- Applying PVS Background Theories and Proof Strategies in Invariant Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM -- Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq -- Decision Procedures for the Temporal Verification of Concurrent Lists -- An Improved Decision Procedure for Propositional Projection Temporal Logic -- Web Services and Workflow -- A Semantic Model for Service Composition with Coordination Time Delays -- Compensable WorkFlow Nets -- Automatically Testing Web Services Choreography with Assertions -- Applying Ordinary Differential Equations to the Performance Analysis of Service Composition -- Verification I -- Verifying Heap-Manipulating Programs with Unknown Procedure Calls -- API Conformance Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating Coinduction with Case Analysis -- Applications of Formal Methods -- Enhanced Semantic Access to Formal Software Models -- Making Pattern- and Model-Based Software Development More Rigorous -- Practical Parameterised Session Types -- A Formal Verification Study on the Rotterdam Storm Surge Barrier -- Verification II -- Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems -- Automated Multiparameterised Verification by Cut-Offs -- Automating Cut-off for Multi-parameterized Systems -- Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors -- Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP -- Probability and Concurrency -- Model Checking Hierarchical Probabilistic Systems -- Trace-Driven Verification of Multithreaded Programs -- Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network -- Reasoning about Safety and Progress Using Contracts -- Program Analysis -- Abstract Program Slicing: From Theory towards an Implementation -- Loop Invariant Synthesis in a Combined Domain -- Software Metrics in Static Program Analysis -- A Combination of Forward and Backward Reachability Analysis Methods -- Model Checking -- Model Checking a Model Checker: A Code Contract Combined Approach -- On Symmetries and Spotlights – Verifying Parameterised Systems -- A Methodology for Automatic Diagnosability Analysis -- Making the Right Cut in Model Checking Data-Intensive Timed Systems -- Comparison of Model Checking Tools for Information Systems -- Object Orientation and Model Driven Engineering -- A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model -- Model-Driven Protocol Design Based on Component Oriented Modeling -- Laws of Pattern Composition -- Dynamic Resource Reallocation between Deployment Components -- Specification and Verification -- A Pattern System to Support Refining Informal Ideas into Formal Expressions -- Specification Translation of State Machines from Equational Theories into Rewrite Theories -- Alternating Interval Based Temporal Logics. |
| Altri titoli varianti | ICFEM 2010 |
| Record Nr. | UNINA-9910483372803321 |
| Berlin ; ; New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Service-Oriented Computing - ICSOC Workshops 2012 [[electronic resource] ] : ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers / / edited by Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quan Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang
| Service-Oriented Computing - ICSOC Workshops 2012 [[electronic resource] ] : ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers / / edited by Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quan Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 466 p. 153 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Application software Information technology Business—Data processing Management information systems Computer science Optical data processing Software Engineering Information Systems Applications (incl. Internet) IT in Business Computer Appl. in Administrative Data Processing Management of Computing and Information Systems Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN | 3-642-37804-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop Track -- ASC 2012 -- The 1st International Workshop on Analytics Services on the Cloud (ASC 2012) -- A Performance Evaluation of Public Cloud Using TPC-C -- An Efficient Data Maintenance Strategy for Data Service Mashup Based on Materialized View Selection -- Homomorphic-Encryption-Based Separation Approach for Outsourced Data Management -- Protecting Software as a Service in the Clouds by Validation -- Identifying Fake Feedback for Effective Trust Management in Cloud Environments -- Sonata: A Workflow Model for Interactive Mobile Cloud Applications -- Kachako: A Hybrid-Cloud Unstructured Information Platform for Full Automation of Service Composition, Scalable Deployment and Evaluation -- DISA 2012.-2012 International Workshop on Data Intensive Services Based Application (DISA2012) -- An End-User Oriented Approach for Business Process Personalization from Multiple Sources -- A Combination Approach to QoS Prediction of Web Services -- Effective and Efficient Web Reviews Extraction Based on Hadoop -- Intelligent Information Management of Tourist Attractions Based on Semantic Sensor Web - An Optimal Approach to the QoS-Based WSMO Web Service Composition Using Genetic Algorithm -- PAASC 2012 -- Introduction to the Second International Workshop on Performance Assessment and Auditing in Service Computing (PAASC 2012) -- Towards the Definition of a Framework Supporting High Level Reliability of Services -- A Service-Oriented Approach to Assess the Value of Digital Preservation -- Specification and Deployment of Distributed Monitoring and Adaptation Infrastructures -- Introducing the Vienna Platform for Elastic Processes -- SCEB 2012 -- TrustVis: A Trust Visualisation Service for Online Communities -- Crowd-Sourcing Service Designs: Overview and Research Challenges -- Towards an Architectural Framework for Service-Oriented Enterprises -- Monitoring Business Process Interaction -- Interactive Product Browsing and Configuration using Remote Augmented Reality Sales Services -- SeMaps -- The 1st International Workshop on Self-managing Pervasive Service Systems (SeMaPS 2012) -- A Reformative System Architecture of Cloud Service Based on IEEE 1851 -- Towards RESTful Communications in Self-managing Pervasive Systems -- A Research Roadmap for Context-Awareness-Based Self-managed Systems -- A 3D Model Based Action Recorder Using Computer Vision -- Protecting Sensitive Attributes in Attribute Based Access Control -- A Hybrid Indoor Positioning Approach for Supermarkets -- WESOA 2012 -- Introduction to the 8th International Workshop on Engineering Service-Oriented Applications (WESOA12) -- Towards Automated and Correct Composition of Timed Services -- Resolving Violations in Inter-process Relationships in Business Process Ecosystems -- An Aspect-Oriented Approach to Enforce Security Properties in Business Processes -- Evaluation of Quality of Design for Document-Centric Software Services -- Resource Management for Pervasive Systems -- Service Oriented Requirements Engineering: Practitioner’s Perspective -- Phd Symposium Track -- Phd Symposium Track: Message from Chairs -- Data Consistency Enforcement on Business Process Transactions -- An Auction-Based Approach for Composite Web Service Selection -- Data-Centric Probabilistic Process: A PhD. Symposium Paper for ICSOC -- Detection of SOA Antipatterns -- Requirements-Driven Software Service Evolution -- Detecting Runtime Business Process Compliance with Artifact Lifecycles -- Demo Track -- Introduction to the Demo Track -- A Dynamic SCA-Based System for Smart Homes and Offices -- Realizing Elastic Processes with ViePEP -- A Social Network Based Collaborative Video Story Composition Platform -- BPMashup: Dynamic Execution of RESTful Processes -- Soda: A Tool Support for the Detection of SOA Antipatterns -- Method and System for In-Place Modeling of Business Process Extensions as First-Class Entities -- Supporting Business and IT through Updatable Process Views: The pro View Demonstrator. |
| Record Nr. | UNISA-996466202103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Service-Oriented Computing - ICSOC Workshops 2012 : ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers / / edited by Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quan Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang
| Service-Oriented Computing - ICSOC Workshops 2012 : ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers / / edited by Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quan Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 466 p. 153 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Application software Information technology Business—Data processing Management information systems Computer science Optical data processing Software Engineering Information Systems Applications (incl. Internet) IT in Business Computer Appl. in Administrative Data Processing Management of Computing and Information Systems Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN | 3-642-37804-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop Track -- ASC 2012 -- The 1st International Workshop on Analytics Services on the Cloud (ASC 2012) -- A Performance Evaluation of Public Cloud Using TPC-C -- An Efficient Data Maintenance Strategy for Data Service Mashup Based on Materialized View Selection -- Homomorphic-Encryption-Based Separation Approach for Outsourced Data Management -- Protecting Software as a Service in the Clouds by Validation -- Identifying Fake Feedback for Effective Trust Management in Cloud Environments -- Sonata: A Workflow Model for Interactive Mobile Cloud Applications -- Kachako: A Hybrid-Cloud Unstructured Information Platform for Full Automation of Service Composition, Scalable Deployment and Evaluation -- DISA 2012.-2012 International Workshop on Data Intensive Services Based Application (DISA2012) -- An End-User Oriented Approach for Business Process Personalization from Multiple Sources -- A Combination Approach to QoS Prediction of Web Services -- Effective and Efficient Web Reviews Extraction Based on Hadoop -- Intelligent Information Management of Tourist Attractions Based on Semantic Sensor Web - An Optimal Approach to the QoS-Based WSMO Web Service Composition Using Genetic Algorithm -- PAASC 2012 -- Introduction to the Second International Workshop on Performance Assessment and Auditing in Service Computing (PAASC 2012) -- Towards the Definition of a Framework Supporting High Level Reliability of Services -- A Service-Oriented Approach to Assess the Value of Digital Preservation -- Specification and Deployment of Distributed Monitoring and Adaptation Infrastructures -- Introducing the Vienna Platform for Elastic Processes -- SCEB 2012 -- TrustVis: A Trust Visualisation Service for Online Communities -- Crowd-Sourcing Service Designs: Overview and Research Challenges -- Towards an Architectural Framework for Service-Oriented Enterprises -- Monitoring Business Process Interaction -- Interactive Product Browsing and Configuration using Remote Augmented Reality Sales Services -- SeMaps -- The 1st International Workshop on Self-managing Pervasive Service Systems (SeMaPS 2012) -- A Reformative System Architecture of Cloud Service Based on IEEE 1851 -- Towards RESTful Communications in Self-managing Pervasive Systems -- A Research Roadmap for Context-Awareness-Based Self-managed Systems -- A 3D Model Based Action Recorder Using Computer Vision -- Protecting Sensitive Attributes in Attribute Based Access Control -- A Hybrid Indoor Positioning Approach for Supermarkets -- WESOA 2012 -- Introduction to the 8th International Workshop on Engineering Service-Oriented Applications (WESOA12) -- Towards Automated and Correct Composition of Timed Services -- Resolving Violations in Inter-process Relationships in Business Process Ecosystems -- An Aspect-Oriented Approach to Enforce Security Properties in Business Processes -- Evaluation of Quality of Design for Document-Centric Software Services -- Resource Management for Pervasive Systems -- Service Oriented Requirements Engineering: Practitioner’s Perspective -- Phd Symposium Track -- Phd Symposium Track: Message from Chairs -- Data Consistency Enforcement on Business Process Transactions -- An Auction-Based Approach for Composite Web Service Selection -- Data-Centric Probabilistic Process: A PhD. Symposium Paper for ICSOC -- Detection of SOA Antipatterns -- Requirements-Driven Software Service Evolution -- Detecting Runtime Business Process Compliance with Artifact Lifecycles -- Demo Track -- Introduction to the Demo Track -- A Dynamic SCA-Based System for Smart Homes and Offices -- Realizing Elastic Processes with ViePEP -- A Social Network Based Collaborative Video Story Composition Platform -- BPMashup: Dynamic Execution of RESTful Processes -- Soda: A Tool Support for the Detection of SOA Antipatterns -- Method and System for In-Place Modeling of Business Process Extensions as First-Class Entities -- Supporting Business and IT through Updatable Process Views: The pro View Demonstrator. |
| Record Nr. | UNINA-9910739479703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theoretical Aspects of Computing -- ICTAC 2013 [[electronic resource] ] : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings / / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu
| Theoretical Aspects of Computing -- ICTAC 2013 [[electronic resource] ] : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings / / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 445 p. 100 illus.) |
| Disciplina | 003/.54 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence |
| ISBN | 3-642-39718-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Stochastic Pi-calculus Revisited -- A Clock-Based Framework for Construction of Hybrid Systems -- Advances in Quantitative Verification for Ubiquitous Computing -- Mobile Membranes: Computability and Complexity -- Cruise Control in Hybrid Event-B -- From Distributions to Probabilistic Reactive Programs -- Hol-TestGen/fw: An Environment for Specification-Based Firewall Conformance Testing -- Random Walks on Some Basic Classes of Digraphs -- A Probabilistic Logic for pTiMo -- An Interface Model of Software Components -- A High-Level Semantics for Program Execution under Total Store Order Memory -- Preemptive Type Checking in Dynamically Typed Languages -- On Refinements of Boolean and Parametric Modal Transition Systems -- Proof Theory of a Multi-Lane Spatial Logic -- Counterexample-Preserving Reduction for Symbolic Model Checking -- A Transformation from p-pi to MSVL -- On Slicing of Programs with Input Statements -- Deterministic Logics for UL -- Finitary Fairness in Action Systems -- Spatio-temporal Hybrid Automata for Cyber-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts in Circus Time -- A Proof System in PADS -- Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures -- Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration. |
| Record Nr. | UNISA-996466056203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings / / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu
| Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings / / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 445 p. 100 illus.) |
| Disciplina | 003/.54 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence |
| ISBN | 3-642-39718-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Stochastic Pi-calculus Revisited -- A Clock-Based Framework for Construction of Hybrid Systems -- Advances in Quantitative Verification for Ubiquitous Computing -- Mobile Membranes: Computability and Complexity -- Cruise Control in Hybrid Event-B -- From Distributions to Probabilistic Reactive Programs -- Hol-TestGen/fw: An Environment for Specification-Based Firewall Conformance Testing -- Random Walks on Some Basic Classes of Digraphs -- A Probabilistic Logic for pTiMo -- An Interface Model of Software Components -- A High-Level Semantics for Program Execution under Total Store Order Memory -- Preemptive Type Checking in Dynamically Typed Languages -- On Refinements of Boolean and Parametric Modal Transition Systems -- Proof Theory of a Multi-Lane Spatial Logic -- Counterexample-Preserving Reduction for Symbolic Model Checking -- A Transformation from p-pi to MSVL -- On Slicing of Programs with Input Statements -- Deterministic Logics for UL -- Finitary Fairness in Action Systems -- Spatio-temporal Hybrid Automata for Cyber-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts in Circus Time -- A Proof System in PADS -- Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures -- Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration. |
| Record Nr. | UNINA-9910483356103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| 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 70th Birthday / / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu
| Theories of Programming and Formal Methods [[electronic resource] ] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 413 p. 86 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer simulation Theory of Computation Software Engineering Computer Modelling |
| ISBN | 3-642-39698-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Set-theoretic models of computations -- Model-based mutation testing of reactive systems : from semantics to automated test-case generation -- Pliant modalities in hybrid event-B -- A relational approach to an algebraic community : from Paul Erdős to He Jifeng -- Practical theory extension in event-B -- Simulink timed models for program verification -- Concept analysis based approach to statistical web testing -- Algebraic program semantics for supercomputing -- Modeling and specification of real-time interfaces with UTP -- Some fixed-point issues in PPTL -- The value-passing calculus -- Proving safety of traffic manoeuvres on country roads -- Generic models of the laws of programming -- Ours is to reason why -- Optimal bounds for multiweighted and parametrised energy games -- On the relationship between LTL normal forms and Büchi automata -- Managing environment and adaptation risks for the internetware paradigm -- Safety versus security in the quality calculus -- Invariants synthesis over a combined domain for automated program verification -- Slow abstraction via priority -- Performance estimation using symbolic data -- Synthesizing switching controllers for hybrid systems by generating invariants -- Graph-based object-oriented Hoare logic -- Towards a modeling language for cyber-physical systems. |
| Record Nr. | UNISA-996466267803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| 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 70th Birthday / / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu
| Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 413 p. 86 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer simulation Theory of Computation Software Engineering Computer Modelling |
| ISBN | 3-642-39698-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Set-theoretic models of computations -- Model-based mutation testing of reactive systems : from semantics to automated test-case generation -- Pliant modalities in hybrid event-B -- A relational approach to an algebraic community : from Paul Erdős to He Jifeng -- Practical theory extension in event-B -- Simulink timed models for program verification -- Concept analysis based approach to statistical web testing -- Algebraic program semantics for supercomputing -- Modeling and specification of real-time interfaces with UTP -- Some fixed-point issues in PPTL -- The value-passing calculus -- Proving safety of traffic manoeuvres on country roads -- Generic models of the laws of programming -- Ours is to reason why -- Optimal bounds for multiweighted and parametrised energy games -- On the relationship between LTL normal forms and Büchi automata -- Managing environment and adaptation risks for the internetware paradigm -- Safety versus security in the quality calculus -- Invariants synthesis over a combined domain for automated program verification -- Slow abstraction via priority -- Performance estimation using symbolic data -- Synthesizing switching controllers for hybrid systems by generating invariants -- Graph-based object-oriented Hoare logic -- Towards a modeling language for cyber-physical systems. |
| Record Nr. | UNINA-9910483100603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Unifying Theories of Programming [[electronic resource] ] : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers / / edited by Jonathan P. Bowen, Huibiao Zhu
| Unifying Theories of Programming [[electronic resource] ] : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers / / edited by Jonathan P. Bowen, Huibiao Zhu |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (IX, 217 p. 36 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Machine theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Formal Languages and Automata Theory Theory of Computation |
| ISBN | 3-319-52228-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstraction refinement -- Choice -- Termination -- Feasibility -- Locality.-Concurrency -- Communication. . |
| Record Nr. | UNISA-996465755403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers / / edited by Jonathan P. Bowen, Huibiao Zhu
| Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers / / edited by Jonathan P. Bowen, Huibiao Zhu |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (IX, 217 p. 36 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Machine theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Formal Languages and Automata Theory Theory of Computation |
| ISBN | 3-319-52228-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstraction refinement -- Choice -- Termination -- Feasibility -- Locality.-Concurrency -- Communication. . |
| Record Nr. | UNINA-9910483210903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
