product iamge

SDL 2009: Design for Motes and Mobiles: 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

This book constitutes the refereed proceedings of the 14th International SDL Forum, SDL 2009, held in Bochum, Germany, in September 2009.

The 15 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on model-driven development, analysis and assessment, evolution of development languages, language implementation and support, and application studies.

Author(s): Frank Alexander Kraemer, Vidar Slåtten, Peter Herrmann (auth.), Rick Reed, Attila Bilgic, Reinhard Gotzhein (eds.)
Series: Lecture Notes in Computer Science 5719 : Computer Communication Networks and Telecommunications
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2009

Language: English
Pages: 257
Tags: Computer Systems Organization and Communication Networks; Software Engineering; Logics and Meanings of Programs; Management of Computing and Information Systems

Front Matter....Pages -
Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks – An Example....Pages 1-18
Energy-Aware System Design with SDL....Pages 19-33
Model-Driven Development of Time-Critical Protocols with SDL-MDD....Pages 34-52
Towards Model Based Development of Managed Networked Embedded Systems....Pages 53-62
Towards an Integrated Quality Assessment and Improvement Approach for UML Models....Pages 63-81
Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications....Pages 82-97
Early Schedulability Analysis with Timed Use Case Maps....Pages 98-114
Extending the User Requirements Notation with Aspect-Oriented Concepts....Pages 115-132
A UML Profile for Goal-Oriented Modeling....Pages 133-148
Modelling a Debugger for an Imperative Voice Control Language....Pages 149-164
The ARC Programming Model....Pages 165-181
Automatic Generation of Compatible Interfaces from Partitioned UML Activities....Pages 182-199
The Challenges of Using SDL for the Development of Wireless Sensor Networks....Pages 200-221
Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique....Pages 222-238
SDL/Virtual Prototype Co-design for Rapid Architectural Exploration of a Mobile Phone Platform....Pages 239-255
Back Matter....Pages -