未读消息消息

店铺

我的订单收藏

拍卖

拍卖交易我的竞拍收藏

我的好友资金账户

客服 |

帮助中心 9:00-20:30 在线留言

客服电话

010-89648155

服务时间

客服咨询 8:00-21:00

纠纷处理 9:00-21:00

图书审核 9:00-18:00

监督与建议

请选择

手机孔网

Component-Based Software Development for Embedded Systems嵌入系统用的基于组件的软件开发：最新研究趋向纵览

Component-Based Software Development for Embedded Systems嵌入系统用的基于组件的软件开发：最新研究趋向纵览

分享

作者: Colin Atkinson 著

出版社: 崇文书局（原湖北辞书出版社）

出版时间: 2005-12

版次: 1

ISBN: 9783540306443

定价: 565.00

装帧: 平装

纸张: 胶版纸

页数: 344页

分类: 外文古旧书>英文书>工程技术

This book provides a good opportunity for software engineering practitioners and researchers to get in sync with the current state-of-the-art and future trends in component-based embedded software research. The book is based on a selective compilation of papers that cover the complete component-based embedded software spectrum, ranging from methodology to tools. Methodology aspects covered by the book include functional and non-functional specification, validation, verification, and component architecture. As tools are a critical success factor in the transfer from academia-generated knowledge to industry-ready technology, an important part of the book is devoted to tools. This state-of-the-art survey contains 16 carefully selected papers organised in topical sections on specification and verification, component compatibility, component architectures, implementation and tool support, as well as non-functional properties. 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

Author Index
内容简介:
This book provides a good opportunity for software engineering practitioners and researchers to get in sync with the current state-of-the-art and future trends in component-based embedded software research. The book is based on a selective compilation of papers that cover the complete component-based embedded software spectrum, ranging from methodology to tools. Methodology aspects covered by the book include functional and non-functional specification, validation, verification, and component architecture. As tools are a critical success factor in the transfer from academia-generated knowledge to industry-ready technology, an important part of the book is devoted to tools. This state-of-the-art survey contains 16 carefully selected papers organised in topical sections on specification and verification, component compatibility, component architectures, implementation and tool support, as well as non-functional properties.
目录:
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

Author Index

查看详情

相关分类

Literature&Fiction文学与虚构 ScienceFiction&Fantasy科幻与玄幻 Romance浪漫小说 Mystery&Thrillers神秘与惊悚 Teens青少年读物 Biographies&Memoirs传记与自传 Comics&GraphicNovels动漫与绘画小说 ELT英语学习 Reference参考书 StandardTest标准考试 Business&Investing商业与投资 Self-Help励志自助

目前没有书店销售此书