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.
Engineering Adaptive Software Systems [[electronic resource] ] : Communications of NII Shonan Meetings / / edited by Yijun Yu, Arosha Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi Muller, John Mylopoulos, Bashar Nuseibeh
| Engineering Adaptive Software Systems [[electronic resource] ] : Communications of NII Shonan Meetings / / edited by Yijun Yu, Arosha Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi Muller, John Mylopoulos, Bashar Nuseibeh |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (173 pages) |
| Disciplina | 006.3 |
| Soggetto topico |
Software engineering
Software Engineering |
| ISBN | 981-13-2185-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Design and Engineering of Adaptive Software Systems -- 2 Self-adaptation of software using automatically generated control-theoretical solutions -- 3 Challenges in Engineering Self-adaptive Authorisation Infrastructures -- 4 Bidirectional Transformations for Self-adaptive Systems -- 5 Parallel Adaptation of Multiple Service Composition Instances -- 6 Assessing Security and Privacy Behavioural Risks for Self-Protection Systems -- 7 Experimenting with Adaptation in Smart Cyber-Physical Systems: A Model Problem and Testbed. |
| Record Nr. | UNINA-9910350235403321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Functional and Logic Programming [[electronic resource] ] : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings / / edited by Zhenjiang Hu, Mario Rodriquez-Artalejo
| Functional and Logic Programming [[electronic resource] ] : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings / / edited by Zhenjiang Hu, Mario Rodriquez-Artalejo |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 310 p.) |
| Disciplina | 005.1/14 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) Computer logic Artificial intelligence Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Artificial Intelligence |
| ISBN | 3-540-45788-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Formal Methods in CafeOBJ -- The Essence of XML (Preliminary Version) -- To the Gates of HAL: A HAL Tutorial -- Tutorial Paper -- Functional Logic Design Patterns -- Constraints -- On Consistency and Width Notions for Constraint Programs with Algebraic Constraints -- Solving Mixed Quantified Constraints over a Domain Based on eal Numbers and erbrand Terms -- Program Transformation and Analysis -- On the Correctness of the Factoring Transformation -- Lambda-Lifting in Quadratic Time -- Semantics -- The Well-Founded Semantics in Normal Logic Programs with Uncertainty -- Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus -- Coinductive Interpreters for Process Calculi -- Rewriting -- Descendants and Head Normalization of Higher-Order Rewrite Systems -- Narrowing Failure in Functional Logic Programming -- Compilation Techniques -- The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation -- Dynamic-Cut with Definitional Trees -- Programming Methodology -- The Head Condition and Polymorphic Recursion -- Structural Abstraction and Application in Logic Programming -- VM?: A Functional Calculus for Scientific Discovery. |
| Record Nr. | UNISA-996465557903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Functional and Logic Programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings / / edited by Zhenjiang Hu, Mario Rodriquez-Artalejo
| Functional and Logic Programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings / / edited by Zhenjiang Hu, Mario Rodriquez-Artalejo |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 310 p.) |
| Disciplina | 005.1/14 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) Computer logic Artificial intelligence Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Artificial Intelligence |
| ISBN | 3-540-45788-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Formal Methods in CafeOBJ -- The Essence of XML (Preliminary Version) -- To the Gates of HAL: A HAL Tutorial -- Tutorial Paper -- Functional Logic Design Patterns -- Constraints -- On Consistency and Width Notions for Constraint Programs with Algebraic Constraints -- Solving Mixed Quantified Constraints over a Domain Based on eal Numbers and erbrand Terms -- Program Transformation and Analysis -- On the Correctness of the Factoring Transformation -- Lambda-Lifting in Quadratic Time -- Semantics -- The Well-Founded Semantics in Normal Logic Programs with Uncertainty -- Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus -- Coinductive Interpreters for Process Calculi -- Rewriting -- Descendants and Head Normalization of Higher-Order Rewrite Systems -- Narrowing Failure in Functional Logic Programming -- Compilation Techniques -- The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation -- Dynamic-Cut with Definitional Trees -- Programming Methodology -- The Head Condition and Polymorphic Recursion -- Structural Abstraction and Application in Logic Programming -- VM?: A Functional Calculus for Scientific Discovery. |
| Record Nr. | UNINA-9910143895703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming Languages and Systems [[electronic resource] ] : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings / / edited by Zhenjiang Hu
| Programming Languages and Systems [[electronic resource] ] : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings / / edited by Zhenjiang Hu |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 359 p.) |
| Disciplina | 005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer security Computer logic Computer programming Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Systems and Data Security Software Engineering Logics and Meanings of Programs Programming Techniques |
| Soggetto genere / forma |
Kongress.
Seoul (2009) |
| ISBN | 3-642-10672-2 |
| Classificazione |
DAT 310f
DAT 350f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The Twilight Zone: From Testing to Formal Specifications and Back Again -- Types and Recursion Schemes for Higher-Order Program Verification -- The Sketching Approach to Program Synthesis -- Program Analysis -- Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation -- Abstract Transformers for Thread Correlation Analysis -- Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters -- Transformation and Optimization -- A Short Cut to Optimal Sequences -- A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming -- Witnessing Purity, Constancy and Mutability -- Type System -- On the Decidability of Subtyping with Bounded Existential Types -- Fractional Ownerships for Safe Memory Deallocation -- Ownership Downgrading for Ownership Types -- Separation Logic -- A Fresh Look at Separation Algebras and Share Accounting -- Weak updates and separation logic -- Proving Copyless Message Passing -- Logic and Foundation Theory -- On Stratified Regions -- Parallel Reduction in Resource Lambda-Calculus -- Classical Natural Deduction for S4 Modal Logic -- Software Security and Verification -- Bi-abductive Resource Invariant Synthesis -- Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine -- Asymptotic Resource Usage Bounds -- The Higher-Order, Call-by-Value Applied Pi-Calculus -- Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable -- Refining Abstract Interpretation-Based Static Analyses with Hints. |
| Record Nr. | UNISA-996465897903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming Languages and Systems : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings / / edited by Zhenjiang Hu
| Programming Languages and Systems : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings / / edited by Zhenjiang Hu |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 359 p.) |
| Disciplina | 005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer security Computer logic Computer programming Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Systems and Data Security Software Engineering Logics and Meanings of Programs Programming Techniques |
| Soggetto genere / forma |
Kongress.
Seoul (2009) |
| ISBN | 3-642-10672-2 |
| Classificazione |
DAT 310f
DAT 350f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The Twilight Zone: From Testing to Formal Specifications and Back Again -- Types and Recursion Schemes for Higher-Order Program Verification -- The Sketching Approach to Program Synthesis -- Program Analysis -- Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation -- Abstract Transformers for Thread Correlation Analysis -- Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters -- Transformation and Optimization -- A Short Cut to Optimal Sequences -- A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming -- Witnessing Purity, Constancy and Mutability -- Type System -- On the Decidability of Subtyping with Bounded Existential Types -- Fractional Ownerships for Safe Memory Deallocation -- Ownership Downgrading for Ownership Types -- Separation Logic -- A Fresh Look at Separation Algebras and Share Accounting -- Weak updates and separation logic -- Proving Copyless Message Passing -- Logic and Foundation Theory -- On Stratified Regions -- Parallel Reduction in Resource Lambda-Calculus -- Classical Natural Deduction for S4 Modal Logic -- Software Security and Verification -- Bi-abductive Resource Invariant Synthesis -- Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine -- Asymptotic Resource Usage Bounds -- The Higher-Order, Call-by-Value Applied Pi-Calculus -- Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable -- Refining Abstract Interpretation-Based Static Analyses with Hints. |
| Record Nr. | UNINA-9910483343303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| 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
| 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 | ||
| ||