UOBScholar Hub
UOB Libraries created the UOBScholar Hub, an Institutional Repository (IR) for archiving and collecting all the research output of the UOB community. It aims to improve the visibility, usage and impact of research conducted at UOB. Materials included are: academic journal articles, conference papers and presentations, books and book chapters, ongoing research papers, reports and patents.
Submit your Publication
Browsing by Subject Formal specification
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) |
|---|---|---|
| 2003 | Constraint-based timetabling : a case study | Abbas, Abdulwahed; Tsang, Edward P.K |
| 2008 | DEPICT : a high-level formal language for modeling constraint satisfaction problems | Abbas, Abdulwahed; Tsang, Edward P.K; Nasri, Ahmad H |
| 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 |