Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Chechik, Marsha; Brunet, Greg; Fischbein, Dario; Uchitel, Sebastian License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-8582

; ; ;

Partial Behavioural Models for Requirements and Early Design



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.

BibTeX - Entry

  author =	{Marsha Chechik and Greg Brunet and Dario Fischbein and Sebastian Uchitel},
  title =	{Partial Behavioural Models for Requirements and Early Design},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  year =	{2007},
  editor =	{Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
  number =	{06351},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{},
  annote =	{Keywords: Requirements behavioural models}

Keywords: Requirements behavioural models
Seminar: 06351 - Methods for Modelling Software Systems (MMOSS)
Related Scholarly Article:
Issue date: 2007
Date of publication: 2007

DROPS-Home | Fulltext Search | Imprint Published by LZI