default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISoLA 2018: Limassol, Cyprus
- Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I. Lecture Notes in Computer Science 11244, Springer 2018, ISBN 978-3-030-03417-7
Towards a Unified View of Modeling and Programming
- Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen:
Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). 3-21 - Neil D. Jones:
On Modeling and Programming. 22-34 - Maged Elaasar
:
Definition of Modeling vs. Programming Languages. 35-51 - Stefan Hallerstede, Peter Gorm Larsen, John S. Fitzgerald:
A Non-unified View of Modelling, Specification and Programming. 52-68 - Timothy C. Lethbridge, Abdulaziz Algablan:
Using Umple to Synergistically Process Features, Variants, UML Models and Classic Code. 69-88 - Egon Börger:
Why Programming Must Be Supported by Modeling and How. 89-110 - Marieke Huisman:
On Models and Code - A Unified Approach to Support Large-Scale Deductive Program Verification. 111-118 - Cezar Ionescu, Patrik Jansson, Nicola Botta:
Type Theory as a Framework for Modelling and Programming. 119-133 - Liam O'Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller:
Bringing Effortless Refinement of Data Layouts to Cogent. 134-149 - Rance Cleaveland:
Programming Is Modeling. 150-161 - Peter Sestoft:
Programming Language Specification and Implementation. 162-183 - Klaus Havelund, Rajeev Joshi:
Modeling with Scala. 184-205 - Ole Lehrmann Madsen, Birger Møller-Pedersen:
This Is Not a Model - On Development of a Common Terminology for Modeling and Programming. 206-224 - John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang:
A Unified Approach for Modeling, Developing, and Assuring Critical Systems. 225-245 - Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden:
Towards Interactive Compilation Models. 246-260 - Tiziana Margaria:
From Computational Thinking to Constructive Design with Simple Models. 261-278 - Bran Selic:
Design Languages: A Necessary New Generation of Computer Languages. 279-294 - Gabor Karsai:
From Modeling to Model-Based Programming. 295-308 - Markus Voelter:
Fusing Modeling and Programming into Language-Oriented Programming - Our Experiences with MPS. 309-339 - Steve Boßelmann, Stefan Naujokat, Bernhard Steffen:
On the Difficulty of Drawing the Line. 340-356
X-by-Construction
- Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson:
X-by-Construction. 359-364 - Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari:
Program Correctness by Transformation. 365-380 - Michael Lybecait, Dawid Kopetzki, Bernhard Steffen:
Design for 'X' Through Model Transformation. 381-398 - Dominique Méry:
Modelling by Patterns for Correct-by-Construction Process. 399-423 - Dominic Steinhöfel, Reiner Hähnle:
Modular, Correct Compilation with Automatic Soundness Proofs. 424-447 - Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa:
Deployment by Construction for Multicore Architectures. 448-465 - Mirco Tribastone:
Towards Software Performance by Construction. 466-470 - Gerardo Schneider:
Is Privacy by Construction Possible? 471-485 - Thomas Given-Wilson, Axel Legay:
X-by-C: Non-functional Security Challenges. 486-501 - Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson:
Towards Confidentiality-by-Construction. 502-515
STRESS 2018
- Michael Lybecait, Dawid Kopetzki, Philip Zweihoff, Annika Fuhge, Stefan Naujokat, Bernhard Steffen:
A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO. 519-538 - Robby, John Hatcliff, Jason Belt:
Model-Based Development for High-Assurance Embedded Systems. 539-545 - Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen:
DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering. 546-564 - Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf:
Tutorial: An Overview of Malware Detection and Evasion Techniques. 565-586
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
