Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers - Taschenbuch
2012, ISBN: 3642357423
[EAN: 9783642357428], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], COMPONENT-BASEDDEVELOPMENT; PATTERNS; QUALITYOFSERVICE; SERVICE-ORIENTEDARCHITECTURES; TEMPORALPROPERTIES, Druc… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2012, ISBN: 9783642357428
This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. The 18 full … Mehr…
Orellfuessli.ch Nr. 33835810. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Versandfertig innert 6 - 9 Werktagen, zzgl. Versandkosten. (EUR 16.50) Details... |
2012, ISBN: 9783642357428
Springer, Taschenbuch, Auflage: 2012, 380 Seiten, Publiziert: 2012-11-23T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 131 black & white illustrations, biograp, 1.28 kg, Informationsman… Mehr…
amazon.de |
2012, ISBN: 9783642357428
Springer, Taschenbuch, Auflage: 2012, 380 Seiten, Publiziert: 2012-11-23T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 131 black & white illustrations, biograp, 1.28 kg, Informationsman… Mehr…
amazon.de fachbuecher-weltversand Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2012, ISBN: 9783642357428
8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers, Buch, Softcover, 2012, [PU: Springer Berlin], Springer Berlin, 2012
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers - Taschenbuch
2012, ISBN: 3642357423
[EAN: 9783642357428], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], COMPONENT-BASEDDEVELOPMENT; PATTERNS; QUALITYOFSERVICE; SERVICE-ORIENTEDARCHITECTURES; TEMPORALPROPERTIES, Druc… Mehr…
2012, ISBN: 9783642357428
This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. The 18 full … Mehr…
2012
ISBN: 9783642357428
Springer, Taschenbuch, Auflage: 2012, 380 Seiten, Publiziert: 2012-11-23T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 131 black & white illustrations, biograp, 1.28 kg, Informationsman… Mehr…
2012, ISBN: 9783642357428
Springer, Taschenbuch, Auflage: 2012, 380 Seiten, Publiziert: 2012-11-23T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 131 black & white illustrations, biograp, 1.28 kg, Informationsman… Mehr…
2012, ISBN: 9783642357428
8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers, Buch, Softcover, 2012, [PU: Springer Berlin], Springer Berlin, 2012
Bibliographische Daten des bestpassenden Buches
Detailangaben zum Buch - Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science, Band 7253)
EAN (ISBN-13): 9783642357428
ISBN (ISBN-10): 3642357423
Taschenbuch
Erscheinungsjahr: 2011
Herausgeber: Arbab, Farhad, Ölveczky, Peter Csaba, Springer
Buch in der Datenbank seit 2013-02-14T10:24:09+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-01-06T14:14:36+01:00 (Berlin)
ISBN/EAN: 9783642357428
ISBN - alternative Schreibweisen:
3-642-35742-3, 978-3-642-35742-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: csaba
Titel des Buches: international symposium programming, aspects form, aspects the novel, software, facs, oslo
Daten vom Verlag:
Autor/in: Farhad Arbab; Peter Csaba Ölveczky
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Verlag: Springer; Springer Berlin
369 Seiten
Erscheinungsjahr: 2012-11-23
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
X, 369 p. 131 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; component-based development; patterns; quality of service; service-oriented architectures; temporal properties; Software Engineering; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Programming Techniques; IT Operations; Theoretische Informatik; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Wirtschaftsmathematik und -informatik, IT-Management; EA
Taming Distributed System Complexity through Formal Patterns.- Composing Safe Systems.- A Denotational Model for Component-Based Risk Analysis.- Synthesis of Hierarchical Systems.- A Modal Specification Theory for Components with Data.- Evaluating the Performance of Model Transformation Styles in Maude.- Interactive Transformations from Object-Oriented Models to Component-Based Models.- Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components.- Timed Conformance Testing for Orchestrated Service Discovery.- Realizability of Choreographies for Services Interacting Asynchronously.- Networks of Real-Time Actors: Schedulability Analysis and Coordination.- A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios.- The Logic of XACML.- A Proof Assistant Based Formalization of MDE Components.- Controlling an Iteration-Wise Coherence in Dataflow.- Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation.- Verifying Safety of Fault-Tolerant Distributed Components.- Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques.- Bigraphical Modelling of Architectural Patterns.- Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines.- Verifying Temporal Properties of Use-Cases in Natural Language.Fast-track conference proceedings State-of-the-art research Up-to-date results
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030409135 Formal Aspects of Component Software (Farhad Arbab; Sung-Shik Jongmans)
- 9783030409135 Formal Aspects of Component Software (Farhad Arbab; Sung-Shik Jongmans)
- 9783030021467 Formal Aspects of Component Software (Kyungmin Bae; Peter Csaba Olveczky)
- 9783030021450 Formal Aspects of Component Software (Herausgegeben:Ölveczky, Peter Csaba; Bae, Kyungmin)
- 9783642358609 Formal Aspects of Component Software (Pasareanu, Corina S.|Salaün, Gwen)
< zum Archiv...