A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf
.
Formal design constraints
1996
SIGPLAN notices
Large software systems are often built on system platforms that support or enforce speci c characteristics of the source code or actual design. These characteristics are either captured informally in design guideline documents or in specialized design and implementation languages. In our view, both approaches are unsatisfactory. Informal descriptions do not allow automated analysis and lead to vague constraint descriptions. The language-based approach leads to di erent languages for di erent
doi:10.1145/236338.236376
fatcat:orhqvapgpjalfb2sefvfddnljy