Choong-ho Yi

发表

Reasoning about Concurrent Actions in the Trajectory Semantics

Choong-ho Yi, 1995 .

Informella och formella metoder för systemutveckling- med fokus på UML

Choong-ho Yi, 2000 .

Informal and formal methods for systems development - focusing on UML

Choong-ho Yi, 2001 .

Modelling object-oriented dynamic systems using a logic-based framework

Choong-ho Yi, C. Yi, 2002 .

A Framework for Representing and Reasoning with Information Systems

Choong-ho Yi, 1999 .

A Many-Sorted Temporal Logic for Reasoning with Business Goals

Choong-ho Yi, Johannesson, 1999 .

Representing and Reasoning with Scenarios within Information Systems Modelling

Choong-ho Yi, 2000 .