317 search results - page 5 / 64 » Describing Just-UI Concepts Using a Task Notation |
IFM
2007
Springer
14 years 22 days ago
2007
Springer
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
WWW
2008
ACM
14 years 7 months ago
2008
ACM
Nowadays the Web represents a growing collection of an enormous amount of contents where the need for better ways to find and organize the available data is becoming a fundamental...
IJCAI
1997
13 years 8 months ago
1997
The main purpose of this paper is to illustrate the characteristics of ontology-based authoring tools for Computer Based Training (CBT) systems. It has two major advantages as fol...
HICSS
2007
IEEE
14 years 28 days ago
2007
IEEE
— The UML is a collection of 13 diagram notations to describe different views of a software system. The existing diagram types display model elements and their relations. Softwar...
ACTA
1998
13 years 6 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...