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] ] : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings / / edited by Jim Davies, Wolfram Schulte, Mike Barnett
| Formal Methods and Software Engineering [[electronic resource] ] : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings / / edited by Jim Davies, Wolfram Schulte, Mike Barnett |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (IX, 500 p.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-30482-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tutorials -- Model-Based Development: Combining Engineering Approaches and Formal Techniques -- Tutorial on the RAISE Language, Method and Tools -- Model-Based Testing with Spec# -- Formal Engineering for Industrial Software Development – An Introduction to the SOFL Specification Language and Method -- Tutorial: Software Model Checking -- Invited Talks -- Engineering Quality Software -- When Can Formal Methods Make a Real Difference? -- On the Adoption of Formal Methods by Industry: The ACL2 Experience -- A CLP Approach to Modelling Systems -- Full Papers -- Multi-prover Verification of C Programs -- Memory-Model-Sensitive Data Race Analysis -- Formal Models for Web Navigations with Session Control and Browser Cache -- Managing Verification Activities Using SVM -- A General Model for Reachability Testing of Concurrent Programs -- A Knowledge Based Analysis of Cache Coherence -- A Propositional Logic-Based Method for Verification of Feature Models -- Deriving Probabilistic Semantics Via the ‘Weakest Completion’ -- CSP Representation of Game Semantics for Second-Order Idealized Algol -- An Equational Calculus for Alloy -- Guiding Spin Simulation -- Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains -- Software Model Checking Using Linear Constraints -- Counterexample Guided Abstraction Refinement Via Program Execution -- Faster Analysis of Formal Specifications -- Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata -- Learning to Verify Safety Properties -- Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions -- A Specification-Based Approach to Testing Polymorphic Attributes -- From Circus to JCSP -- An Approach to Preserve Protocol Consistency and Executability Across Updates -- A Formal Monitoring-Based Framework for Software Development and Analysis -- Verifying a File System Implementation -- Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs -- Implementing Dynamic Aggregations of Abstract Machines in the B Method -- Formal Proof from UML Models -- Interactive Verification of UML State Machines -- Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity -- From Durational Specifications to TLA Designs of Timed Automata -- Timed Patterns: TCOZ to Timed Automata. |
| Record Nr. | UNISA-996465497903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods and Software Engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings / / edited by Jim Davies, Wolfram Schulte, Mike Barnett
| Formal Methods and Software Engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings / / edited by Jim Davies, Wolfram Schulte, Mike Barnett |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (IX, 500 p.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-30482-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tutorials -- Model-Based Development: Combining Engineering Approaches and Formal Techniques -- Tutorial on the RAISE Language, Method and Tools -- Model-Based Testing with Spec# -- Formal Engineering for Industrial Software Development – An Introduction to the SOFL Specification Language and Method -- Tutorial: Software Model Checking -- Invited Talks -- Engineering Quality Software -- When Can Formal Methods Make a Real Difference? -- On the Adoption of Formal Methods by Industry: The ACL2 Experience -- A CLP Approach to Modelling Systems -- Full Papers -- Multi-prover Verification of C Programs -- Memory-Model-Sensitive Data Race Analysis -- Formal Models for Web Navigations with Session Control and Browser Cache -- Managing Verification Activities Using SVM -- A General Model for Reachability Testing of Concurrent Programs -- A Knowledge Based Analysis of Cache Coherence -- A Propositional Logic-Based Method for Verification of Feature Models -- Deriving Probabilistic Semantics Via the ‘Weakest Completion’ -- CSP Representation of Game Semantics for Second-Order Idealized Algol -- An Equational Calculus for Alloy -- Guiding Spin Simulation -- Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains -- Software Model Checking Using Linear Constraints -- Counterexample Guided Abstraction Refinement Via Program Execution -- Faster Analysis of Formal Specifications -- Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata -- Learning to Verify Safety Properties -- Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions -- A Specification-Based Approach to Testing Polymorphic Attributes -- From Circus to JCSP -- An Approach to Preserve Protocol Consistency and Executability Across Updates -- A Formal Monitoring-Based Framework for Software Development and Analysis -- Verifying a File System Implementation -- Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs -- Implementing Dynamic Aggregations of Abstract Machines in the B Method -- Formal Proof from UML Models -- Interactive Verification of UML State Machines -- Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity -- From Durational Specifications to TLA Designs of Timed Automata -- Timed Patterns: TCOZ to Timed Automata. |
| Record Nr. | UNINA-9910144336703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods: Foundations and Applications [[electronic resource] ] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / / edited by Jim Davies, Leila Silva, Adenilso Simao
| Formal Methods: Foundations and Applications [[electronic resource] ] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / / edited by Jim Davies, Leila Silva, Adenilso Simao |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (VIII, 291 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer programming Mathematical logic Management information systems Computer science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Mathematical Logic and Formal Languages Management of Computing and Information Systems |
| ISBN | 3-642-19829-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465881303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ICEGOV 2010 Beijing China : 25-28 October, 2010 : 4th International Conference on Theory and Practice of Electronic Governance Proceedings
| ICEGOV 2010 Beijing China : 25-28 October, 2010 : 4th International Conference on Theory and Practice of Electronic Governance Proceedings |
| Autore | HADDAWY Peter |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2010 |
| Descrizione fisica | 1 online resource (452 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Government - General
Law, Politics & Government Political Institutions & Public Administration - General |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
International Conference on Theory and Practice of Electronic Governance 2010 Beijing China : 25-28 October, 2010 : 4th International Conference on Theory and Practice of Electronic Governance Proceedings
ICEGOV '10 4th International Conference on Theory and Practice of Electronic Governance, Beijing, China October 25 - 28, 2010 Proceedings of the 4th International Conference on Theory and Practice of Electronic Governance |
| Record Nr. | UNINA-9910376006203321 |
HADDAWY Peter
|
||
| [Place of publication not identified], : ACM, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||