License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.06351.9
URN: urn:nbn:de:0030-drops-8582
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2007/858/
|
Go to the corresponding Portal |
Chechik, Marsha ;
Brunet, Greg ;
Fischbein, Dario ;
Uchitel, Sebastian
Partial Behavioural Models for Requirements and Early Design
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:DagSemProc.06351.9,
author = {Chechik, Marsha and Brunet, Greg and Fischbein, Dario and Uchitel, Sebastian},
title = {{Partial Behavioural Models for Requirements and Early Design}},
booktitle = {Methods for Modelling Software Systems (MMOSS)},
pages = {1--10},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {6351},
editor = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2007/858},
URN = {urn:nbn:de:0030-drops-8582},
doi = {10.4230/DagSemProc.06351.9},
annote = {Keywords: Requirements behavioural models}
}
|
Keywords: |
|
Requirements behavioural models |
|
Collection: |
|
06351 - Methods for Modelling Software Systems (MMOSS) |
|
Issue Date: |
|
2007 |
|
Date of publication: |
|
11.04.2007 |
