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 Aspects of Component Software [[electronic resource] ] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers / / edited by Corina S Pasareanu, Gwen Salaün
| Formal Aspects of Component Software [[electronic resource] ] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers / / edited by Corina S Pasareanu, Gwen Salaün |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 277 p. 72 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Mathematical logic Computer logic Programming languages (Electronic computers) Computer programming Management information systems Computer science Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Management of Computing and Information Systems |
| Soggetto genere / forma | Conference papers and proceedings. |
| Soggetto non controllato | FACS |
| ISBN | 3-642-35860-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal models for software components and their interaction -- Formal aspects of services, service oriented architectures, business processes, and cloud computing -- Design and verification methods for software components and services -- Composition and deployment: models, calculi, languages; formal methods and modeling languages for components and services -- Model based and GUI based testing of components and services -- Models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services -- Components for real-time, safety-critical, secure, and/or embedded systems -- Industrial or experience reports and case studies -- Update and reconfiguration of component and service architectures -- Component systems evolution and maintenance -- Autonomic components and self-managed applications -- Formal and rigorous approaches to software adaptation and self-adaptive systems. |
| Record Nr. | UNISA-996465997303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Industrial Critical Systems [[electronic resource] ] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings / / edited by Gwen Salaün, Bernhard Schätz
| Formal Methods for Industrial Critical Systems [[electronic resource] ] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings / / edited by Gwen Salaün, Bernhard Schätz |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 261 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Special purpose computers Computer programming Mathematical logic Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Programming Techniques Mathematical Logic and Formal Languages |
| ISBN | 3-642-24431-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466069903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering and Formal Methods [[electronic resource] ] : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / / edited by Peter Csaba Ölveczky, Gwen Salaün
| Software Engineering and Formal Methods [[electronic resource] ] : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / / edited by Peter Csaba Ölveczky, Gwen Salaün |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVIII, 550 p. 910 illus., 89 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Electronic digital computers—Evaluation Artificial intelligence Computer simulation Software Engineering Compilers and Interpreters Theory of Computation System Performance and Evaluation Artificial Intelligence Computer Modelling |
| ISBN | 3-030-30446-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466289003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / / edited by Peter Csaba Ölveczky, Gwen Salaün
| Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / / edited by Peter Csaba Ölveczky, Gwen Salaün |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVIII, 550 p. 910 illus., 89 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Electronic digital computers—Evaluation Artificial intelligence Computer simulation Software Engineering Compilers and Interpreters Theory of Computation System Performance and Evaluation Artificial Intelligence Computer Modelling |
| ISBN | 3-030-30446-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349282603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering and Formal Methods [[electronic resource] ] : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings / / edited by Dimitra Giannakopoulou, Gwen Salaün
| Software Engineering and Formal Methods [[electronic resource] ] : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings / / edited by Dimitra Giannakopoulou, Gwen Salaün |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXII, 394 p. 85 illus.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Mathematical logic Computer communication systems Computer programming Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Computer Communication Networks Programming Techniques |
| ISBN | 3-319-10431-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Program Verification -- Testing -- Component-Based Systems -- Real-Time and Embedded Systems -- Model Checking and Automata Learning -- Tool Papers -- Program Correctness -- Adaptive and Multi-Agent Systems. |
| Record Nr. | UNISA-996198262703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings / / edited by Dimitra Giannakopoulou, Gwen Salaün
| Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings / / edited by Dimitra Giannakopoulou, Gwen Salaün |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXII, 394 p. 85 illus.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Mathematical logic Computer communication systems Computer programming Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Computer Communication Networks Programming Techniques |
| ISBN | 3-319-10431-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Program Verification -- Testing -- Component-Based Systems -- Real-Time and Embedded Systems -- Model Checking and Automata Learning -- Tool Papers -- Program Correctness -- Adaptive and Multi-Agent Systems. |
| Record Nr. | UNINA-9910483700803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Technologies: Applications and Foundations [[electronic resource] ] : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / / edited by Manuel Mazzara, Iulian Ober, Gwen Salaün
| Software Technologies: Applications and Foundations [[electronic resource] ] : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / / edited by Manuel Mazzara, Iulian Ober, Gwen Salaün |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXI, 658 p. 231 illus., 112 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Special purpose computers Computer logic Algorithms Artificial intelligence Software Engineering Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Artificial Intelligence |
| ISBN | 3-030-04771-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS) -- From Data to Models and Back (DataMod) -- Formal Methods for Interactive Systems (FMIS) -- Foundations of Coordination Languages and Self-adaptative Systems (FOCLASA) -- Graph Computation Models (GCM) -- Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun) -- Microservices: Science and Engineering (MSE) -- Security for and by Model-Driven Engineering (MDE). |
| Record Nr. | UNISA-996466285303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / / edited by Manuel Mazzara, Iulian Ober, Gwen Salaün
| Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / / edited by Manuel Mazzara, Iulian Ober, Gwen Salaün |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXI, 658 p. 231 illus., 112 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Special purpose computers Computer logic Algorithms Artificial intelligence Software Engineering Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Artificial Intelligence |
| ISBN | 3-030-04771-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS) -- From Data to Models and Back (DataMod) -- Formal Methods for Interactive Systems (FMIS) -- Foundations of Coordination Languages and Self-adaptative Systems (FOCLASA) -- Graph Computation Models (GCM) -- Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun) -- Microservices: Science and Engineering (MSE) -- Security for and by Model-Driven Engineering (MDE). |
| Record Nr. | UNINA-9910349386703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||