Sciweavers

6253 search results - page 17 / 1251
» Use Case Modeling Guidelines
Sort
View
MC
2008
126views Computer Science» more  MC 2008»
14 years 11 months ago
Identifying User Interface Patterns from Pertinent Multimodal Interaction Use Cases
The context of this work is usability engineering for multimodal interaction. In contrast to other work centrates on prototyping toolkits or abstract guidelines, this research foc...
Andreas Ratzka
COMSWARE
2006
IEEE
15 years 3 months ago
Case study on the use of SDL for specifying an IETF micro mobility protocol
—Recent protocols are become increasingly complex, and lead to further level of complexity when used in combination, often resulting in ambiguous behavior. This paper, starting f...
Telemaco Melia, Amardeo Sarma, Rui L. Aguiar, Diet...
64
Voted
KES
2009
Springer
15 years 4 months ago
Domain Modeling Based on Engineering Standards
In this paper we present a new methodology for the Domain modeling based on Engineering Standards. We discuss some benefits of standards as guidelines for a Knowledge Based Domain ...
Carlos Toro, Manuel Graña, Jorge Posada, Ja...
NFM
2011
264views Formal Methods» more  NFM 2011»
14 years 4 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...
QSIC
2007
IEEE
15 years 4 months ago
Model Checking Security Pattern Compositions
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
Jing Dong, Tu Peng, Yajing Zhao