Vor Ort
Merkzettel Warenkorb
  • Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Modeling
  • Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.10.2018

Abbildungen

XV, 223 illus., 136 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen

Herausgeber

Tiziana Margaria + weitere

Verlag

Springer

Seitenzahl

588

Maße (L/B/H)

23,5/15,5/3,3 cm

Gewicht

902 g

Auflage

1st ed. 2018

Sprache

Englisch

ISBN

978-3-030-03417-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.10.2018

Abbildungen

XV, 223 illus., 136 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

588

Maße (L/B/H)

23,5/15,5/3,3 cm

Gewicht

902 g

Auflage

1st ed. 2018

Sprache

Englisch

ISBN

978-3-030-03417-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Modeling
  • Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Modeling

  • Towards a Unified View of Modeling and Programming - ISoLA 2018 Track Introduction.- On Modeling and Programming.- Definition of Modeling vs. Programming Languages.- A Non-unified View of Modelling, Specification and Programming.- Using Umple to Synergistically Process Features, Variants, UML Models and Classic Code.- Why Programming Must Be Supported by Modeling and How.- On Models and Code - A Unified Approach to Support Large-Scale Deductive Program Verification.- Type Theory as a Framework for Modelling and Programming.- Bringing Effortless Refinement of Data Layouts to Cogent.- Programming Is Modeling.- Programming language specification and implementation.- Modeling with Scala.- This is not a model.- A Unified Approach for Modeling, Developing, and Assuring Critical Systems.- Towards Interactive Compilation Models.- From Computational Thinking to Constructive Design with Simple Models.- Design Languages: A Necessary New Generation of Computer Languages.- From Modeling to Model-based Programming.- Fusing Modeling and Programming into Language-Oriented Programming.- On the Difficulty of Drawing the Line.- X-by-Construction - Track Introduction.- (Some) security by construction through a LangSec approach.- Program Correctness by Transformation.- Design 4 X through Model Transformation.- Modelling  by Patterns for Correct-by-Construction Process.- Modular, Correct Compilation with Automatic Soundness Proofs.- Deployment by Construction for Multicore Architectures.- Towards Software Performance by Construction.- Is Privacy by Construction Possible?.- X-by-C: Non-Functional Security.- Towards Confidentiality-by-Construction.- A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO.- Model-based Development for High-Assurance Embedded Systems.- DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering.- Tutorial: an Overview of Malware Detection and Evasion Techniques.