Sciweavers

3432 search results - page 151 / 687
» Model Development in the UML-based Specification Environment...
Sort
View
DEXAW
2003
IEEE
110views Database» more  DEXAW 2003»
15 years 3 months ago
Methodology and Tools to Support Storytelling in Cultural Heritage Forums
Storytelling is a method by which members of a community communicate, learn and build identity. In the CIPHER project we aim to provide customisable tools for the sharing of stori...
Trevor D. Collins, Paul Mulholland, David Bradbury...
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
15 years 4 months ago
Common Semantics for Use Cases and Task Models
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
SAC
2009
ACM
15 years 4 months ago
LTS semantics for use case models
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
ECBS
1999
IEEE
129views Hardware» more  ECBS 1999»
15 years 2 months ago
Situation Assessment and Decision Making Integrated into the Process Centered Environment
Researchers have defined a number of process modeling methods and have developed in-roads to process-centered environments that support process modeling and project control. Howev...
Stephanie White, Susan Fife Dorchak, John T. Keane...
EUSAI
2003
Springer
15 years 3 months ago
User Mobility Model in an Active Office
User mobility in an Active Office represents human activity in a context awareness and ambient intelligent environment. This paper describes user mobility by detecting their changi...
Teddy Mantoro, Chris Johnson