LEADER 03722nam  2200637Ia 450 
001 9910484027203321
005 20200520144314.0
010   $a3-642-04554-5
024 7 $a10.1007/978-3-642-04554-7
035   $a(CKB)1000000000784756
035   $a(SSID)ssj0000319934
035   $a(PQKBManifestationID)11243386
035   $a(PQKBTitleCode)TC0000319934
035   $a(PQKBWorkID)10339213
035   $a(PQKB)10249220
035   $a(DE-He213)978-3-642-04554-7
035   $a(MiAaPQ)EBC3064663
035   $a(PPN)13995578X
035   $a(EXLCZ)991000000000784756
100   $a20090914d2009      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aSDL 2009: design for motes and mobiles $e14th International SDL Forum Bochum, Germany, September 22-24, 2009, proceedings /$fedited by Rick Reed, Attila Bilgic, Reinhard Gotzhein
205   $a1st ed. 2009.
210   $aBerlin ;$aHeidelberg $cSpringer-Verlag$d2009
215   $a1 online resource (XII, 257 p.) 
225 1 $aLecture notes in computer science,$x0302-9743 ;$v5719
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-04553-7 
320   $aIncludes bibliographical references and index.
327   $aModel-Driven Development -- Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks ? An Example -- Energy-Aware System Design with SDL -- Model-Driven Development of Time-Critical Protocols with SDL-MDD -- Towards Model Based Development of Managed Networked Embedded Systems -- Analysis and Assessment -- Towards an Integrated Quality Assessment and Improvement Approach for UML Models -- Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications -- Early Schedulability Analysis with Timed Use Case Maps -- Evolution of Development Languages -- Extending the User Requirements Notation with Aspect-Oriented Concepts -- A UML Profile for Goal-Oriented Modeling -- Language Implementation and Support -- Modelling a Debugger for an Imperative Voice Control Language -- The ARC Programming Model -- Automatic Generation of Compatible Interfaces from Partitioned UML Activities -- Application Studies -- The Challenges of Using SDL for the Development of Wireless Sensor Networks -- Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique -- SDL/Virtual Prototype Co-design for Rapid Architectural Exploration of a Mobile Phone Platform.
330   $aThis 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.
410  0$aLecture notes in computer science ;$v5719.
606   $aWireless communication systems$vCongresses
606   $aSDL (Computer program language)$vCongresses
615  0$aWireless communication systems
615  0$aSDL (Computer program language)
676   $a004.2122gerDNB
686   $aDAT 060f$2stub
686   $aDAT 250f$2stub
686   $aDAT 310f$2stub
686   $aSS 4800$2rvk
700   $aReed$b Rick$01751598
701   $aBilgic$b Attila$01752841
701   $aGotzhein$b Reinhard$0963296
712 12$aSDL Forum
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484027203321
996   $aSDL 2009: design for motes and mobiles$94188327
997   $aUNINA