Search for dissertations about: "Choong-ho Yi"

Found 3 swedish dissertations containing the words Choong-ho Yi.

2. 1. Reasoning about Concurrent Actions in the Trajectory Semantics

   Author : Choong-ho Yi; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Information Systems; Informatik;

   Abstract : .... READ MORE

4. 2. Reasoning about concurrent actions in the trajectory semantics

   Author : Choong-Ho Yi; Linköpings universitet; []
   Keywords : HUMANIORA; HUMANITIES;

   Abstract : We have introduced concurrency into the framework of Sandewall. The resulting formalism is capable of reasoning about interdependent as well as independent concurrent actions. READ MORE

5. 3. Modelling object-oriented dynamic systems using a logic-based framework

   Author : Choong-ho Yi; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap; Information Systems;

   Abstract : We observe that object-oriented (OO) formalisms and specification languages are popular and obviously useful, and, in particular, that they are increasingly used even for systems that change over time. At the same time, however, the system specification is not precise enough in these approaches. READ MORE