A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A new system engineering methodology coupling formal specification and performance evaluation
[chapter]
1996
Lecture Notes in Computer Science
This paper proposes a new methodology for system engineering. It provides an integrated approach covering formal specification and performance evaluation. Therefore it associates the advantages of formal techniques that allow formal proof and automatic implementation with the benefits of performance evaluation. The basic idea is to abstract the relevant features of the system in the formal specification (structure, functional description), enhance it with relevant information for performance
doi:10.1007/3-540-60973-3_85
fatcat:757nkzgrk5d7pagerugbdl6vbe