Fundamental Approaches to Software Engineering [[electronic resource] ] : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings / / edited by Juan de Lara, Andrea Zisman |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (534 p. 168 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer networks Computer science Compilers (Computer programs) Computer programming Electronic data processing—Management Software Engineering Computer Communication Networks Computer Science Logic and Foundations of Programming Compilers and Interpreters Programming Techniques IT Operations |
ISBN | 3-642-28872-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466249603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Graph Transformation [[electronic resource] ] : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings / / edited by Juan de Lara, Detlef Plump |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 231 p. 76 illus.) |
Disciplina | 511.5 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science—Mathematics
Discrete mathematics Algorithms Compilers (Computer programs) Computer programming Artificial intelligence—Data processing Electronic digital computers—Evaluation Discrete Mathematics in Computer Science Compilers and Interpreters Programming Techniques Data Science System Performance and Evaluation |
ISBN | 3-319-61470-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466454703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings / / edited by Juan de Lara, Detlef Plump |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 231 p. 76 illus.) |
Disciplina | 511.5 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science—Mathematics
Discrete mathematics Algorithms Compilers (Computer programs) Computer programming Artificial intelligence—Data processing Electronic digital computers—Evaluation Discrete Mathematics in Computer Science Compilers and Interpreters Programming Techniques Data Science System Performance and Evaluation |
ISBN | 3-319-61470-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483225903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Theory and Practice of Model Transformations [[electronic resource] ] : 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings / / edited by Zhenjiang Hu, Juan de Lara |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (X, 297 p. 115 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Mathematical logic Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Mathematical Logic and Formal Languages |
Soggetto genere / forma | Conference proceedings. |
ISBN | 3-642-30476-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
How clean is your sandbox?: towards a unified theoretical framework for incremental bidirectional transformations / James F. Terwilliger, Anthony Cleve ; and Carlo A. Curino -- Using models of partial knowledge to test model transformations / Sagar Sen, Jean-Marie Mottu, Massimo Tisi ; and Jordi Cabot -- Specification-driven test generation for model transformations / Esther Guerra -- Typing model transformations using tracts / Antonio Vallecillo ; and Martin Gogolla -- Reusable and correct endogenous model transformations / Suzana Andova, Mark G. J. van den Brand ; and Luc Engelen -- Multifocal: a strategic bidirectional transformation language for XML schemas / Hugo Pacheco ; and Alcino Cunha -- Bidirectional transformation of model-driven spreadsheets / Jácome Cunha, João P. Fernandes, Jorge Mendes, Hugo Pacheco ; and João Saraiva -- Domain-specific optimization in digital forensics / Jeroen van den Bos ; and Tijs van der Storm -- Empirical assessment of business model transformations based on model simulation / María Fernández-Ropero, Ricardo Pérez-Castillo, Barbara Weber ; and Mario Piattini -- Traceability visualization in model transformations with TraceVis / Marcel F. van Amstel, Mark G. J. van den Brand ; and Alexander Serebrenik
Type-safe model transformation languages as internal DSLs in Scala / Lars George, Arif Wider ; and Markus Scheidgen -- Towards a family of model transformation languages / Jesús Sánchez Cuadrado -- Translational semantics of a co-evolution specific language with the EMF transformation virtual machine / Dennis Wagelaar, Ludovico Iovino, Davide Di Ruscio ; and Alfonso Pierantonio -- Towards multi-level aware model transformations / Colin Atkinson, Ralph Gerbig ; and Christian Tunjic -- ; An Algorithm for generating model-sensitive search plans for EMF models / Gergely Varró, Frederik Deckwerth, Martin Wieber ; and Andy Schürr -- Paisley: pattern matching à la carte / Baltasar Trancón y Widemann ; and Markus Lepper -- Constraint-driven modeling through transformation / Andreas Demuth, Roberto E. Lopez-Herrejon ; and Alexander Egyed -- ; The Impact of class model redesign on state machines / Piotr Kosiuczenko -- Fact or fiction - reuse in rule-based Model-to-Model transformation languages / Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger ; and Johannes Schönböck, ; et al. |
Record Nr. | UNISA-996465419103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|