Page
%P
![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
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...
-
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...