Sciweavers

884 search results - page 24 / 177
» A semantics of sequence diagrams
Sort
View
78
Voted
ECBS
2009
IEEE
187views Hardware» more  ECBS 2009»
15 years 4 months ago
On the Meaning of SysML Activity Diagrams
In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational se...
Yosr Jarraya, Mourad Debbabi, Jamal Bentahar
IEE
2008
116views more  IEE 2008»
14 years 9 months ago
Evaluating formal properties of feature diagram languages
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
Patrick Heymans, Pierre-Yves Schobbens, Jean-Chris...
DLOG
2010
14 years 7 months ago
Logic for Modeling Product Structure
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
Henson Graves
CCS
2004
ACM
15 years 3 months ago
MAC and UML for secure software design
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
Thuong Doan, Steven A. Demurjian, T. C. Ting, Andr...
SPIESR
2003
129views Database» more  SPIESR 2003»
14 years 11 months ago
Visual interfaces for a semantic content-based image retrieval system
In an earlier study a Semantic Content Based Image Retrieval system was developed. The system requires a Visual Object Process Diagram - VOPD to be created for each image in the d...
Hagit Zabrodsky Hel-Or, Dov Dori