68 search results - page 7 / 14 » SeDiTeC - Testing Based on Sequence Diagrams |
AAMAS
2004
Springer
14 years 9 months ago
2004
Springer
In this paper we propose a multi-agent system modeling language (MAS-ML) that extends UML (Unified Modeling Language) based on structural and dynamic properties presented in a conc...
3DPH
2009
14 years 10 months ago
2009
For the convincing modeling of virtual humans, realistic breathing is an important aspect. This paper is about the simulation of breathing, based on anatomical and physiological pr...
77
Voted
APN
2000
Springer
15 years 1 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
ISORC
2006
IEEE
15 years 3 months ago
2006
IEEE
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of...
95
Voted
APSEC
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents an integrated process model of use-case driven analysis and task analysis for developing interactive systems. In the process model, an analysis model is develo...