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.
Component-Based Software Development for Embedded Systems [[electronic resource] ] : An Overview of Current Research Trends / / edited by Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper
| Component-Based Software Development for Embedded Systems [[electronic resource] ] : An Overview of Current Research Trends / / edited by Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (VIII, 348 p.) |
| Disciplina | 004.16 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Operating systems (Computers) Software Engineering/Programming and Operating Systems Software Engineering Operating Systems |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component-Based Software Development for Embedded Systems – An Introduction -- Component-Based Software Development for Embedded Systems – An Introduction -- Specification and Verification -- Specification and Verification of Applications Based on Function Blocks -- A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets -- Modular Verification of Reconfigurable Components -- Component Compatibility -- Behavioral Types for Embedded Software – A Survey -- Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing -- Component Architectures, Implementation and Tool Support -- Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UML -- Model Driven Software Development in the Context of Embedded Component Infrastructures -- A Component Framework for Consumer Electronics Middleware -- Connecting Embedded Devices Using a Component Platform for Adaptable Protocol Stacks -- CoConES: An Approach for Components and Contracts in Embedded Systems -- Adopting a Component-Based Software Architecture for an Industrial Control System – A Case Study -- Non-functional Properties -- Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process -- Performance Evaluation Approaches for Software Architects -- Component-Based Engineering of Distributed Embedded Control Software -- Component-Based Development of Dependable Systems with UML. |
| Record Nr. | UNISA-996465724903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Component-based software development for embedded systems : an overview of current research trends / / Colin Atkinson ... [et al.] (eds.)
| Component-based software development for embedded systems : an overview of current research trends / / Colin Atkinson ... [et al.] (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (VIII, 348 p.) |
| Disciplina | 004.16 |
| Altri autori (Persone) | AtkinsonColin |
| Collana | Lecture notes in computer science,State-of-the-art survey |
| Soggetto topico |
Component software
Embedded computer systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component-Based Software Development for Embedded Systems – An Introduction -- Component-Based Software Development for Embedded Systems – An Introduction -- Specification and Verification -- Specification and Verification of Applications Based on Function Blocks -- A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets -- Modular Verification of Reconfigurable Components -- Component Compatibility -- Behavioral Types for Embedded Software – A Survey -- Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing -- Component Architectures, Implementation and Tool Support -- Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UML -- Model Driven Software Development in the Context of Embedded Component Infrastructures -- A Component Framework for Consumer Electronics Middleware -- Connecting Embedded Devices Using a Component Platform for Adaptable Protocol Stacks -- CoConES: An Approach for Components and Contracts in Embedded Systems -- Adopting a Component-Based Software Architecture for an Industrial Control System – A Case Study -- Non-functional Properties -- Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process -- Performance Evaluation Approaches for Software Architects -- Component-Based Engineering of Distributed Embedded Control Software -- Component-Based Development of Dependable Systems with UML. |
| Record Nr. | UNINA-9910484766103321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model Driven Engineering Languages and Systems : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings / / edited by Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson
| Model Driven Engineering Languages and Systems : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings / / edited by Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XX, 828 p. 298 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer logic Management information systems Computer science Computer simulation Computer system failures Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Management of Computing and Information Systems Simulation and Modeling System Performance and Evaluation |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-33666-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language for Rapid Workflow -- Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time -- Dynamic Evolution of Context-Aware Systems with Models at Runtime -- An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements -- Automated and Transparent Model Fragmentation for Persisting Large Models -- Formally Defining and Iterating Infinite Models -- Query-Driven Soft Interconnection of EMF Models -- Modeling the Linguistic Architecture of Software Products -- Cross-Language Support Mechanisms Significantly Aid Software Development -- Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension -- Incremental Consistency Checking for Complex Design Rules and Larger Model Changes -- Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines -- Towards Business Application Product Lines -- Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines -- The Coroutine Model of Computation -- Assume-Guarantee Scenarios: Semantics and Synthesis -- An Exploratory Study of Forces and Frictions Affecting Large-Scale Model-Driven Development -- A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software -- Managing Related Models in Vehicle Control Software Development -- Detecting Specification Errors in Declarative Languages with Constraints -- From UML and OCL to Relational Logic and Back -- On Verifying ATL Transformations Using ‘off-the-shelf’ SMT Solvers -- ATLTest: A White-Box Test Generation Approach for ATL Transformations -- Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis -- Seeing Errors: Model Driven Simulation Trace Visualization -- A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data -- Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System -- Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines -- Generation of Operational Transformation Rules from Examples of Model Transformations -- Using Feature Model to Build Model Transformation Chains -- A Generic Approach Simplifying Model-to-Model Transformation Chains -- An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling -- Model Matching for Trace Link Generation in Model-Driven Software Development -- Matching Business Process Workflows across Abstraction Levels -- Experiences of Applying UML/MARTE on Three Industrial Projects -- Evaluating the Effort of Composing Design Models: A Controlled -- Transition to Model-Driven Engineering: What Is Revolutionary, What Remains the Same? -- Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions -- A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study -- Sensitivity Analysis in Model-Driven Engineering -- Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing -- Weaving-Based Configuration and Modular Transformation of Multi-layer Systems -- Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering -- An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design. |
| Altri titoli varianti | MODELS'12 |
| Record Nr. | UNISA-996466189703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
MORSE/VAO '15 : proceedings of the Joint MORSE/VAO Workshop on Model-Driven Robot Software Engineering and View-based Software-Engineering : 21 July 2015, L'Aquila, Italy
| MORSE/VAO '15 : proceedings of the Joint MORSE/VAO Workshop on Model-Driven Robot Software Engineering and View-based Software-Engineering : 21 July 2015, L'Aquila, Italy |
| Autore | Aßmann Uwe |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2015 |
| Descrizione fisica | 1 online resource (58 pages) |
| Collana | ACM International Conference Proceeding Series |
| Soggetto topico |
Computer Science
Engineering & Applied Sciences |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Model-Driven Robot Software Engineering/View-Based, Aspect-Oriented and Orthographic Software Modelling '15 : proceedings of the Joint Model-Driven Robot Software Engineering/View-Based, Aspect-Oriented and Orthographic Software Modelling Workshop on Model-Driven Robot Software Engineering and View-based Software-Engineering : 21 July 2015, L'Aquila, Italy
Proceedings of the 2015 Joint MORSE/VAO Workshop on Model-Driven Robot Software Engineering and View-based Software-Engineering MORSE/VAO '15 Joint 2015 MORSE/VAO Workshop on Model-Driven Robot Software Engineering and View-based Software-Engineering, L'Aquila, Italy - July 21, 2015 |
| Record Nr. | UNINA-9910376606803321 |
Aßmann Uwe
|
||
| [Place of publication not identified], : ACM, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling
| Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling |
| Autore | Atkinson Colin |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2013 |
| Descrizione fisica | 1 online resource (49 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2070-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | VAO '13 |
| Record Nr. | UNINA-9910375890403321 |
|
Atkinson Colin
|
||
| [Place of publication not identified], : ACM, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
VAO '14 : proceedings of the 2nd Workshop on View-based, Aspect-oriented and Orthographic Software Modelling : 22 July 2014, York, United Kingdom
| VAO '14 : proceedings of the 2nd Workshop on View-based, Aspect-oriented and Orthographic Software Modelling : 22 July 2014, York, United Kingdom |
| Autore | Atkinson Colin |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
| Descrizione fisica | 1 online resource (55 pages) |
| Collana | ACM International Conference Proceedings Series |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2900-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling
VAO '14 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, York, United Kingdom - July 22, 2014 |
| Record Nr. | UNINA-9910376386903321 |
|
Atkinson Colin
|
||
| [Place of publication not identified], : ACM, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||