Titlebook: SDL 2009: Design for Motes and Mobiles; 14th International S Rick Reed,Attila Bilgic,Reinhard Gotzhein Conference proceedings 2009 Springer

complicated

书目名称SDL 2009: Design for Motes and Mobiles影响因子(影响力)




书目名称SDL 2009: Design for Motes and Mobiles影响因子(影响力)学科排名




书目名称SDL 2009: Design for Motes and Mobiles网络公开度




书目名称SDL 2009: Design for Motes and Mobiles网络公开度学科排名




书目名称SDL 2009: Design for Motes and Mobiles被引频次




书目名称SDL 2009: Design for Motes and Mobiles被引频次学科排名




书目名称SDL 2009: Design for Motes and Mobiles年度引用




书目名称SDL 2009: Design for Motes and Mobiles年度引用学科排名




书目名称SDL 2009: Design for Motes and Mobiles读者反馈




书目名称SDL 2009: Design for Motes and Mobiles读者反馈学科排名

Bmd955

SDL 2009: Design for Motes and Mobiles978-3-642-04554-7Series ISSN 0302-9743 Series E-ISSN 1611-3349

物质

deactivate

https://doi.org/10.1007/978-3-642-04554-7aspect-oriented modeling; aspect-oriented requirements; description languages; design; embedded systems;

nuclear-tests

0302-9743 en held every two years for the last three decades and is one of the most important open events in the calendar for anyone from academia or industry involved in System DesignLanguagesandmodelling technologies. It is a primary conference event for discussion of the evolution and use of these language

阻挠

花争吵

Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks – An ExampleSPOTs by providing dedicated blocks to access platform-specific functionality. These building blocks can be used in combination with other blocks realizing protocols such as leader election to build more comprehensive applications. We present an example specification and discuss its automatic verification, transformation and implementation.

infarct

步兵

Model-Driven Development of Time-Critical Protocols with SDL-MDDtime-critical behavior – network-wide deterministic arbitration – using the available constructs of a high-level design language. On the other hand, we show the embedding of this high-level design into our SDL execution environment that is extended to support time-critical requirements of the introduced transfer protocols.

喃喃而言

A UML Profile for Goal-Oriented Modelingo the guidelines for UML profile design defined in ITU-T Recommendation Z.119. The resulting profile has been implemented in a UML 2 tool, namely IBM Rational Tau 4.0, and validated with case studies. Our experience and lessons learned are also discussed.