Search

Search Results

• Synthesis of concurrent programs

  301-317

  Sándor Sike

  László Varga

  Views:

  14

  Students need a well defined method to be successful in the complex process of writing a concurrent program. In this paper we show a step by step method to create such programs. The method based on UML which has been thought to students during previous courses. UML provides standard and relatively simple tools to describe concurrent systems, and from the description the program can be derived.
  First we give a brief introduction to the concurrent systems. This is followed by the description of the method, and finally we demonstrate the method on a small problem.