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.
Fundamental Approaches to Software Engineering [[electronic resource] ] : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / / edited by Marieke Huisman, Julia Rubin
| Fundamental Approaches to Software Engineering [[electronic resource] ] : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / / edited by Marieke Huisman, Julia Rubin |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIII, 444 p. 130 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-662-54494-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Learning and Inference -- Should We Learn Probabilistic Models for Model Checking? A New Approach and an Empirical Study -- Bordeaux: a tool for thinking outside the box -- Test Selection -- Bucketing Failing Tests via Symbolic Analysis -- Selective Bisection Debugging. - On the Effectiveness of Bug Predictors with Procedural Systems: a Quantitative Study -- Program and System Analysis -- Inference and Evolution of TypeScript Declaration Files -- Explicit Connection Actions in Multiparty Session Types -- Change and Delay Contracts for Hybrid System Component Verification. - Precise Version Control of Trees with Line-based Version Control Systems -- Graph Modelling and Transformation -- StaticGen: Static Generation of UML Sequence Diagrams -- Inter-Model Consistency Checking using Triple Graph Grammars and Linear Optimization Techniques -- GTS Families for the Flexible Composition of Graph Transformation Systems -- Symbolic Model Generation for Graph Properties. - Model Transformations -- Traceability Mappings as a Fundamental Instrument in Model Transformations -- Reusing Model Transformations through Typing Requirement Models -- Change-preserving model repair. -A deductive approach for fault localization in ATL model transformations. -Configuration and Synthesis -- OpenSAW: Open Security Analysis Workbench -- Visual Configuration of Mobile Privacy Policies -- Automated Workarounds from Java Program Specifications based on SAT Solving. -Slicing from Formal Sematics: Chisel -- EasyInterface: A toolkit for rapid development of GUIs for research prototype tools -- Software Product Lines -- Family-Based Model Checking with mCRL2 -- Variability-specific Abstraction Refinement for Family-based Model Checking -- A Unified and Formal Programming Model for Deltas and Traits. |
| Record Nr. | UNISA-996466188203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / / edited by Marieke Huisman, Julia Rubin
| Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / / edited by Marieke Huisman, Julia Rubin |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIII, 444 p. 130 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-662-54494-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Learning and Inference -- Should We Learn Probabilistic Models for Model Checking? A New Approach and an Empirical Study -- Bordeaux: a tool for thinking outside the box -- Test Selection -- Bucketing Failing Tests via Symbolic Analysis -- Selective Bisection Debugging. - On the Effectiveness of Bug Predictors with Procedural Systems: a Quantitative Study -- Program and System Analysis -- Inference and Evolution of TypeScript Declaration Files -- Explicit Connection Actions in Multiparty Session Types -- Change and Delay Contracts for Hybrid System Component Verification. - Precise Version Control of Trees with Line-based Version Control Systems -- Graph Modelling and Transformation -- StaticGen: Static Generation of UML Sequence Diagrams -- Inter-Model Consistency Checking using Triple Graph Grammars and Linear Optimization Techniques -- GTS Families for the Flexible Composition of Graph Transformation Systems -- Symbolic Model Generation for Graph Properties. - Model Transformations -- Traceability Mappings as a Fundamental Instrument in Model Transformations -- Reusing Model Transformations through Typing Requirement Models -- Change-preserving model repair. -A deductive approach for fault localization in ATL model transformations. -Configuration and Synthesis -- OpenSAW: Open Security Analysis Workbench -- Visual Configuration of Mobile Privacy Policies -- Automated Workarounds from Java Program Specifications based on SAT Solving. -Slicing from Formal Sematics: Chisel -- EasyInterface: A toolkit for rapid development of GUIs for research prototype tools -- Software Product Lines -- Family-Based Model Checking with mCRL2 -- Variability-specific Abstraction Refinement for Family-based Model Checking -- A Unified and Formal Programming Model for Deltas and Traits. |
| Record Nr. | UNINA-9910483259203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Based Methodologies for Pervasive and Embedded Software [[electronic resource] ] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers / / edited by Ricardo J. Machado, Rita Suzana Maciel, Julia Rubin, Goetz Botterweck
| Model-Based Methodologies for Pervasive and Embedded Software [[electronic resource] ] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers / / edited by Ricardo J. Machado, Rita Suzana Maciel, Julia Rubin, Goetz Botterweck |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 139 p. 61 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Computer communication systems Programming languages (Electronic computers) Artificial intelligence Computer simulation Software Engineering Logics and Meanings of Programs Computer Communication Networks Programming Languages, Compilers, Interpreters Artificial Intelligence Simulation and Modeling |
| ISBN | 3-642-38209-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466178303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model-Based Methodologies for Pervasive and Embedded Software : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers / / edited by Ricardo J. Machado, Rita Suzana Maciel, Julia Rubin, Goetz Botterweck
| Model-Based Methodologies for Pervasive and Embedded Software : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers / / edited by Ricardo J. Machado, Rita Suzana Maciel, Julia Rubin, Goetz Botterweck |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 139 p. 61 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Computer communication systems Programming languages (Electronic computers) Artificial intelligence Computer simulation Software Engineering Logics and Meanings of Programs Computer Communication Networks Programming Languages, Compilers, Interpreters Artificial Intelligence Simulation and Modeling |
| ISBN | 3-642-38209-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484367803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modelling Foundations and Applications [[electronic resource] ] : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / / edited by Jordi Cabot, Julia Rubin
| Modelling Foundations and Applications [[electronic resource] ] : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / / edited by Jordi Cabot, Julia Rubin |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVIII, 267 p. 129 illus.) |
| Disciplina | 005.10285 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Management information systems Computer science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Management of Computing and Information Systems |
| ISBN | 3-319-09195-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model provenance -- Model transformations and code generation -- Model synthesis -- Model-driven testing -- Formal modeling approaches -- Business modeling -- Usability of models. |
| Record Nr. | UNISA-996198271503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Modelling Foundations and Applications : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / / edited by Jordi Cabot, Julia Rubin
| Modelling Foundations and Applications : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / / edited by Jordi Cabot, Julia Rubin |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVIII, 267 p. 129 illus.) |
| Disciplina | 005.10285 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Management information systems Computer science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Management of Computing and Information Systems |
| ISBN | 3-319-09195-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model provenance -- Model transformations and code generation -- Model synthesis -- Model-driven testing -- Formal modeling approaches -- Business modeling -- Usability of models. |
| Record Nr. | UNINA-9910483278503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2010 Icse Workshop on Product Line Approaches in Software Engineering
| Proceedings of the 2010 Icse Workshop on Product Line Approaches in Software Engineering |
| Autore | Rubin Julia |
| Pubbl/distr/stampa | [Place of publication not identified] : , : Association for Computing Machinery, , 2010 |
| Descrizione fisica | 1 online resource (68 pages) |
| Collana | ACM Conferences. |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | PLEASE '10 |
| Record Nr. | UNINA-9910376069103321 |
Rubin Julia
|
||
| [Place of publication not identified] : , : Association for Computing Machinery, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||