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 Foundations of Reuse and Domain Engineering [[electronic resource] ] : 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings / / edited by Stephen H. Edwards, Gregory Kulczycki
| Formal Foundations of Reuse and Domain Engineering [[electronic resource] ] : 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings / / edited by Stephen H. Edwards, Gregory Kulczycki |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 299 p.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computers Programming languages (Electronic computers) Computer programming Software Engineering/Programming and Operating Systems Theory of Computation Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Models and Principles |
| Soggetto genere / forma |
Falls Church (Va., 2009)
Kongress. |
| ISBN | 3-642-04211-2 |
| Classificazione |
DAT 310f
DAT 345f SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component Reuse and Verification -- Consistency Checking for Component Reuse in Open Systems -- Generating Verified Java Components through RESOLVE -- Increasing Reuse in Component Models through Genericity -- Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? -- Feature Modeling -- Extending FeatuRSEB with Concepts from Systems Engineering -- Features Need Stories -- An Optimization Strategy to Feature Models’ Verification by Eliminating Verification-Irrelevant Features and Constraints -- Reusable Model-Based Testing -- Generators and Model-Driven Development -- A Case Study of Using Domain Engineering for the Conflation Algorithms Domain -- Model Transformation Using Graph Transactions -- Refactoring Feature Modules -- Variability in Automation System Models -- Industry Experience -- A Case Study of Variation Mechanism in an Industrial Product Line -- Experience Report on Using a Domain Model-Based Extractive Approach to Software Product Line Asset Development -- Reuse with Software Components - A Survey of Industrial State of Practice -- Product Lines -- Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System -- Feature-Driven and Incremental Variability Generalization in Software Product Line -- Identifying Issues and Concerns in Software Reuse in Software Product Lines -- Reuse of Architectural Knowledge in SPL Development -- Reuse and Patterns -- Introducing Motivations in Design Pattern Representation -- The Managed Adapter Pattern: Facilitating Glue Code Generation for Component Reuse -- Reusing Patterns through Design Refinement -- Service-Oriented Environments -- Building Service-Oriented User Agents Using a Software Product Line Approach -- DAREonline: A Web-Based Domain Engineering Tool -- Extending a Software Component Repository to Provide Services -- A Negotiation Framework for Service-Oriented Product Line Development -- Ranking and Selecting Services -- A Reusable Model for Data-Centric Web Services. |
| Record Nr. | UNISA-996465846103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Foundations of Reuse and Domain Engineering : 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings / / edited by Stephen H. Edwards, Gregory Kulczycki
| Formal Foundations of Reuse and Domain Engineering : 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings / / edited by Stephen H. Edwards, Gregory Kulczycki |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 299 p.) |
| Disciplina | 004 |
| Altri autori (Persone) |
EdwardsStephen H
KulczyckiGregory |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Computer programming Software Engineering Theory of Computation Compilers and Interpreters Programming Techniques Models of Computation |
| ISBN | 3-642-04211-2 |
| Classificazione |
DAT 310f
DAT 345f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component Reuse and Verification -- Consistency Checking for Component Reuse in Open Systems -- Generating Verified Java Components through RESOLVE -- Increasing Reuse in Component Models through Genericity -- Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? -- Feature Modeling -- Extending FeatuRSEB with Concepts from Systems Engineering -- Features Need Stories -- An Optimization Strategy to Feature Models’ Verification by Eliminating Verification-Irrelevant Features and Constraints -- Reusable Model-Based Testing -- Generators and Model-Driven Development -- A Case Study of Using Domain Engineering for the Conflation Algorithms Domain -- Model Transformation Using Graph Transactions -- Refactoring Feature Modules -- Variability in Automation System Models -- Industry Experience -- A Case Study of Variation Mechanism in an Industrial Product Line -- Experience Report on Using a Domain Model-Based Extractive Approach to Software Product Line Asset Development -- Reuse with Software Components - A Survey of Industrial State of Practice -- Product Lines -- Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System -- Feature-Driven and Incremental Variability Generalization in Software Product Line -- Identifying Issues and Concerns in Software Reuse in Software Product Lines -- Reuse of Architectural Knowledge in SPL Development -- Reuse and Patterns -- Introducing Motivations in Design Pattern Representation -- The Managed Adapter Pattern: Facilitating Glue Code Generation for Component Reuse -- Reusing Patterns through Design Refinement -- Service-Oriented Environments -- Building Service-Oriented User Agents Using a Software Product Line Approach -- DAREonline: A Web-Based Domain Engineering Tool -- Extending a SoftwareComponent Repository to Provide Services -- A Negotiation Framework for Service-Oriented Product Line Development -- Ranking and Selecting Services -- A Reusable Model for Data-Centric Web Services. |
| Record Nr. | UNINA-9910484434703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New Frontiers in Artificial Intelligence [[electronic resource] ] : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers / / edited by Yoichi Motomura, Alastair Butler, Daisuke Bekki
| New Frontiers in Artificial Intelligence [[electronic resource] ] : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers / / edited by Yoichi Motomura, Alastair Butler, Daisuke Bekki |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 257 p. 64 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval Application software Data mining Mathematical logic Artificial Intelligence Information Storage and Retrieval Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Computer Appl. in Administrative Data Processing |
| Soggetto genere / forma |
Kongress2012.Miyazaki
Conference proceedings. |
| ISBN | 3-642-39931-2 |
| Classificazione |
DAT 345f
DAT 540f DAT 700f JUR 035f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Hungarian Pre-verbal Focus and Exhaustivity -- Logical Polysemy and Subtyping -- Treebank Annotation for Formal Semantics Search -- The Semantic Relation between Nominal and Quantity Expressions in Japanese -- Accessibility for Plurals in Continuation Semantics -- Modelling Comparative Concepts in Conceptual Spaces -- Winning Strategies in Politeness -- Public Announcements under Sheaves -- Yablo’s Paradox, a Coinductive Language and Its Semantics -- The Relationship between Stress and Conflict Handling Style in an ODR Environment -- Modelling Legitimate Expectations -- A Study of Ex Ante Law Enforcement in Norm-Governed Learning Agents -- Detecting Conflicts in Legal Systems -- Summarization of Legal Texts with High Cohesion and Automatic Compression Rate -- Discussion Analysis Using Temporal Data Crystallization -- Transforming Space into Place: Some Interactions in an Urban Plaza -- Hands and Knowledge: Gesture as an Epistemic Engine in Reminiscence Therapy -- Management of Intersubjectivity and Progressivity through Simultaneous Gestural Matching. |
| Record Nr. | UNISA-996466045403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers / / edited by Yoichi Motomura, Alastair Butler, Daisuke Bekki
| New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers / / edited by Yoichi Motomura, Alastair Butler, Daisuke Bekki |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 257 p. 64 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval systems Application software Data mining Machine theory Information technology - Management Artificial Intelligence Information Storage and Retrieval Computer and Information Systems Applications Data Mining and Knowledge Discovery Formal Languages and Automata Theory Computer Application in Administrative Data Processing |
| ISBN | 3-642-39931-2 |
| Classificazione |
DAT 345f
DAT 540f DAT 700f JUR 035f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Hungarian Pre-verbal Focus and Exhaustivity -- Logical Polysemy and Subtyping -- Treebank Annotation for Formal Semantics Search -- The Semantic Relation between Nominal and Quantity Expressions in Japanese -- Accessibility for Plurals in Continuation Semantics -- Modelling Comparative Concepts in Conceptual Spaces -- Winning Strategies in Politeness -- Public Announcements under Sheaves -- Yablo’s Paradox, a Coinductive Language and Its Semantics -- The Relationship between Stress and Conflict Handling Style in an ODR Environment -- Modelling Legitimate Expectations -- A Study of Ex Ante Law Enforcement in Norm-Governed Learning Agents -- Detecting Conflicts in Legal Systems -- Summarization of Legal Texts with High Cohesion and Automatic Compression Rate -- Discussion Analysis Using Temporal Data Crystallization -- Transforming Space into Place: Some Interactions in an Urban Plaza -- Hands and Knowledge: Gesture as an Epistemic Engine in Reminiscence Therapy -- Management of Intersubjectivity and Progressivity through Simultaneous Gestural Matching. |
| Record Nr. | UNINA-9910484599603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||