Stefan hallerstede (19 risultati)
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:
- Brossura
Da: NEPO UG, Rüsselsheim am Main, GermaniaNEPO UG
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 42,46
EUR 24,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: 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.
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin 2011
- Brossura
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,21
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,66
EUR 13,89 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,04
EUR 17,96 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 78,61
EUR 3,51 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 276.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,50
EUR 11,59 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 2013 edition. 272 pages. 8.23x5.79x0.79 inches. In Stock.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 81,11
EUR 14,49 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: 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
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,08
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: 3 disponibili
Condizione: 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.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 61,81 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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 proces…s 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.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,35
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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,…Tiergartenstr. 15-17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,32
EUR 62,50 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 successfull…y 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.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 37,17
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: 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 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.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 61,20
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 339 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Brossura
- Print on Demand
Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 46,22
EUR 5,50 spedizioneSpedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Condizione: new. Questo è un articolo print on demand.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 i…nnovation 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.
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 79,13
EUR 7,54 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: 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.
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 78,70
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 276.
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,37
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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-Nue…rnberg and independent IT consultant.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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,…innovation 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.
