Sökning: "Choong-ho Yi"

Hittade 3 avhandlingar innehållade orden Choong-ho Yi.

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

   Författare :Choong-ho Yi; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Information Systems; Informatik;

   Sammanfattning : .... LÄS MER

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

   Författare :Choong-Ho Yi; Linköpings universitet; []
   Nyckelord :HUMANIORA; HUMANITIES;

   Sammanfattning : We have introduced concurrency into the framework of Sandewall. The resulting formalism is capable of reasoning about interdependent as well as independent concurrent actions. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER