In this paper, we review current requirements engineering (RE) research and identify future
research directions suggested by emerging software needs. First, we overview the state of …

Recently, contract-based design has been proposed as an “orthogonal” approach that
complements system design methodologies proposed so far to cope with the complexity of …

In this paper, we review current requirements engineering (RE) research and identify future
research directions suggested by emerging software needs. First, we overview the state of …

Model Management addresses the problem of managing an evolving collection of models,
by capturing the relationships between models and providing well-defined operators to …

Models are good at expressing information about software but not as good at expressing
modelers' uncertainty about it. The highly incremental and iterative nature of software …

Sleep deprivation attacks are a form of denial of service attack whereby an attacker renders
a pervasive computing device inoperable by draining the battery more quickly than it would …

If a modeling task is distributed, it will frequently be necessary to merge models developed
by different team members. Existing approaches to model merging make assumptions about …

Synthesis of behavior models from software development artifacts such as scenario-based
descriptions or requirements specifications helps reduce the effort of model construction …

Abstract Models are good at expressing information that is known but do not typically have
support for representing what information a modeler does not know at a particular phase in …

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 …