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

Front Matter ....Pages I-XV
Front Matter ....Pages 1-1
 Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction)  (Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen)....Pages 3-21
 On Modeling and Programming  (Neil D. Jones)....Pages 22-34
 Definition of Modeling vs. Programming Languages  (Maged Elaasar)....Pages 35-51
 A Non-unified View of Modelling, Specification and Programming  (Stefan Hallerstede, Peter Gorm Larsen, John Fitzgerald)....Pages 52-68
 Using Umple to Synergistically Process Features, Variants, UML Models and Classic Code  (Timothy C. Lethbridge, Abdulaziz Algablan)....Pages 69-88
 Why Programming Must Be Supported by Modeling and How  (Egon Börger)....Pages 89-110
 On Models and Code  (Marieke Huisman)....Pages 111-118
 Type Theory as a Framework for Modelling and Programming  (Cezar Ionescu, Patrik Jansson, Nicola Botta)....Pages 119-133
 Bringing Effortless Refinement of Data Layouts to Cogent  (Liam O’Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller)....Pages 134-149
 Programming Is Modeling  (Rance Cleaveland)....Pages 150-161
 Programming Language Specification and Implementation  (Peter Sestoft)....Pages 162-183
 Modeling with Scala  (Klaus Havelund, Rajeev Joshi)....Pages 184-205
 This Is Not a ModelOpen image in new window  (Ole Lehrmann Madsen, Birger Møller-Pedersen)....Pages 206-224
 A Unified Approach for Modeling, Developing, and Assuring Critical Systems  (John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang)....Pages 225-245
 Towards Interactive Compilation Models  (Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden)....Pages 246-260
 From Computational Thinking to Constructive Design with Simple Models  (Tiziana Margaria)....Pages 261-278
 Design Languages: A Necessary New Generation of Computer Languages  (Bran Selić)....Pages 279-294
 From Modeling to Model-Based Programming  (Gabor Karsai)....Pages 295-308
 Fusing Modeling and Programming into Language-Oriented Programming  (Markus Voelter)....Pages 309-339
 On the Difficulty of Drawing the Line  (Steve Boßelmann, Stefan Naujokat, Bernhard Steffen)....Pages 340-356
Front Matter ....Pages 357-357
 X-by-Construction  (Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson)....Pages 359-364
 Program Correctness by Transformation  (Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari)....Pages 365-380
 Design for ‘X’ Through Model Transformation  (Michael Lybecait, Dawid Kopetzki, Bernhard Steffen)....Pages 381-398
 Modelling by Patterns for Correct-by-Construction Process  (Dominique Méry)....Pages 399-423
 Modular, Correct Compilation with Automatic Soundness Proofs  (Dominic Steinhöfel, Reiner Hähnle)....Pages 424-447
 Deployment by Construction for Multicore Architectures  (Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa)....Pages 448-465
 Towards Software Performance by Construction  (Mirco Tribastone)....Pages 466-470
 Is Privacy by Construction Possible?  (Gerardo Schneider)....Pages 471-485
 X-by-C: Non-functional Security Challenges  (Thomas Given-Wilson, Axel Legay)....Pages 486-501
 Towards Confidentiality-by-Construction  (Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick Kourie, Bruce W. Watson)....Pages 502-515
Front Matter ....Pages 517-517
 A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO  (Michael Lybecait, Dawid Kopetzki, Philip Zweihoff, Annika Fuhge, Stefan Naujokat, Bernhard Steffen)....Pages 519-538
 Model-Based Development for High-Assurance Embedded Systems  ( Robby, John Hatcliff, Jason Belt)....Pages 539-545
 DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering  (Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen)....Pages 546-564
 Tutorial: An Overview of Malware Detection and Evasion Techniques  (Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf)....Pages 565-586
Back Matter ....Pages 587-588