Sciweavers

156 search results - page 27 / 32
» Requirements Traceability
Sort
View
RE
2007
Springer
14 years 1 months ago
Consistency Checking of Conceptual Models via Model Merging
Requirements elicitation involves the construction of large sets of conceptual models. An important step in the analysis of these models is checking their consistency. Existing re...
Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos...
CTRSA
2005
Springer
221views Cryptology» more  CTRSA 2005»
14 years 28 days ago
Accumulators from Bilinear Pairings and Applications
We propose a dynamic accumulator scheme from bilinear pairings, whose security is based on the Strong Diffie-Hellman assumption. We show applications of this accumulator in constru...
Lan Nguyen
RE
2005
Springer
14 years 27 days ago
An Algebraic Framework for Merging Incomplete and Inconsistent Views
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...
Mehrdad Sabetzadeh, Steve M. Easterbrook
JIT
2004
Springer
166views Database» more  JIT 2004»
14 years 23 days ago
Feature-Oriented Development of Software Product Lines: Mapping Feature Models to the Architecture
Software product lines (PLs) present a solid approach in large scale reuse. Due to the PLs’ inherit complexity, many PL methods use the notion of ”features” to support requir...
Periklis Sochos, Ilka Philippow, Matthias Riebisch
ICDS
2010
IEEE
14 years 21 days ago
Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework
Abstract—Recently, two complementary approaches are proposed to represent, model and analyze laws: the Nomos and VLPM approaches. Nomos is a goal-oriented approach to effectively...
Adolfo Villafiorita, Komminist Weldemariam, Angelo...