Posted on

UML in Action: Integrating Formal Methods in Industrial Design Education

Jun Hu, Philip Ross, Loe Feijs and Yuechen Qian

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.

J. Hu, P. Ross, L. Feijs, and Y. Qian, “UML in Action: Integrating Formal Methods in Industrial Design Education ” Technologies for E-Learning and Digital Entertainment, Series, 4469/2007, pp. 489-498: Springer, 2007.
FULLTEXT: PDF HTML REFERENCE: BibTeX EndNote
DOI: 10.1007/978-3-540-73011-8_48
Posted on

Modeling and Specification in Action

A
product with sensors, actuators and network connections can offer an
interesting, useful, or playful behavior to its users and to the other
products, systems and services to which it is connected. The ID Master
takes responsibility for the creation of this behavior. If the product
isn’t stand-alone, neither is the designer. Whenever product behavior
is realized through computer software and protocols, the designer takes
advantage of being an excellent communicator in these matters.

Continue reading Modeling and Specification in Action