PBM - FIMBSE
Partial Behaviour Modelling: A Foundation for Incremental and Iterative Model-Based Software Engineering
| Coordinatore | IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
Spiacenti, non ci sono informazioni su questo coordinatore. Contattare Fabio per maggiori infomrazioni, grazie. |
| Nazionalità Coordinatore | United Kingdom [UK] |
| Totale costo | 1˙366˙450 € |
| EC contributo | 1˙366˙450 € |
| Programma | FP7-IDEAS-ERC
Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) |
| Code Call | ERC-2007-StG |
| Funding Scheme | ERC-SG |
| Anno di inizio | 2008 |
| Periodo (anno-mese-giorno) | 2008-09-01 - 2014-05-31 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
Organization address
address: SOUTH KENSINGTON CAMPUS EXHIBITION ROAD contact info |
UK (LONDON) | hostInstitution | 0.00 |
| 2 |
IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
Organization address
address: SOUTH KENSINGTON CAMPUS EXHIBITION ROAD contact info |
UK (LONDON) | hostInstitution | 0.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
'Software systems are amenable to analysis through the construction of behaviour models. This corresponds to the traditional engineering approach to construction of complex systems. The advantage of using behaviour models to describe systems is that they are cheaper to develop than the actual system. Consequently, they can be analysed and mechanically checked for properties in order to detect design errors early in the development process and allow cheaper fixes. Although behaviour modelling and analysis has been shown to be successful in uncovering subtle requirements and design errors, adoption by practitioners has been slow. One of the reasons for this is that traditional approaches to behaviour models are required to be complete descriptions of the system behaviour up to some level of abstraction, i.e., the transition system is assumed to completely describe the system behaviour with respect to a fixed alphabet of actions. This completeness assumption is limiting in the context of software development process best practices which include iterative development, adoption of use-case and scenario-based techniques and viewpoint- or stakeholder-based analysis; practices which require modelling and analysis in the presence of partial information about system behaviour. This aim of this project is to shift the focus from traditional behaviour models to partial behaviour models – operational descriptions that are capable of distinguishing known behaviour (both required and proscribed) from unknown behaviour that is yet to be elicited. Our overall aim is to develop the foundations, techniques and tools that will enable the automated construction of partial behaviour models from multiple sources of partial specifications, the provision of early feedback through automated partial behaviour model analysis, and the support incremental, iterative elaboration of behaviour models.'