This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is
about scenarios. Scenarios of system behavior. It con centrates on reactive systems, be they …

A powerful methodology for scenario-based specification of reactive systems is described, in
which the behavior is “played in” directly from the system's GUI or some abstract version …

This paper presents a set of rules that allows software engineers to transform the behavior
described by a UML 2.0 Sequence Diagram (SD) into a Colored Petri Net (CPN). SDs in …

Requirements validation is a critical task in any engineering project. The confrontation of
stakeholders with static requirements models is not enough, since stakeholders with non …

Requirements validation is a critical task in any engineering project. The confrontation of
stakeholders with static requirements models is not enough, since stakeholders with non …

It is commonly agreed that a well-balanced mix of collaboration, training and simulation
eventually produce a superior learner. Today's collaborative design and learning …

During the development of software systems, validation is a crucial activity to guarantee that
the software system fulfills the users' needs and expectations. A key issue to have a …

Abstract The integration of Learning Objects Repositories, Information Visualization, Web
and new Visual Interaction techniques will change and expand the paradigms of current …

Interactive multimedia elements allow information to be presented in a comprehensible
format, attuned to the way the students' minds work. Unfortunately, the actual profit of the …

Colored Petri Nets (CPNs) can be used as a cornerstoneevolutionary approach for software
prototyping. In thiswork, CPNs are not only a resource for design, but also fordeveloping …