top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
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
Opac: Controlla la disponibilità qui
Proceedings of the 2009 Esec/Fse Workshop on Software Integration and Evolution @ Runtime
Proceedings of the 2009 Esec/Fse Workshop on Software Integration and Evolution @ Runtime
Autore Gross Hans-Gerhard
Pubbl/distr/stampa [Place of publication not identified], : Association for Computing Machinery, 2009
Descrizione fisica 1 online resource (64 p.;)
Collana ACM Conferences
Soggetto topico Information Technology - Computer Science (Hardware & Networks)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti SINTER '09
Record Nr. UNINA-9910375808703321
Gross Hans-Gerhard  
[Place of publication not identified], : Association for Computing Machinery, 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui