Leveraging Applications of Formal Methods, Verification and Validation. Modeling | Zendy

Tiziana Margaria | Zendy; Bernhard Steffen | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Author(s) -

Tiziana Margaria,

Bernhard Steffen

Publication year - 2018

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/978-3-030-03418-4

Subject(s) - computer science , formal verification , formal methods , software engineering , formal specification , verification , verification and validation , model checking , programming language , point (geometry) , functional verification , software development , software , software construction , statistics , mathematics , geometry

The article provides an introduction to the track: Towards a Unified View of Modeling and Programming, organized by the authors of this paper as part of ISoLA 2018: the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. A total of 19 researchers presented their views on the two questions: what are the commonalities between modeling and programming languages?, and should we strive towards a unified view of modeling and programming? The idea behind the track, which is a continuation of a similar track at ISoLA 2016, emerged as a result of experiences gathered in the three fields: formal methods, model-based software engineering, and programming languages, and from the observation that these technologies share a large common part, to the extent where one may ask, does the following equation hold: modeling = programming

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research