Title :
Petri net based graphical user interface specification tool
Author :
Li, Xiaosong ; Mugridge, Rick
Author_Institution :
Dept. of Comput. Sci., Auckland Univ., New Zealand
Abstract :
PUIST is a specification tool that is being created for software development and software engineering education. It assists user interface designers in specifying the static form and dynamic behaviour of graphical user interfaces (GUI). It also assists teachers in demonstrating specification principles and provides training opportunities for students in software specification and design. The dynamic behaviour of a user interface is specified by a Petri net. The Petri net is also used as a control engine in PUIST to enable rapid prototyping of the user interface
Keywords :
Petri nets; computer science education; formal specification; graphical user interfaces; software prototyping; software tools; user interface management systems; Petri net based graphical user interface specification tool; graphical user interfaces; rapid prototyping; software development; software engineering education; software specification; specification principles; training opportunities; user interface designers; Computer science; Formal specifications; Graphical user interfaces; Petri nets; Programming profession; Prototypes; Software design; Software engineering; Software prototyping; User interfaces;
Conference_Titel :
Software Education Conference, 1994. Proceedings.
Conference_Location :
Dunedin
Print_ISBN :
0-8186-5870-3
DOI :
10.1109/SEDC.1994.475317
