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.
Automotive Systems and Software Engineering : State of the Art and Future Trends / / edited by Yanja Dajsuren, Mark van den Brand
| Automotive Systems and Software Engineering : State of the Art and Future Trends / / edited by Yanja Dajsuren, Mark van den Brand |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (364 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computers, Special purpose Automotive engineering Automatic control Robotics Mechatronics Computer engineering Internet of things Embedded computer systems Application software Software Engineering Special Purpose and Application-Based Systems Automotive Engineering Control, Robotics, Mechatronics Cyber-physical systems, IoT Computer Applications |
| ISBN | 3-030-12157-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Introduction -- Automotive Software Engineering: Past, Present, and Future -- Part II: Automotive Software Development -- Requirements Engineering for Automotive Embedded Systems -- Status Report on Automotive Software Development -- State-of-the-Art Tools and Methods Used in the Automotive Industry -- Part III: Automotive Software Reuse -- Software Reuse: From Cloned Variants to Managed Software Product Lines -- Variability Identification and Representation for Automotive Simulink Models -- Defining Architecture Framework for Automotive Systems -- Part IV: E/E Architecture and Safety -- The RACE Project: An Informatics-Driven Greenfield Approach to Future E/E Architectures for Cars -- Development of ISO 11783 Compliant Agricultural Systems: Experience Report -- Safety-Driven Development and ISO 26262 -- Part V: C-ITS and Security -- Introduction to Cooperative Intelligent Transportation Systems -- In-Vehicle Networks and Security -- Security for V2X -- Intelligent Transportation System Infrastructure and Software Challenges -- Part VI: Future Trends -- Future Trends in Electric Vehicles Enabled by Internet Connectivity, Solar, and Battery Technology -- Autonomous Vehicles: State of the Art, Future Trends, and Challenges. |
| Record Nr. | UNINA-9910349291803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SOFSEM 2017: Theory and Practice of Computer Science [[electronic resource] ] : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings / / edited by Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
| SOFSEM 2017: Theory and Practice of Computer Science [[electronic resource] ] : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings / / edited by Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVIII, 526 p. 109 illus.) |
| Disciplina | 004.015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Information storage and retrieval systems Application software Software engineering Computer networks Artificial intelligence Information Storage and Retrieval Computer and Information Systems Applications Software Engineering Computer Communication Networks Artificial Intelligence |
| ISBN | 3-319-51963-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Dependable and Optimal Cyber-Physical Systems -- Verifying Parametric Thread Creation -- Network Constructors: A Model for Programmable Matter -- Logical characterisations and compositionality of input-output conformance simulation -- A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories -- Symbolic semantics for multiparty interactions in the link-calculus -- Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs -- Deciding structural liveness of Petri nets -- Distributed Network Generation based on Preferential Attachment in ABS -- Completeness of Hoare Logic Relative to the Standard Model -- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict -- Hardness of deriving invertible sequences from finite state machines -- A Graph-theoretical Characterisation of State Separation -- Selfish Transportation Games -- Decomposable Relaxation for Concurrent Data Structures -- Sufficient Conditions for a Connected Graph to have a Hamiltonian Path -- Enumerating Minimal Tropical Connected Sets -- Bamboo Garden Trimming Problem (Perpetual maintenance of machines with different attendance urgency factors) -- Exact quantum query complexity of EXACT_{k,l}^n -- Adjacent vertices can be hard to find by quantum walks -- Matrix semigroup freeness problems in SL(2,Z) -- Order-preserving 1-string representations of planar graphs -- How to Draw a Planarization -- Finding Largest Common Substructures of Molecules in Quadratic Time -- Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints -- Parameterized and Exact Algorithms for Class Domination Coloring -- The Approximability of Partial Vertex Covers in Trees -- Longest Common Subsequence in at Least k Length Order-isomorphic Substrings -- Computing longest single-arm-gapped palindromes in a string -- Edit-Distance between Visibly Pushdown Languages -- Trends and Challenges in Predictive Analytics -- Model-driven Development in Practice: From Requirements to Code -- Webpage Menu Detection Based on DOM -- A Hybrid Model for Linking Multiple Social Identities across Heterogeneous Online Social Networks -- Eco Data Warehouse Design Through Logical Variability -- On Featured Transition Systems -- Domain-Specific Languages: A Systematic Mapping Study -- Characterising Malicious Software with High-Level Behavioural Patterns -- AErlang at work -- Software Systems Migration towards Cloud-native Architectures for SME-sized Software Vendors -- Using n-grams for the Automated Clustering of Structural Models. |
| Record Nr. | UNISA-996465736303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings / / edited by Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
| SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings / / edited by Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVIII, 526 p. 109 illus.) |
| Disciplina | 004.015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Information storage and retrieval systems Application software Software engineering Computer networks Artificial intelligence Information Storage and Retrieval Computer and Information Systems Applications Software Engineering Computer Communication Networks Artificial Intelligence |
| ISBN | 3-319-51963-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Dependable and Optimal Cyber-Physical Systems -- Verifying Parametric Thread Creation -- Network Constructors: A Model for Programmable Matter -- Logical characterisations and compositionality of input-output conformance simulation -- A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories -- Symbolic semantics for multiparty interactions in the link-calculus -- Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs -- Deciding structural liveness of Petri nets -- Distributed Network Generation based on Preferential Attachment in ABS -- Completeness of Hoare Logic Relative to the Standard Model -- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict -- Hardness of deriving invertible sequences from finite state machines -- A Graph-theoretical Characterisation of State Separation -- Selfish Transportation Games -- Decomposable Relaxation for Concurrent Data Structures -- Sufficient Conditions for a Connected Graph to have a Hamiltonian Path -- Enumerating Minimal Tropical Connected Sets -- Bamboo Garden Trimming Problem (Perpetual maintenance of machines with different attendance urgency factors) -- Exact quantum query complexity of EXACT_{k,l}^n -- Adjacent vertices can be hard to find by quantum walks -- Matrix semigroup freeness problems in SL(2,Z) -- Order-preserving 1-string representations of planar graphs -- How to Draw a Planarization -- Finding Largest Common Substructures of Molecules in Quadratic Time -- Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints -- Parameterized and Exact Algorithms for Class Domination Coloring -- The Approximability of Partial Vertex Covers in Trees -- Longest Common Subsequence in at Least k Length Order-isomorphic Substrings -- Computing longest single-arm-gapped palindromes in a string -- Edit-Distance between Visibly Pushdown Languages -- Trends and Challenges in Predictive Analytics -- Model-driven Development in Practice: From Requirements to Code -- Webpage Menu Detection Based on DOM -- A Hybrid Model for Linking Multiple Social Identities across Heterogeneous Online Social Networks -- Eco Data Warehouse Design Through Logical Variability -- On Featured Transition Systems -- Domain-Specific Languages: A Systematic Mapping Study -- Characterising Malicious Software with High-Level Behavioural Patterns -- AErlang at work -- Software Systems Migration towards Cloud-native Architectures for SME-sized Software Vendors -- Using n-grams for the Automated Clustering of Structural Models. |
| Record Nr. | UNINA-9910484047003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Language Engineering [[electronic resource] ] : Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers / / edited by Brian Malloy, Steffen Staab, Mark van den Brand
| Software Language Engineering [[electronic resource] ] : Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers / / edited by Brian Malloy, Steffen Staab, Mark van den Brand |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XI, 417 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic User interfaces (Computer systems) Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs User Interfaces and Human Computer Interaction |
| ISBN | 3-642-19440-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465687403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Language Engineering [[electronic resource] ] : Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers / / edited by Mark van den Brand, Dragan Gasevic, Jeff Gray
| Software Language Engineering [[electronic resource] ] : Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers / / edited by Mark van den Brand, Dragan Gasevic, Jeff Gray |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (390 p. 126 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer simulation Management information systems Computer science Computer logic Software Engineering Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Simulation and Modeling Management of Computing and Information Systems Logics and Meanings of Programs |
| Soggetto genere / forma |
Denver (Colo., 2009)
Kongress. |
| ISBN |
1-280-38595-2
9786613563873 3-642-12107-1 |
| Classificazione |
DAT 310f
DAT 350f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- Eating Our Own Dog Food: DSLs for Generative and Transformational Engineering -- If MDE Is the Solution, Then What Is the Problem? -- Regular Papers -- Language Evolution in Practice: The History of GMF -- A Novel Approach to Semi-automated Evolution of DSML Model Transformation -- Study of an API Migration for Two XML APIs -- Composing Feature Models -- VML* – A Family of Languages for Variability Management in Software Product Lines -- Multi-view Composition Language for Software Product Line Requirements -- Yet Another Language Extension Scheme -- Model Transformation Languages Relying on Models as ADTs -- Towards Dynamic Evolution of Domain Specific Languages -- ScalaQL: Language-Integrated Database Queries for Scala -- Integration of Data Validation and User Interface Concerns in a DSL for Web Applications -- Ontological Metamodeling with Explicit Instantiation -- Verifiable Parse Table Composition for Deterministic Parsing -- Natural and Flexible Error Recovery for Generated Parsers -- PIL: A Platform Independent Language for Retargetable DSLs -- Graphical Template Language for Transformation Synthesis -- A Role-Based Approach towards Modular Language Engineering -- Language Boxes -- Declarative Scripting in Haskell -- An Automated Process for Implementing Multilevel Domain Models -- Domain-Specific Metamodelling Languages for Software Language Engineering -- Generating Smart Wrapper Libraries for Arbitrary APIs -- Closing the Gap between Modelling and Java. |
| Record Nr. | UNISA-996465285003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and Practice of Model Transformation [[electronic resource] ] : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings / / edited by Esther Guerra, Mark van den Brand
| Theory and Practice of Model Transformation [[electronic resource] ] : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings / / edited by Esther Guerra, Mark van den Brand |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 183 p. 73 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Operating systems (Computers) Logic design Management information systems Computer science Architecture, Computer Programming languages (Electronic computers) Software Engineering Operating Systems Logic Design Management of Computing and Information Systems Computer System Implementation Programming Languages, Compilers, Interpreters |
| ISBN | 3-319-61473-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466465503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings / / edited by Esther Guerra, Mark van den Brand
| Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings / / edited by Esther Guerra, Mark van den Brand |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 183 p. 73 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Operating systems (Computers) Logic design Management information systems Computer science Architecture, Computer Programming languages (Electronic computers) Software Engineering Operating Systems Logic Design Management of Computing and Information Systems Computer System Implementation Programming Languages, Compilers, Interpreters |
| ISBN | 3-319-61473-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483226103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||