Generating a Menu-Oriented Navigation System from Formal Description of Software Development Activity Sequence

Abstract

ARSTRACT This paper describes a way to define software development processes formally. Software development processes are assumed to be sequential sentences of activities, and they are defined by the set of sentences with context free grammars. The sequence of development activities is defined formally, and the characteristics and behasvior of the development processes become clearer. This paper also describes a method to construct a menu oriented navigation system from the grammar. The menus provided by this system guide the developers to the next activities in the development. The system works with the interpreter for the process description language PDL.