Sciweavers

8154 search results - page 389 / 1631
» Understanding changes in use cases: A case study
Sort
View
GI
2010
Springer
15 years 4 months ago
Extended Workflow Flexibility using Rule-Based Adaptation Patterns with Eventing Semantics
: In several industry scenarios, it is often the case that an existing reference workflow has to be adapted according to specific context factors, which might even change at runtim...
Markus Döhring, Birgit Zimmermann, Eicke Gode...
SERP
2010
15 years 4 months ago
The Viability of UML Models in Small Web Applications
As the use of online business systems increase so does the need to produce more efficient and less error prone web based Modeling is a core abstraction mechanism used to manage co...
Jason Dudley, Devon Simmonds
FAC
2011
51views more  FAC 2011»
15 years 1 months ago
Retrenchment for Event-B: UseCase-wise development and Rodin integration
UseCase-wise Development, an ‘Agile Method’ which introduces functionality into an application stage by stage, with each stage being carried through (ideally) to implementation...
Richard Banach
CCS
2006
ACM
15 years 10 months ago
Using model-based security analysis in component-oriented system development
We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...
Gyrd Brændeland, Ketil Stølen
ASM
2008
ASM
15 years 8 months ago
A Concept-Driven Construction of the Mondex Protocol Using Three Refinements
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
Gerhard Schellhorn, Richard Banach