Unifying modelling and programming: A systems biology perspective

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations


Despite significant research progress made and methodological experience gained over the past few decades, a tight integration between programming and modelling, guided and supported by intuitive yet rigorous formal reasoning and verification methods that ensure high reliability and quality of the developed system remains challenging and is still far from becoming mainstream. We suggest that recent developments in the area of computational systems biology could allow us to gain some new perspectives about the challenges involved in developing pragmatic solutions unifying programming and modelling.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publicationDiscussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings
EditorsBernhard Steffen, Tiziana Margaria
PublisherSpringer Verlag
Number of pages3
ISBN (Print)9783319471686
StatePublished - 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9953 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Bibliographical note

Publisher Copyright:
© Springer International Publishing AG 2016.


Dive into the research topics of 'Unifying modelling and programming: A systems biology perspective'. Together they form a unique fingerprint.

Cite this