Search Constraints

Start Over
Filtering by: Creator Dahl, Fredrick Henry Remove constraint Creator: Dahl, Fredrick Henry Creator Al Mulhem, Muhammed Saleh Remove constraint Creator: Al Mulhem, Muhammed Saleh Degree Name Doctor of Philosophy (Ph.D.) Remove constraint Degree Name: Doctor of Philosophy (Ph.D.)

Search Results

  • DataLab, a graphical system for specifying and synthesizing abstract data types

    Creator:
    Al-Mulhem, Muhammed Saleh
    Abstract:
    Formal methods using text to specify abstract data types (ADTs) are powerful, but they require great effort and a high level of expertise. Visual programming languages present an alternative way of programming but are limited to building small programs. This research presents an approach for specifying ADTs using a combination...
    Resource Type:
    Dissertation
    Full Text:
    programs. 7 Henry Lieberman described a system called Tinker (Lieberman, 1984), which is an