![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...
-
Chapter and Conference Paper
Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates
In mobile computing environments, logging systems are often used to record updates during device disconnection and logs are used in data synchronization on reconnection. Portable devices often have resource co...