Abstract is missing.
- Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction)Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen. 3-21 [doi]
- On Modeling and ProgrammingNeil D. Jones. 22-34 [doi]
- Definition of Modeling vs. Programming LanguagesMaged Elaasar. 35-51 [doi]
- A Non-unified View of Modelling, Specification and ProgrammingStefan Hallerstede, Peter Gorm Larsen, John S. Fitzgerald. 52-68 [doi]
- Using Umple to Synergistically Process Features, Variants, UML Models and Classic CodeTimothy C. Lethbridge, Abdulaziz Algablan. 69-88 [doi]
- Why Programming Must Be Supported by Modeling and HowEgon Börger. 89-110 [doi]
- On Models and Code - A Unified Approach to Support Large-Scale Deductive Program VerificationMarieke Huisman. 111-118 [doi]
- Type Theory as a Framework for Modelling and ProgrammingCezar Ionescu, Patrik Jansson, Nicola Botta. 119-133 [doi]
- Bringing Effortless Refinement of Data Layouts to CogentLiam O'Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller. 134-149 [doi]
- Programming Is ModelingRance Cleaveland. 150-161 [doi]
- Programming Language Specification and ImplementationPeter Sestoft. 162-183 [doi]
- Modeling with ScalaKlaus Havelund, Rajeev Joshi. 184-205 [doi]
- This Is Not a Model - On Development of a Common Terminology for Modeling and ProgrammingOle Lehrmann Madsen, Birger Møller-Pedersen. 206-224 [doi]
- A Unified Approach for Modeling, Developing, and Assuring Critical SystemsJohn Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang. 225-245 [doi]
- Towards Interactive Compilation ModelsSteven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden. 246-260 [doi]
- From Computational Thinking to Constructive Design with Simple ModelsTiziana Margaria. 261-278 [doi]
- Design Languages: A Necessary New Generation of Computer LanguagesBran Selic. 279-294 [doi]
- From Modeling to Model-Based ProgrammingGabor Karsai. 295-308 [doi]
- Fusing Modeling and Programming into Language-Oriented Programming - Our Experiences with MPSMarkus Voelter. 309-339 [doi]
- On the Difficulty of Drawing the LineSteve Boßelmann, Stefan Naujokat, Bernhard Steffen. 340-356 [doi]
- X-by-ConstructionMaurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson. 359-364 [doi]
- Program Correctness by TransformationMarieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari. 365-380 [doi]
- Design for 'X' Through Model TransformationMichael Lybecait, Dawid Kopetzki, Bernhard Steffen. 381-398 [doi]
- Modelling by Patterns for Correct-by-Construction ProcessDominique Méry. 399-423 [doi]
- Modular, Correct Compilation with Automatic Soundness ProofsDominic Steinhöfel, Reiner Hähnle. 424-447 [doi]
- Deployment by Construction for Multicore ArchitecturesShiji Bijo, Einar Broch Johnsen, Ka-I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa. 448-465 [doi]
- Towards Software Performance by ConstructionMirco Tribastone. 466-470 [doi]
- Is Privacy by Construction Possible?Gerardo Schneider. 471-485 [doi]
- X-by-C: Non-functional Security ChallengesThomas Given-Wilson, Axel Legay. 486-501 [doi]
- Towards Confidentiality-by-ConstructionIna Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson. 502-515 [doi]
- A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCOMichael Lybecait, Dawid Kopetzki, Philip Zweihoff, Annika Fuhge, Stefan Naujokat, Bernhard Steffen. 519-538 [doi]
- Model-Based Development for High-Assurance Embedded SystemsRobby, John Hatcliff, Jason Belt. 539-545 [doi]
- DSLs for Decision Services: A Tutorial Introduction to Language-Driven EngineeringFrederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen. 546-564 [doi]
- Tutorial: An Overview of Malware Detection and Evasion TechniquesFabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf. 565-586 [doi]