Case Study on Human/System Interaction Specification using UML for ODP.
Hiroshi MiyazakiAkira TanakaPublished in: EDOCW (2008)
Keyphrases
- case study
- human interaction
- software development
- formal methods
- specification language
- human communication
- human robot
- state machine
- human robot interaction
- real world
- human computer interaction
- software engineering
- sequence diagrams
- human interactions
- requirements specification
- formal specification
- human behavior
- human subjects
- uml diagrams
- human operators
- oracle database
- conceptual models
- conceptual modeling
- object oriented
- database
- cognitive process
- high level
- unified modeling language
- activity diagrams
- social behavior
- data model
- interaction model
- user interaction
- virtual environment
- software architecture
- database design