For the most recent entries see the Petri Nets Newsletter.

The Conceptual Task Model: a Specification Technique Between Requirements Engineering and Program Development.

Brinkkemper, S.; ter Hofstede, A.H.M.

University of Nijmegen, Department of Informatics, Technical Report No. 89--15, September 1989.

Abstract: To overcome the gap between the informal requirements engineering activities and the more formal program development stage, a specification technique, called the Conceptual Task Model (CTM) is introduced, that is related explicitly to the results of the global requirements specification. The CTM technique is based on and defined in terms of predicate/transiton nets. CTM integrates the specification of the data manipulation function with control structures and local and global data models.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography