Skip to main content

3 Result(s)

within Yuechen Qian Remove this filter Information Systems Applications (incl. Internet) Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    UML in Action: Integrating Formal Methods in Industrial Design Education

    When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification methods such as the Universal M...

    Jun Hu, Philip Ross, Loe Feijs, Yuechen Qian in Technologies for E-Learning and Digital En… (2007)

  2. No Access

    Chapter and Conference Paper

    Turning Photo Annotating Tasks into Instant Messaging Fun: Prototy**, User Trials, and Roadmap**

    In this article we report on our research that integrates photo annotation tasks into online chatting. Users of our system can share and annotate digital photos online while chatting. There are two major innov...

    Yuechen Qian, Loe M. G. Feijs in Entertainment Computing – ICEC 2004 (2004)

  3. No Access

    Article

    A syntactic proof of the conservativity of λω over λ2

    In this paper, the relationship between the second order typed λ-calculus λ2 and its higher order version λω is discussed. A purely syntactic proof of the conservativity of λω over λ2 is given.

    Fangmin Song, Yuechen Qian in Journal of Computer Science and Technology (1999)