License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-8582
URL: http://drops.dagstuhl.de/opus/volltexte/2007/858/
Go to the corresponding Portal


Chechik, Marsha ; Brunet, Greg ; Fischbein, Dario ; Uchitel, Sebastian

Partial Behavioural Models for Requirements and Early Design

pdf-format:
Document 1.pdf (168 KB)


Abstract

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

@InProceedings{chechik_et_al:DSP:2007:858,
  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 =		{http://drops.dagstuhl.de/opus/volltexte/2007/858},
  annote =	{Keywords: Requirements behavioural models}
}

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


DROPS-Home | Fulltext Search | Imprint Published by LZI