UML in action: integrating formal methods in industrial design education

Authors:
Jun Hu;Philip Ross;Loe Feijs;Yuechen Qian
Affiliations:
Eindhoven University of Technology, Eindhoven, NL;Eindhoven University of Technology, Eindhoven, NL;Eindhoven University of Technology, Eindhoven, NL;Philips Research, Eindhoven, NL
Venue:
Edutainment'07 Proceedings of the 2nd international conference on Technologies for e-learning and digital entertainment
Year:
2007

Citing 8
Cited 2

Object-oriented technology: a manager's guide

Object-oriented technology: a manager's guide
Actors, hairdos & videotape—informance design

CHI '94 Conference Companion on Human Factors in Computing Systems
Experience prototyping

DIS '00 Proceedings of the 3rd conference on Designing interactive systems: processes, practices, methods, and techniques
Component algebra

Science of Computer Programming
Agile Software Development: Principles, Patterns, and Practices

Agile Software Development: Principles, Patterns, and Practices
Hands-only scenarios and video action walls: novel methods for tangible user interaction design

DIS '04 Proceedings of the 5th conference on Designing interactive systems: processes, practices, methods, and techniques
Component-Wise Mapping of Media-Needs to a Distributed Presentation Environment

COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
The case of sculpting atmospheres: towards design principles for expressive tangible interaction in control of ambient systems

Personal and Ubiquitous Computing

AdMoVeo: A Robotic Platform for Teaching Creative Programming to Designers

Edutainment '09 Proceedings of the 4th International Conference on E-Learning and Games: Learning by Playing. Game-based Education System Design and Development
Transferring design knowledge: challenges and opportunities

Edutainment'10 Proceedings of the Entertainment for education, and 5th international conference on E-learning and games

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 Modeling Language have been widely accepted. Teaching design students these formal methods is non-trivial because most of design students often have difficulties in programming the behaviors of complex produces and systems. Instead of programming, this paper presents a technique, namely "acting-out", for design students to master the formal methods. The experience shows that acting-out not only worked out very well as a teaching technique, but also showed the potential for bridging the processes of industrial design and software engineering.