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.
Critical Systems: Formal Methods and Automated Verification [[electronic resource] ] : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
| Critical Systems: Formal Methods and Automated Verification [[electronic resource] ] : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVI, 247 p. 89 illus.) |
| Disciplina | 621.395 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer logic
Programming languages (Electronic computers) Software engineering Special purpose computers Mathematical logic Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Special Purpose and Application-Based Systems Mathematical Logic and Formal Languages |
| ISBN | 3-319-45943-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465988803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
| Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVI, 247 p. 89 illus.) |
| Disciplina | 621.395 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer logic
Programming languages (Electronic computers) Software engineering Special purpose computers Mathematical logic Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Special Purpose and Application-Based Systems Mathematical Logic and Formal Languages |
| ISBN | 3-319-45943-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484438703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Radical Innovations of Software and Systems Engineering in the Future [[electronic resource] ] : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers / / edited by Martin Wirsing, Alexander Knapp, Simonetta Balsamo
| Radical Innovations of Software and Systems Engineering in the Future [[electronic resource] ] : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers / / edited by Martin Wirsing, Alexander Knapp, Simonetta Balsamo |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (IX, 359 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN |
1-280-30700-5
9786610307005 3-540-24626-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Architecture Specific Models: Software Design on Abstract Platforms -- Tight Structuring for Precise UML-Based Requirement Specifications -- Integrating Performance Modeling in the Software Development Process -- The Inevitable Pain of Software Development: Why There Is No Silver Bullet -- Toward Component-Oriented Formal Software Development: An Algebraic Approach -- Higher Order Applicative XML Documents -- A New Paradigm for Requirements Specification and Analysis of System-of-Systems -- Towards Ontology Driven Software Design -- A Model Based Development Approach for Distributed Embedded Systems -- Pervasive Challenges for Software Components -- Model Generation for Legacy Systems -- Automatic Failures-Free Connector Synthesis: An Example -- Module Dependences in Software Design -- Towards Fully Automatic Execution Monitoring -- Automation of Software System Development Using Natural Language Processing and Two-Level Grammar -- A General Resource Framework for Real-Time Systems -- Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems -- A Computational Model for Complex Systems of Embedded Systems -- Software Evolution as the Key to Productivity -- Model-Checking Complex Software – A Memory Perspective -- Agile Modeling with the UML -- Predictable Component Architectures Using Dependent Finite State Machines -- From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering -- View Consistency in Software Development. |
| Record Nr. | UNISA-996465540503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers / / edited by Martin Wirsing, Alexander Knapp, Simonetta Balsamo
| Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers / / edited by Martin Wirsing, Alexander Knapp, Simonetta Balsamo |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (IX, 359 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN |
1-280-30700-5
9786610307005 3-540-24626-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Architecture Specific Models: Software Design on Abstract Platforms -- Tight Structuring for Precise UML-Based Requirement Specifications -- Integrating Performance Modeling in the Software Development Process -- The Inevitable Pain of Software Development: Why There Is No Silver Bullet -- Toward Component-Oriented Formal Software Development: An Algebraic Approach -- Higher Order Applicative XML Documents -- A New Paradigm for Requirements Specification and Analysis of System-of-Systems -- Towards Ontology Driven Software Design -- A Model Based Development Approach for Distributed Embedded Systems -- Pervasive Challenges for Software Components -- Model Generation for Legacy Systems -- Automatic Failures-Free Connector Synthesis: An Example -- Module Dependences in Software Design -- Towards Fully Automatic Execution Monitoring -- Automation of Software System Development Using Natural Language Processing and Two-Level Grammar -- A General Resource Framework for Real-Time Systems -- Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems -- A Computational Model for Complex Systems of Embedded Systems -- Software Evolution as the Key to Productivity -- Model-Checking Complex Software – A Memory Perspective -- Agile Modeling with the UML -- Predictable Component Architectures Using Dependent Finite State Machines -- From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering -- View Consistency in Software Development. |
| Record Nr. | UNINA-9910144205003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||