{"title":"Holger Giese","description":null,"products":[{"product_id":"models-in-software-engineering-book-holger-giese-9783540690696","title":"Models in Software Engineering","description":"This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, in Nashville, TN, USA, in September\/October 2007 (see LNCS 4735). The 29 revised full papers were carefully selected for inclusion in the book and are presented along with a doctoral and an educators' symposium section. The papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2007), language engineering (ATEM2007), model driven development of advanced user interfaces (MDDAUI 2007), model size metrics (MSM 2007), model-based design of trustworthy health information systems (MOTHIS 2007), model-driven engineering, verification and validation (MoDeVVa 2007), modelling systems with OCL (Ocl4All 2007), Models@run.time, multi-paradigm modeling: concepts and tools (MPM 2007), quality in modeling, doctoral symposium, and educators' symposium.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52343370350865,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52343370940689,"sku":"NLS9783540690696","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540690696.jpg?v=1758173665"},{"product_id":"formal-techniques-for-distributed-systems-book-holger-giese-9783642307928","title":"Formal Techniques for Distributed Systems","description":"This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52617027813649,"sku":"NLS9783642307928","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642307928.jpg?v=1761529078"},{"product_id":"software-engineering-for-self-adaptive-systems-book-rogrio-lemos-9783642358128","title":"Software Engineering for Self-Adaptive Systems","description":"Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of self-adaptive systems that are able to adapt to internal faults, changing requirements, and evolving environments. The 15 carefully reviewed papers included in this state-of-the-art survey were presented at the International Seminar on Software Engineering for Self-Adaptive Systems, held in Dagstuhl Castle, Germany, in October 2010. Continuing the course of the first book of the series on Software Engineering for Self-Adaptive Systems the collection of papers in this second volume comprises a research roadmap accompanied by four elaborating working group papers. Next there are two parts - with three papers each - entitled Requirements and Policies and Design Issues; part four of the book contains four papers covering a wide range of Applications.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52672049479953,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52672050430225,"sku":"NLS9783642358128","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642358128.jpg?v=1786017007"},{"product_id":"graph-transformation-book-holger-giese-9783319091075","title":"Graph Transformation","description":"\u003cp\u003eThis book constitutes the proceedings of the 7th International\u003cbr\u003eConference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014.\u003cbr\u003eThe 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52672558891281,"sku":"NLS9783319091075","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319091075.jpg?v=1789124906"},{"product_id":"architecting-critical-systems-book-holger-giese-9783642135552","title":"Architecting Critical Systems","description":"Architecting critical systems has gained major importance in commercial, g- ernmentalandindustrialsectors. Emergingsoftwareapplicationsencompasscr- icalities that are associated with either the whole system or some of its com- nents. Therefore, e?ective methods, techniques, and tools for constructing, te- ing, analyzing, and evaluating the architectures for critical systems are of major importance. Furthermore, these methods, techniques and tools must address - sues of dependability and security, while focusing not only on the development, but also on the deployment and evolution of the architecture. This newly established ISARCS symposium provided an exclusive forum for exchanging views on the theory and practice for architecting critical systems. Such systems are characterized by the perceived severity of consequences that faults or attacks may cause, and architecting them requires appropriate means to assure that they will ful?ll their speci?ed services in a dependable and secure manner. The di?erent attributes of dependability and security cannot be considered in isolation for today's critical systems, as architecting critical systems ess- tially means to ?nd the right trade-o? among these attributes and the various other requirements imposed on the system. This symposium therefore brought together the four communities working on dependability, safety, security and testing\/analysis, each addressing to some extent the architecting of critical s- tems from their speci?c perspective. To this end the symposium united the following three former events: - Workshop on Architecting Dependable Systems (WADS) - Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA) - Workshop on Views on Designing Complex Architectures.","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":53657330057489,"sku":"NIN9783642135552","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642135552.jpg?v=1789555653"},{"product_id":"model-based-engineering-of-embedded-real-time-systems-book-holger-giese-9783642162763","title":"Model-Based Engineering of Embedded Real-Time Systems","description":"ThetopicofModel-BasedEngineeringofReal-TimeEmbeddedSystemsbrings 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.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":54562195144977,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":54562195341585,"sku":"NIN9783642162763","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642162763.jpg?v=1788627328"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-holger-giese.oembed","provider":"World of Books ","version":"1.0","type":"link"}