"Formal specification languages" . "Software engineering" . "Software modeling language" . "Cultural Properties of Japan" . "Mathematical logic" . "Modeling languages" . "Models of computation" . "Concurrency (computer science)" . "Petri nets" . "Computer chess" . "Diagrams" . "Algorithms" . "Theoretical computer science" .