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 [[electronic resource] ] : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / / edited by Jin Song Dong, Jim Woodcock
| Formal Methods and Software Engineering [[electronic resource] ] : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / / edited by Jin Song Dong, Jim Woodcock |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XI, 682 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Mathematical logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-39893-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Programs as Paths: An Approach to Timing Constraint Analysis -- Model Based Code Verification -- Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning? -- Testing and Validation -- Using Formal Methods to Serialize Synchronization Events -- An AMBA-ARM7 Formal Verification Platform -- Formalization, Testing and Execution of a Use Case Diagram -- Service-Based Systems Engineering: Consistent Combination of Services -- State Diagrams -- Using State Diagrams to Describe Concurrent Behaviour -- The Equivalence of Statecharts -- Generic Interacting State Machines and Their Instantiation with Dynamic Features -- PVS/HOL -- Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language -- Formalising an Integrated Language in PVS -- Refinement -- Modeling SystemC Fixed-Point Arithmetic in HOL -- Adding Action Refinement to Stochastic True Concurrency Models -- Incremental Derivation of Abstraction Relations for Data Refinement -- Comparison of Data and Process Refinement -- Compilation by Refinement for a Practical Assembly Language -- Hybrid Systems -- Java Card Code Generation from B Specifications -- Efficient Path Finding with the Sweep-Line Method Using External Storage -- Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates -- Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures -- Z/Object-Z -- A Z Based Approach to Verifying Security Protocols -- A Refinement Tool for Z -- The Common Semantic Constructs of XML Family -- Petri Nets -- Controller Synthesis for Object Petri Nets -- Towards a Workflow Model of Real-Time Cooperative Systems -- New Developments in Closed-Form Computation for GSPN Aggregation -- Timed Automata -- On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata -- Analyzing the Redesign of a Distributed Lift System in UPPAAL -- Verification of Timeliness QoS Properties in Multimedia Systems -- System Modeling and Checking -- A Calculus for Set-Based Program Development -- Compositional Verification of a Switch Fabric from Nortel Networks -- Constraint-Based Model Checking of Data-Independent Systems -- A Formal Model for the Block Device Subsystem of the Linux Kernel -- Semantics and Synthesis -- A Mathematical Framework for Safecharts -- A Relational Model for Formal Object-Oriented Requirement Analysis in UML -- From Specification to Hardware Device: A Synthesis Algorithm. |
| Record Nr. | UNISA-996465819403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / / edited by Jin Song Dong, Jim Woodcock
| Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / / edited by Jin Song Dong, Jim Woodcock |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XI, 682 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Logic, Symbolic and mathematical Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-39893-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Programs as Paths: An Approach to Timing Constraint Analysis -- Model Based Code Verification -- Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning? -- Testing and Validation -- Using Formal Methods to Serialize Synchronization Events -- An AMBA-ARM7 Formal Verification Platform -- Formalization, Testing and Execution of a Use Case Diagram -- Service-Based Systems Engineering: Consistent Combination of Services -- State Diagrams -- Using State Diagrams to Describe Concurrent Behaviour -- The Equivalence of Statecharts -- Generic Interacting State Machines and Their Instantiation with Dynamic Features -- PVS/HOL -- Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language -- Formalising an Integrated Language in PVS -- Refinement -- Modeling SystemC Fixed-Point Arithmetic in HOL -- Adding Action Refinement to Stochastic True Concurrency Models -- Incremental Derivation of Abstraction Relations for Data Refinement -- Comparison of Data and Process Refinement -- Compilation by Refinement for a Practical Assembly Language -- Hybrid Systems -- Java Card Code Generation from B Specifications -- Efficient Path Finding with the Sweep-Line Method Using External Storage -- Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates -- Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures -- Z/Object-Z -- A Z Based Approach to Verifying Security Protocols -- A Refinement Tool for Z -- The Common Semantic Constructs of XML Family -- Petri Nets -- Controller Synthesis for Object Petri Nets -- Towards a Workflow Model of Real-Time Cooperative Systems -- New Developments in Closed-Form Computation for GSPN Aggregation -- Timed Automata -- On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata -- Analyzing the Redesign of a Distributed Lift System in UPPAAL -- Verification of Timeliness QoS Properties in Multimedia Systems -- System Modeling and Checking -- A Calculus for Set-Based Program Development -- Compositional Verification of a Switch Fabric from Nortel Networks -- Constraint-Based Model Checking of Data-Independent Systems -- A Formal Model for the Block Device Subsystem of the Linux Kernel -- Semantics and Synthesis -- A Mathematical Framework for Safecharts -- A Relational Model for Formal Object-Oriented Requirement Analysis in UML -- From Specification to Hardware Device: A Synthesis Algorithm. |
| Record Nr. | UNINA-9910144213403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Multi-Objective Optimization using Artificial Intelligence Techniques / / by Seyedali Mirjalili, Jin Song Dong
| Multi-Objective Optimization using Artificial Intelligence Techniques / / by Seyedali Mirjalili, Jin Song Dong |
| Autore | Mirjalili Seyedali |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xi, 58 pages) |
| Disciplina | 006.3 |
| Collana | SpringerBriefs in Computational Intelligence |
| Soggetto topico |
Computational intelligence
Machine learning Operations research Decision making Computational Intelligence Machine Learning Operations Research/Decision Theory |
| ISBN | 3-030-24835-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484985003321 |
Mirjalili Seyedali
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semantic Technology [[electronic resource] ] : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers / / edited by Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu
| Semantic Technology [[electronic resource] ] : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers / / edited by Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIX, 332 p. 94 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Information storage and retrieval
Data mining Mathematical logic Database management Artificial intelligence Application software Information Storage and Retrieval Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Database Management Artificial Intelligence Information Systems Applications (incl. Internet) |
| ISBN | 3-319-50112-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ontology and reasoning -- Linked data -- Knowledge graph -- Ontology and data management -- Information retrieval and knowledge discovery -- RDF and query.-Application of semantic technologies. |
| Record Nr. | UNISA-996465517403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Semantic Technology : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers / / edited by Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu
| Semantic Technology : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers / / edited by Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIX, 332 p. 94 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Information storage and retrieval
Data mining Logic, Symbolic and mathematical Database management Artificial intelligence Application software Information Storage and Retrieval Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Database Management Artificial Intelligence Information Systems Applications (incl. Internet) |
| ISBN | 3-319-50112-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ontology and reasoning -- Linked data -- Knowledge graph -- Ontology and data management -- Information retrieval and knowledge discovery -- RDF and query.-Application of semantic technologies. |
| Record Nr. | UNINA-9910484817603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||