Development and application of design transformations in ForSyDe (2003)
Download From
IEEE
Download Links
- [ieeexplore.ieee.org]
- [www.imit.kth.se]
- [www.sigda.org]
- [www.ele.kth.se]
- DBLP
Other Repositories/Bibliography
by
A. Jantsch
,
Z. Lu
| Venue: | In Desing, Automation and Test in Europe Conference (DATE 2003 |
| Citations: | 3 - 1 self |
BibTeX
@INPROCEEDINGS{Jantsch03developmentand,
author = {A. Jantsch and Z. Lu},
title = {Development and application of design transformations in ForSyDe},
booktitle = {In Desing, Automation and Test in Europe Conference (DATE 2003},
year = {2003},
pages = {10364},
publisher = {IEEE Computer Society}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract: The formal system design (ForSyDe) methodology has been developed for system level design. Starting with a formal specification model, which captures the functionality of the system at a high level of abstraction, it provides formal design transformation methods for a transparent refinement process of the specification model into an implementation model which is optimised for
