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.
First IEEE International Conference Conference [sic] on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997
| First IEEE International Conference Conference [sic] on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1997 |
| Disciplina | 620/.0028 |
| Soggetto topico |
Engineering - Congresses - Methodology
Computer software - Congresses - Development Engineering & Applied Sciences Engineering - General |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996204369303316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings / / Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie (editors)
| Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings / / Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (VIII, 387 p.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Formal methods (Computer science)
Software engineering |
| ISBN | 3-540-76650-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- A System Development Process with Event-B and the Rodin Platform -- Challenges in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management -- Formal Engineering of XACML Access Control Policies in VDM++ -- A Verification Framework for Agent Knowledge -- Embedded Systems -- From Model-Based Design to Formal Verification of Adaptive Embedded Systems -- Machine-Assisted Proof Support for Validation Beyond Simulink -- VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System -- Testing -- Integrating Specification-Based Review and Testing for Detecting Errors in Programs -- Testing for Refinement in CSP -- Reducing Test Sequence Length Using Invertible Sequences -- Automated Analysis -- Model Checking with SAT-Based Characterization of ACTL Formulas -- Automating Refinement Checking in Probabilistic System Design -- Model Checking in Practice: Analysis of Generic Bootloader Using SPIN -- Model Checking Propositional Projection Temporal Logic Based on SPIN -- Hardware -- A Denotational Semantics for Handel-C Hardware Compilation -- Automatic Generation of Verified Concurrent Hardware -- Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking -- Concurrency -- Efficient Symbolic Execution of Large Quantifications in a Process Algebra -- Formalizing SANE Virtual Processor in Thread Algebra -- Calculating and Composing Progress Properties in Terms of the Leads-to Relation -- Erratum -- Erratum to: Challenges in Software Certification. |
| Record Nr. | UNISA-996465956103316 |
| Berlin : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings / / Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie (editors)
| Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings / / Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (VIII, 387 p.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Formal methods (Computer science)
Software engineering |
| ISBN | 3-540-76650-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- A System Development Process with Event-B and the Rodin Platform -- Challenges in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management -- Formal Engineering of XACML Access Control Policies in VDM++ -- A Verification Framework for Agent Knowledge -- Embedded Systems -- From Model-Based Design to Formal Verification of Adaptive Embedded Systems -- Machine-Assisted Proof Support for Validation Beyond Simulink -- VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System -- Testing -- Integrating Specification-Based Review and Testing for Detecting Errors in Programs -- Testing for Refinement in CSP -- Reducing Test Sequence Length Using Invertible Sequences -- Automated Analysis -- Model Checking with SAT-Based Characterization of ACTL Formulas -- Automating Refinement Checking in Probabilistic System Design -- Model Checking in Practice: Analysis of Generic Bootloader Using SPIN -- Model Checking Propositional Projection Temporal Logic Based on SPIN -- Hardware -- A Denotational Semantics for Handel-C Hardware Compilation -- Automatic Generation of Verified Concurrent Hardware -- Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking -- Concurrency -- Efficient Symbolic Execution of Large Quantifications in a Process Algebra -- Formalizing SANE Virtual Processor in Thread Algebra -- Calculating and Composing Progress Properties in Terms of the Leads-to Relation -- Erratum -- Erratum to: Challenges in Software Certification. |
| Record Nr. | UNINA-9910484765603321 |
| Berlin : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000
| ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2000 |
| Disciplina | 620/.0028 |
| Soggetto topico |
Engineering - Methodology
Computer software - Development Engineering & Applied Sciences Engineering - General |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996218932003316 |
| [Place of publication not identified], : IEEE Computer Society, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia
| Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1998 |
| Disciplina | 620/.0028 |
| Soggetto topico |
Engineering - Congresses - Methodology
Computer software - Congresses - Development Engineering & Applied Sciences Engineering - General |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996211375403316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
SEFM 2007 : Fifth IEEE International Conference on Software Engineering and Formal Methods : proceedings : 12-14 September, 2007, London, England
| SEFM 2007 : Fifth IEEE International Conference on Software Engineering and Formal Methods : proceedings : 12-14 September, 2007, London, England |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2007 |
| Disciplina | 004.01/51 |
| Soggetto topico |
Software engineering
Formal methods (Computer science) Engineering & Applied Sciences Computer Science |
| ISBN | 1-5090-8247-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910143014903321 |
| [Place of publication not identified], : IEEE Computer Society, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SEFM 2007 : Fifth IEEE International Conference on Software Engineering and Formal Methods : proceedings : 12-14 September, 2007, London, England
| SEFM 2007 : Fifth IEEE International Conference on Software Engineering and Formal Methods : proceedings : 12-14 September, 2007, London, England |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2007 |
| Disciplina | 004.01/51 |
| Soggetto topico |
Software engineering
Formal methods (Computer science) Engineering & Applied Sciences Computer Science |
| ISBN | 1-5090-8247-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996211394903316 |
| [Place of publication not identified], : IEEE Computer Society, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software technology : 10 years of innovation in IEEE Computer / / edited by Mike Hinchey
| Software technology : 10 years of innovation in IEEE Computer / / edited by Mike Hinchey |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : IEEE Computer Society, Inc., , 2018 |
| Descrizione fisica | 1 online resource (373 pages) |
| Disciplina | 005.1 |
| Soggetto topico | Software engineering - History |
| ISBN |
1-119-17423-6
1-119-17422-8 1-119-17424-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1: The Software Landscape -- Chapter 1: Software Crisis 2.0 / Brian Fitzgerald -- Chapter 2: Simplicity as a Driver for Agile Innovation / Tiziana Margaria and Bernhard Steffen -- Chapter 3: Inter-Component Dependency Issues in Software Ecosystems / Malick Claes, Alexandre Decan, and Tom Mens -- Chapter 4: Triangulation Research Dissemination Methods: A Three Pronged Approach to Close the Research /Practice Divide / Sarah Beecham, Ita Richardson, Ian Sommerville, Padraig O'Leary, Sean Baker, and John Noll -- Part 2: Autonomous Software Systems -- Chapter 5: Apoptotic Computing: Programmed Death by Default for Software Technologies / Roy Sterritt and Mike Hinchey -- Chapter 6: Requirements Engineering for Adaptive and Self-Adaptive Systems / Emil Vassev and Mike Hinchey -- Chapter 7: Toward Artificial Intelligence through Knowledge Representation for Awareness / Emil Vassev and Mike Hinchey -- Part 3: Software Development and Evolution -- Chapter 8: Continuous Model-Driven Engineering / Tiziana Margaria, Anna-Lena Lamprecht, and Bernhard Steffen -- Chapter 9: Rethinking Functional Requirements: A Novel Approach Categorizing System and Software Requirements / Manfred Broy -- Chapter 10: The Power of Ten - Rules for Developing Safety Critical Code / Gerard J.Holzmann -- Chapter 11: Seven Principles of Software Testing / Bertrand Meyer -- Chapter 12: Analyzing the Evolution of Database Usage in Data-Intensive Software Systems / Loup Meurice, Mathieu Goeminne, Tom Mens, Csaba Nagy, Alexandre Decan, and Anthony Cleve -- Part 4: Software Product Lines and Variability -- Chapter 13: Dynamic Software Product Lines / Sven Hallsteinsen, Mike Hinchey, Sooyong Park, and Klaus Schmid -- Chapter 14: Cutting-Edge Topics in Dynamic Software Variability / Rafael Capilla, Jan Bosch, and Mike Hinchey -- Part 5: Formal Methods -- Chapter 15: The Quest for Formal Methods in Software Product Line Engineering / Reiner Hhnle and Ina Schaefer -- Chapter 16: Formality, Agility, Security, and Evolution in Software Engineering / Jonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin Ward, and Hussein Zedan -- Part 6: Cloud Computing -- Chapter 17: Cloud Computing: An Exploration of Factors Impacting Adoption / Lorraine Morgan and Kieran Conboy -- Chapter 18: A Model-Centric Approach to the Design of Resource-Aware Cloud Applications / Reiner Hhnle and Einar Broch Johnsen . |
| Record Nr. | UNINA-9910555292603321 |
| Hoboken, New Jersey : , : IEEE Computer Society, Inc., , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software technology : 10 years of innovation in IEEE Computer / / edited by Mike Hinchey
| Software technology : 10 years of innovation in IEEE Computer / / edited by Mike Hinchey |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : IEEE Computer Society, Inc., , 2018 |
| Descrizione fisica | 1 online resource (373 pages) |
| Disciplina | 005.1 |
| Soggetto topico | Software engineering - History |
| ISBN |
1-119-17423-6
1-119-17422-8 1-119-17424-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1: The Software Landscape -- Chapter 1: Software Crisis 2.0 / Brian Fitzgerald -- Chapter 2: Simplicity as a Driver for Agile Innovation / Tiziana Margaria and Bernhard Steffen -- Chapter 3: Inter-Component Dependency Issues in Software Ecosystems / Malick Claes, Alexandre Decan, and Tom Mens -- Chapter 4: Triangulation Research Dissemination Methods: A Three Pronged Approach to Close the Research /Practice Divide / Sarah Beecham, Ita Richardson, Ian Sommerville, Padraig O'Leary, Sean Baker, and John Noll -- Part 2: Autonomous Software Systems -- Chapter 5: Apoptotic Computing: Programmed Death by Default for Software Technologies / Roy Sterritt and Mike Hinchey -- Chapter 6: Requirements Engineering for Adaptive and Self-Adaptive Systems / Emil Vassev and Mike Hinchey -- Chapter 7: Toward Artificial Intelligence through Knowledge Representation for Awareness / Emil Vassev and Mike Hinchey -- Part 3: Software Development and Evolution -- Chapter 8: Continuous Model-Driven Engineering / Tiziana Margaria, Anna-Lena Lamprecht, and Bernhard Steffen -- Chapter 9: Rethinking Functional Requirements: A Novel Approach Categorizing System and Software Requirements / Manfred Broy -- Chapter 10: The Power of Ten - Rules for Developing Safety Critical Code / Gerard J.Holzmann -- Chapter 11: Seven Principles of Software Testing / Bertrand Meyer -- Chapter 12: Analyzing the Evolution of Database Usage in Data-Intensive Software Systems / Loup Meurice, Mathieu Goeminne, Tom Mens, Csaba Nagy, Alexandre Decan, and Anthony Cleve -- Part 4: Software Product Lines and Variability -- Chapter 13: Dynamic Software Product Lines / Sven Hallsteinsen, Mike Hinchey, Sooyong Park, and Klaus Schmid -- Chapter 14: Cutting-Edge Topics in Dynamic Software Variability / Rafael Capilla, Jan Bosch, and Mike Hinchey -- Part 5: Formal Methods -- Chapter 15: The Quest for Formal Methods in Software Product Line Engineering / Reiner Hhnle and Ina Schaefer -- Chapter 16: Formality, Agility, Security, and Evolution in Software Engineering / Jonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin Ward, and Hussein Zedan -- Part 6: Cloud Computing -- Chapter 17: Cloud Computing: An Exploration of Factors Impacting Adoption / Lorraine Morgan and Kieran Conboy -- Chapter 18: A Model-Centric Approach to the Design of Resource-Aware Cloud Applications / Reiner Hhnle and Einar Broch Johnsen . |
| Record Nr. | UNINA-9910829841103321 |
| Hoboken, New Jersey : , : IEEE Computer Society, Inc., , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software technology : 10 years of innovation in IEEE Computer / / edited by Mike Hinchey
| Software technology : 10 years of innovation in IEEE Computer / / edited by Mike Hinchey |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : IEEE Computer Society, Inc., , 2018 |
| Descrizione fisica | 1 online resource (373 pages) |
| Disciplina | 005.1 |
| Soggetto topico | Software engineering - History |
| ISBN |
1-119-17423-6
1-119-17422-8 1-119-17424-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1: The Software Landscape -- Chapter 1: Software Crisis 2.0 / Brian Fitzgerald -- Chapter 2: Simplicity as a Driver for Agile Innovation / Tiziana Margaria and Bernhard Steffen -- Chapter 3: Inter-Component Dependency Issues in Software Ecosystems / Malick Claes, Alexandre Decan, and Tom Mens -- Chapter 4: Triangulation Research Dissemination Methods: A Three Pronged Approach to Close the Research /Practice Divide / Sarah Beecham, Ita Richardson, Ian Sommerville, Padraig O'Leary, Sean Baker, and John Noll -- Part 2: Autonomous Software Systems -- Chapter 5: Apoptotic Computing: Programmed Death by Default for Software Technologies / Roy Sterritt and Mike Hinchey -- Chapter 6: Requirements Engineering for Adaptive and Self-Adaptive Systems / Emil Vassev and Mike Hinchey -- Chapter 7: Toward Artificial Intelligence through Knowledge Representation for Awareness / Emil Vassev and Mike Hinchey -- Part 3: Software Development and Evolution -- Chapter 8: Continuous Model-Driven Engineering / Tiziana Margaria, Anna-Lena Lamprecht, and Bernhard Steffen -- Chapter 9: Rethinking Functional Requirements: A Novel Approach Categorizing System and Software Requirements / Manfred Broy -- Chapter 10: The Power of Ten - Rules for Developing Safety Critical Code / Gerard J.Holzmann -- Chapter 11: Seven Principles of Software Testing / Bertrand Meyer -- Chapter 12: Analyzing the Evolution of Database Usage in Data-Intensive Software Systems / Loup Meurice, Mathieu Goeminne, Tom Mens, Csaba Nagy, Alexandre Decan, and Anthony Cleve -- Part 4: Software Product Lines and Variability -- Chapter 13: Dynamic Software Product Lines / Sven Hallsteinsen, Mike Hinchey, Sooyong Park, and Klaus Schmid -- Chapter 14: Cutting-Edge Topics in Dynamic Software Variability / Rafael Capilla, Jan Bosch, and Mike Hinchey -- Part 5: Formal Methods -- Chapter 15: The Quest for Formal Methods in Software Product Line Engineering / Reiner Hhnle and Ina Schaefer -- Chapter 16: Formality, Agility, Security, and Evolution in Software Engineering / Jonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin Ward, and Hussein Zedan -- Part 6: Cloud Computing -- Chapter 17: Cloud Computing: An Exploration of Factors Impacting Adoption / Lorraine Morgan and Kieran Conboy -- Chapter 18: A Model-Centric Approach to the Design of Resource-Aware Cloud Applications / Reiner Hhnle and Einar Broch Johnsen . |
| Record Nr. | UNINA-9910841410003321 |
| Hoboken, New Jersey : , : IEEE Computer Society, Inc., , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||