@inproceedings{2a62c1aec2854946ab90b7b05e8fa832,
title = "On Modeling and Programming",
abstract = "In computer science “model” is used with different meanings: Analytic. Analogous field: physics. Relevant “model” meaning: a theory to explain observed natural phenomena. Important: adequacy of the explanations; reproducibility by other researchers of results and experiments.Synthetic. Analogous fields: computer science and engineering. Relevant use of “model”: a constructed artefact (software, hardware,..) built to satisfy a problem specification. Important: the reliability of the constructed artefact; and the correctness of the artefact with respect to the specification.Mechanisation of established hand procedures. Analogous fields: data processing; automation of hospital procedures. (Academically inelegant, but a large percentage of worldwide computer science expenditures.) Relevant: predictability, completeness, reliability, degree of automation, common sense. All three are defensible and productive, but lead to very different ways of thinking. We focus on the analytic and synthetic meanings, since the mechanisation dimension is out of Isola scope.",
author = "Jones, {Neil D.}",
year = "2018",
doi = "10.1007/978-3-030-03418-4_2",
language = "English",
isbn = "978-3-030-03417-7",
volume = "1 (Modeling)",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "22--34",
editor = "Margaria, {Tiziana } and Steffen, {Bernhard }",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Modeling",
note = "8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 ; Conference date: 05-11-2018 Through 09-11-2018",
}