LEADER 03545nam  2200613 a 450 
001 9910483793903321
005 20200520144314.0
010   $a3-642-16277-0
024 7 $a10.1007/978-3-642-16277-0
035   $a(CKB)2550000000019876
035   $a(SSID)ssj0000446635
035   $a(PQKBManifestationID)11249947
035   $a(PQKBTitleCode)TC0000446635
035   $a(PQKBWorkID)10496871
035   $a(PQKB)10702252
035   $a(DE-He213)978-3-642-16277-0
035   $a(MiAaPQ)EBC3065979
035   $a(PPN)149033303
035   $a(EXLCZ)992550000000019876
100   $a20100825d2010      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aModel-based engineering of embedded real-time systems $eInternational Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers /$fHolger Giese ... [et al.] (eds.)
205   $a1st ed. 2010.
210   $aBerlin ;$aNew York $cSpringer$d2010
215   $a1 online resource (XV, 385 p. 94 illus.) 
225 1 $aLecture notes in computer science,$x0302-9743 ;$v6100
225 1 $aLNCS sublibrary. SL 2, Programming and software engineering
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-16276-2 
320   $aIncludes bibliographical references and index.
330   $aThetopicof?Model-BasedEngineeringofReal-TimeEmbeddedSystems?brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). It is also at the forefrontof integrated software and systems engineering, as software in this problem domain is an essential tool for system implementation and integration. Today, real-time - bedded software plays a crucial role in most advanced technical systems such as airplanes, mobile phones, and cars, and has become the main driver and - cilitator for innovation. Development, evolution, veri?cation, con?guration, and maintenance of embedded and distributed software nowadays are often serious challenges as drastic increases in complexity can be observed in practice. Model-based engineering in general, and model-based software development in particular, advocates the notion of using models throughout the development and life-cycle of an engineered system. Model-based software engineering re- forces this notion by promoting models not only as the tool of abstraction, but also as the tool for veri?cation, implementation, testing, and maintenance. The application of such model-based engineering techniques to embedded real-time systems appears to be a good candidate to tackle some of the problems arising in the problem domain.
410  0$aLecture notes in computer science ;$v6100.
410  0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering.
606   $aModel-driven software architecture$vCongresses
606   $aReal-time data processing$vCongresses
606   $aEmbedded computer systems$vCongresses
615  0$aModel-driven software architecture
615  0$aReal-time data processing
615  0$aEmbedded computer systems
676   $a004.21
686   $a004$a620$2sdnb
701   $aGiese$b Holger$0909559
712 12$aInternational Dagstuhl Workshop$f(2007 :$eDagstuhl, Wadern, Germany)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483793903321
996   $aModel-based engineering of embedded real-time systems$94184675
997   $aUNINA