A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Formal and Informal in Balanced System Specifications
[chapter]
1995
Balanced Automation Systems
The paper presents the relation between balanced system specification by a formal or informal documentation. The text is a technical description of experienced variants, rather than pretentious ad vices on this topics. We claim that the advent of the object-oriented approach, combined with a mix, formal and informal documentation, in the context of automation, represents a possible solution for either the easiness of knowledge transfer, the use of advanced tools for the system design, or a
doi:10.1007/978-0-387-34910-7_32
fatcat:ffgrq23mebeu5lyilpk6vwiw2u