Stefan hallerstede (19 resultados)
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Lecture Notes in Computer Science)
de, Boer Frank S., Marcello M. Bonsangue and Stefan Hallerstede:
- Tapa blanda
Librería: NEPO UG, Rüsselsheim am Main, AlemaniaNEPO UG
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 42,46
Envío por EUR 24,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Sehr gut. Auflage: 2011. 339 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 518 23,4 x 15,5 x 2,0 cm, Taschenbuch.
Idioma: Inglés
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin 2011
- Tapa blanda
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 70,21
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last two decades from functional to structuralissues. Formal methods have been applied successfully…to the verification ofmedium-sized programs in protocol and hardware design. However, their applicationto the development of large systems requires a greater emphasis on specification,modeling, and validation techniques supporting the concepts of reusability andmodifiability, and their implementation in new extensions of existing programminglanguages like Java.This state-of-the-art survey presents the outcome of the 8th Symposium on FormalMethods for Components and Objects, held in Eindhoven, The Netherlands, inNovember 2009. The volume contains 17 revised contributions submitted after thesymposium by speakers from each of the following European IST projects: theIST-FP6 project BIONETS on biologically inspired services evolution for thepervasive age; the IST-FP7 project COMPAS on compliance-driven models, languages,and architectures for services; the IST-FP6 project CREDO on modelling andanalysis of evolutionary structures for distributed services; the IST-FP7 DEPLOYon industrial deployment of advanced system engineering methods for highproductivity and dependability; the IST-FP7 project HATS on highly adaptable andtrustworthy software using formal methods; the IST-FP7 project INESS on integratedEuropean railway signalling system; the IST-FP7 project MOGENTES on model-basedgeneration of tests for dependable embedded systems; the IST-FP6 project PROTESTon property based testing; and the IST-FP7 project QUASIMODO on quantitativesystem properties in model-driven-design of embedded systems. The volume contains 17 revised contributions submitted after thesymposium by speakers from each of the following European IST projects: theIST-FP6 project BIONETS on biologically inspired services evolution for thepervasive age; and the IST-FP7 project QUASIMODO on quantitativesystem properties in model-driven-design of embedded systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,66
Envío por EUR 13,89Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,04
Envío por EUR 17,96Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 78,61
Envío por EUR 3,51Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 276.
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 79,83
Envío por EUR 11,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 2013 edition. 272 pages. 8.23x5.79x0.79 inches. In Stock.
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 81,43
Envío por EUR 14,49Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 1st edition. 349 pages. 9.25x6.25x1.00 inches. In Stock.
Formal Methods for Components and Objects
Boer, Frank S. de|Bonsangue, Marcello M.|Hallerstede, Stefan|Leuschel, Michael
- Tapa blanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 64,08
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New. Up-to-date resultsFast track conference proceedingsState-of-the-art resultsAll modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmen.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 61,81Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Innovations are a critical success factor for organizations to survive. Nowadays possibilities of information and communication technologies facilitate the use of IT-based tools for the integration of external innovators into the innovation process… of organizations. These tools, like innovation communities, innovation contests, innovation toolkits, and innovation market places, are subsumed under the term open innovation platforms (OIPs). The skills required to design and manage OIPs differ significantly from those for a default website. Hence, typical lifecycle models cannot be applied. Stefan Hallerstede addresses this gap and develops a dedicated lifecycle management approach for OIPs. In doing so, information systems and open innovation literature are merged as well as the major players in the market are introduced. He builds on three in-depth cases of professional OIP lifecycle management, and compiles guidelines for managing each phase of an OIP's lifecycle. Thereby, challenges in the lifecycle of OIPs are identified and mechanisms to overcome them are developed. Concluding, Stefan Hallerstede provides important insights for all, who are interested in, involved in, or designers and managers of open innovation platforms.
Más imágenes- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,35
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Managing the Lifecycle of Open Innovation Platforms | Stefan H. Hallerstede | Taschenbuch | Markt- und Unternehmensentwicklung Markets and Organisations | xxiv | Englisch | 2013 | Springer | EAN 9783658025076 | Verantwortliche Person für die EU: Springer Gabler in Springer Science + Business Media, T…iergartenstr. 15-17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 79,32
Envío por EUR 62,50Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. Neuware - All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last two decades from functional to structuralissues. Formal methods have been applied successfully… to the verification ofmedium-sized programs in protocol and hardware design. However, their applicationto the development of large systems requires a greater emphasis on specification,modeling, and validation techniques supporting the concepts of reusability andmodifiability, and their implementation in new extensions of existing programminglanguages like Java.This state-of-the-art survey presents the outcome of the 8th Symposium on FormalMethods for Components and Objects, held in Eindhoven, The Netherlands, inNovember 2009. The volume contains 17 revised contributions submitted after thesymposium by speakers from each of the following European IST projects: theIST-FP6 project BIONETS on biologically inspired services evolution for thepervasive age; the IST-FP7 project COMPAS on compliance-driven models, languages,and architectures for services; the IST-FP6 project CREDO on modelling andanalysis of evolutionary structures for distributed services; the IST-FP7 DEPLOYon industrial deployment of advanced system engineering methods for highproductivity and dependability; the IST-FP7 project HATS on highly adaptable andtrustworthy software using formal methods; the IST-FP7 project INESS on integratedEuropean railway signalling system; the IST-FP7 project MOGENTES on model-basedgeneration of tests for dependable embedded systems; the IST-FP6 project PROTESTon property based testing; and the IST-FP7 project QUASIMODO on quantitativesystem properties in model-driven-design of embedded systems.
- Tapa blanda
Librería: Buchpark, Trebbin, AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 37,17
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 276 | Sprache: Englisch | Produktart: Bücher | ¿Innovations are a critical success factor for organizations to survive. Nowadays possibilities of information and communication technologies facilitate the use of IT-based tools for the integration of external innovators into the inn…ovation process of organizations. These tools, like innovation communities, innovation contests, innovation toolkits, and innovation market places, are subsumed under the term open innovation platforms (OIPs). The skills required to design and manage OIPs differ significantly from those for a default website. Hence, typical lifecycle models cannot be applied. Stefan Hallerstede addresses this gap and develops a dedicated lifecycle management approach for OIPs. In doing so, information systems and open innovation literature are merged as well as the major players in the market are introduced. He builds on three in-depth cases of professional OIP lifecycle management, and compiles guidelines for managing each phase of an OIP¿s lifecycle. Thereby, challenges in the lifecycle of OIPs are identified and mechanisms to overcome them are developed. Concluding, Stefan Hallerstede provides important insights for all, who are interested in, involved in, or designers and managers of open innovation platforms.
- Tapa blanda
Librería: Buchpark, Trebbin, AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 61,20
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 339 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Tapa blanda
- Impresión bajo demanda
Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 46,22
Envío por EUR 5,50Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: new. Questo è un articolo print on demand.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Innovations are a critical success factor for organizations to survive. Nowadays possibilities of information and communication technologies facilitate the use of IT-based tools for the integration of external innovators into the in…novation process of organizations. These tools, like innovation communities, innovation contests, innovation toolkits, and innovation market places, are subsumed under the term open innovation platforms (OIPs). The skills required to design and manage OIPs differ significantly from those for a default website. Hence, typical lifecycle models cannot be applied. Stefan Hallerstede addresses this gap and develops a dedicated lifecycle management approach for OIPs. In doing so, information systems and open innovation literature are merged as well as the major players in the market are introduced. He builds on three in-depth cases of professional OIP lifecycle management, and compiles guidelines for managing each phase of an OIP's lifecycle. Thereby, challenges in the lifecycle of OIPs are identified and mechanisms to overcome them are developed. Concluding, Stefan Hallerstede provides important insights for all, who are interested in, involved in, or designers and managers of open innovation platforms. 276 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 79,13
Envío por EUR 7,54Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 276 24:B&W 5.83 x 8.27 in or 210 x 148 mm (A5) Perfect Bound on Creme w/Gloss Lam.
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 78,70
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 276.
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,37
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Publication in the field of economic sciencesDr. Stefan Hallerstede was a research associate at the chair of information systems I (Prof. Dr. Kathrin M. Moeslein) at the Friedrich-Alexander-University of Erlangen-Nuer…nberg and independent IT consultant.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Nowadays possibilities of information and communication technologies facilitate the use of IT-based tools for integrating external innovators into the innovation processes of organizations. These tools, such as innovation communities, i…nnovation contests, innovation toolkits, and innovation market places are subsumed under the term open innovation platforms (OIPs). Despite the existence of numerous insights into OIPs, a dedicated approach on how to manage an OIP throughout its lifecycle has been missing so far. Stefan H. Hallerstede addresses this gap and develops a lifecycle management model for OIPs. He merges knowledge on information systems with findings from open innovation literature. In addition, he introduces the major players in the market. The study is built on three in-depth cases of professional OIP lifecycle management and elaborates guidelines for managing each phase within an OIP's lifecycle.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.
