- 5 Ergebnisse
Kleinster Preis: € 55,90, größter Preis: € 61,16, Mittelwert: € 58,75
1
Formal Aspects of Component Software : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers - Ramtin Khosravi
Bestellen
bei AbeBooks.de
€ 55,90
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Ramtin Khosravi:

Formal Aspects of Component Software : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers - Taschenbuch

2017, ISBN: 3319576658

[EAN: 9783319576657], Neubuch, [PU: Springer International Publishing], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; CYBER-PHYSICALSYSTEMS; FORMALMETHODS; MODEL-BASEDTESTING; SELF-A… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Formal Aspects of Component Software - Ramtin Khosravi
Bestellen
bei booklooker.de
€ 58,84
Versand: € 2,701
Bestellen
Details beim Anbieter
gesponserter Link

Ramtin Khosravi:

Formal Aspects of Component Software - Taschenbuch

2013, ISBN: 9783319576657

[ED: Taschenbuch], [PU: Springer International Publishing], Neuware - This book constitutes the thoroughly revised selected papers from the 13th International Conference on Formal Aspects… Mehr…

Versandkosten:Versand nach Deutschland. (EUR 2.70) AHA-BUCH GmbH
zuklappen (X)
3
Formal Aspects of Component Software 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers - Khosravi, Ramtin (Herausgeber); Kouchnarenko, Olga (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 61,16
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Khosravi, Ramtin (Herausgeber); Kouchnarenko, Olga (Herausgeber):
Formal Aspects of Component Software 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers - neues Buch

2017

ISBN: 3319576658

1st ed. 2017 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, cyber-physicalsystems; formalmethods; Model-BasedTesting; self-adaptivesystem; SoftwareProduc… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Formal Aspects of Component Software
Bestellen
bei Hugendubel.de
€ 58,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Formal Aspects of Component Software - Taschenbuch

2017, ISBN: 3319576658

Formal Aspects of Component Software ab 58.99 € als Taschenbuch: 13th International Conference FACS 2016 Besançon France October 19-21 2016 Revised Selected Papers. 1st ed. 2017. Aus dem … Mehr…

Nr. 28761600. Versandkosten:, , DE. (EUR 0.00)
zuklappen (X)
5
Formal Aspects of Component Software - Olga Kouchnarenko; Ramtin Khosravi
Bestellen
bei lehmanns.de
€ 58,84
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Olga Kouchnarenko; Ramtin Khosravi:
Formal Aspects of Component Software - Taschenbuch

2017, ISBN: 9783319576657

13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, Buch, Softcover, 1st ed. 2017, [PU: Springer International Publishing], Springer … Mehr…

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Formal Aspects of Component Software
Autor:
Titel:
ISBN-Nummer:

9783319576657

Detailangaben zum Buch - Formal Aspects of Component Software


EAN (ISBN-13): 9783319576657
ISBN (ISBN-10): 3319576658
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 27
Herausgeber: Springer International Publishing

Buch in der Datenbank seit 2017-05-18T10:28:00+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-01-20T18:58:02+01:00 (Berlin)
ISBN/EAN: 9783319576657

ISBN - alternative Schreibweisen:
3-319-57665-8, 978-3-319-57665-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: olga, khosravi
Titel des Buches: facs, 2017, international conference software, aspects france, olga, aspects form

Daten vom Verlag:

Autor/in: Olga Kouchnarenko; Ramtin Khosravi
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
Verlag: Springer; Springer International Publishing
281 Seiten
Erscheinungsjahr: 2017-04-13
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XVIII, 281 p. 104 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; cyber-physical systems; formal methods; model-based testing; self-adaptive system; software product line; component/service re-engineering and reuse; coordination language; coq; finite state machine; formal modeling; model validation; performance analysis; service oriented architectures and business processes; software adaptation; software components; software development techniques; software verification and validation; statistical model checking; stochastic hybrid automata; system modeling languages; Software Engineering; EA

The 11 full papers presented together with one tool paper and 3 invited papers were carefully reviewed and selected from 27 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.

Formal Models and Analysis for Self-Adaptive Cyber-Physical Systems.- From Formal Methods to Software Components: Back to the Future? .- From Devices to Data: Testing the IoT.- Core Model for Choreographic Programming.- Checking Business Process Evolution.- Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.- Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions.- Constrained Synthesis from Component Libraries.- MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks.- A Formal and Run-time Framework for the Adaptation of Local Behaviours to Match a Global Property.- Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems.- Reasoning about Connectors in Coq.- (Context-Sensitivity in) Reo, Revisited.- Validated Test Models for Software Product Lines: Featured Finite State Machines.- Tool Support for Fuzz Testing of Component-Based System Adaptation Policies.- Coordinated Actors for Reliable Self-Adaptive Systems.- Architecture-based design: a satellite on-board software case study.


Includes supplementary material: sn.pub/extras Includes supplementary material: sn.pub/extras
< zum Archiv...