Bokus

Holger Giese – författare

Visar alla böcker från författaren Holger Giese. Handla med fri frakt och snabb leverans.

14 produkter

  1. Holger Giese, Barbara König - Graph Transformation, Häftad. Tillgänglighet: Lägg i varukorg

    Graph Transformation

    7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

    Av Holger Giese, Barbara König

    Häftad, 2014

    531 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 7th InternationalConference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014.The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on …

  2. Barbara Konig, Holger Giese - Graph Transformation, E-bok. Tillgänglighet: Lägg i varukorg

    Graph Transformation

    7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

    Av Barbara Konig, Holger Giese

    E-bok, 2014

    638 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014. The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on …

  3. Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese - Software Engineering for Self-Adaptive Systems III. Assurances, Häftad. Tillgänglighet: Lägg i varukorg

    Software Engineering for Self-Adaptive Systems III. Assurances

    International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

    Av Rogério de Lemos, David Garlan m. fl.

    Häftad, 2018

    569 kr

    Lägg i varukorg

    A major challenge for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, energy-efficient, customizable, and configurable when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most …

  4. Holger Giese, Carlo Ghezzi, David Garlan, Rogerio de Lemos - Software Engineering for Self-Adaptive Systems III. Assurances, E-bok. Tillgänglighet: Lägg i varukorg

    Software Engineering for Self-Adaptive Systems III. Assurances

    International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

    Av Holger Giese, Carlo Ghezzi m. fl.

    E-bok, 2018

    755 kr

    Lägg i varukorg

    A major challenge for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, energy-efficient, customizable, and configurable when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most …

  5. Holger Giese - Models in Software Engineering, Häftad. Tillgänglighet: Lägg i varukorg

    Models in Software Engineering

    Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

    Av Holger Giese

    Häftad, 2008

    569 kr

    Lägg i varukorg

    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 …

  6. Holger Giese - Models in Software Engineering, E-bok. Tillgänglighet: Lägg i varukorg

    Models in Software Engineering

    Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

    Av Holger Giese

    E-bok, 2008

    755 kr

    Lägg i varukorg

    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 …

  7. Holger Giese - Architecting Critical Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Architecting Critical Systems

    First International Symposium, Prague, Czech Republic, June 23-25, 2010

    Av Holger Giese

    Häftad, 2010

    569 kr

    Lägg i varukorg

    Architecting critical systems has gained major importance in commercial, governmental, and industrial sectors. Emerging software applications encompass practicalities that are associated with either the whole system or some of its components. Therefore, effective methods, techniques, and tools for …

  8. Holger Giese - Architecting Critical Systems, E-bok. Tillgänglighet: Lägg i varukorg

    Architecting Critical Systems

    First International Symposium, Prague, Czech Republic, June 23-25, 2010

    Av Holger Giese

    E-bok, 2010

    755 kr

    Lägg i varukorg

    Architecting critical systems has gained major importance in commercial, governmental, and industrial sectors. Emerging software applications encompass practicalities that are associated with either the whole system or some of its components. Therefore, effective methods, techniques, and tools for …

  9. Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, Bernhard Schätz - Model-Based Engineering of Embedded Real-Time Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Model-Based Engineering of Embedded Real-Time Systems

    International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

    Av Holger Giese, Gabor Karsai m. fl.

    Häftad, 2010

    569 kr

    Lägg i varukorg

    Thetopicof“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 …

  10. Bernhard Schatz, Bernhard Rumpe, Edward A. Lee, Gabor Karsai, Holger Giese - Model-Based Engineering of Embedded Real-Time Systems, E-bok. Tillgänglighet: Lägg i varukorg

    Model-Based Engineering of Embedded Real-Time Systems

    International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

    Av Bernhard Schatz, Bernhard Rumpe m. fl.

    E-bok, 2010

    739 kr

    Lägg i varukorg

    Thetopicof“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 …

  11. Holger Giese, Grigore Rosu - Formal Techniques for Distributed Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Techniques for Distributed Systems

    Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings

    Av Holger Giese, Grigore Rosu

    Häftad, 2012

    569 kr

    Lägg i varukorg

    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 …

  12. Grigore Rosu, Holger Giese - Formal Techniques for Distributed Systems, E-bok. Tillgänglighet: Lägg i varukorg

    Formal Techniques for Distributed Systems

    Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings

    Av Grigore Rosu, Holger Giese

    E-bok, 2012

    755 kr

    Lägg i varukorg

    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 …

  13. Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw - Software Engineering for Self-Adaptive Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Software Engineering for Self-Adaptive Systems

    International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

    Av Rogério de Lemos, Holger Giese m. fl.

    Häftad, 2013

    569 kr

    Lägg i varukorg

    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 …

  14. Mary Shaw, Hausi A. Muller, Holger Giese, Rogerio de Lemos - Software Engineering for Self-Adaptive Systems, E-bok. Tillgänglighet: Lägg i varukorg

    Software Engineering for Self-Adaptive Systems

    International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

    Av Mary Shaw, Hausi A. Muller m. fl.

    E-bok, 2013

    755 kr

    Lägg i varukorg

    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 …