Browsing by Subject Formal specification
Showing results 3 to 4 of 4
< previous
Issue Date | Title | Author(s) |
---|---|---|
2003 | Synthesizing data structure requirements from algorithm specifications : case studies from recursive subdivision for computer graphics and animation. | Abbas, Abdulwahed; Nasri, Ahmad H |
2001 | Toward a general language for the specification of constraint satisfaction problems | Abbas, Abdulwahed; Tsang, Edward P.K |