Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Editat de Tiziana Margaria, Bernhard Steffenen Limba Engleză Paperback – 29 oct 2018
The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:
Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.
Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.
Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering.
Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.
Preț: 336.69 lei
Preț vechi: 420.86 lei
-20% Nou
Puncte Express: 505
Preț estimativ în valută:
59.57€ • 69.40$ • 52.02£
59.57€ • 69.40$ • 52.02£
Carte tipărită la comandă
Livrare economică 17-31 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783030034177
ISBN-10: 3030034178
Pagini: 604
Ilustrații: XV, 588 p. 223 illus., 136 illus. in color.
Dimensiuni: 155 x 235 x 33 mm
Greutate: 0.9 kg
Ediția:1st edition 2018
Editura: Springer
Locul publicării:Cham, Switzerland
ISBN-10: 3030034178
Pagini: 604
Ilustrații: XV, 588 p. 223 illus., 136 illus. in color.
Dimensiuni: 155 x 235 x 33 mm
Greutate: 0.9 kg
Ediția:1st edition 2018
Editura: Springer
Locul publicării:Cham, Switzerland
Cuprins
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.