2026-07-21T19:27:34Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:858 2024-03-06T11:07:03Z ddc:004 open_access

Partial Behavioural Models for Requirements and Early Design Chechik, Marsha Brunet, Greg Fischbein, Dario Uchitel, Sebastian Requirements behavioural models The talk will discuss the problem of creation, management, and specifically merging of partial behavioural models, expressed as model transition systems. We argue why this formalism is essential in the early stages of the software cycle and then discuss why and how to merge information coming from different sources using this formalism. The talk is based on papers presented in FSE'04 and FME'06 and will also include emerging results on synthesizing partial behavioural models from temporal properties and scenarios. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Marsha Chechik and Greg Brunet and Dario Fischbein and Sebastian Uchitel 2007 Is Part Of Dagstuhl Seminar Proceedings, Volume 6351, Methods for Modelling Software Systems (MMOSS) (2007) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.06351.9 urn:nbn:de:0030-drops-8582 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06351.9 eng https://creativecommons.org/licenses/by/4.0/legalcode