REFSQ
2015
Springer
8 years 9 months ago
2015
Springer
Abstract. Requirements engineering (RE) is typically associated with the creation of a service or product. Its activities are usually not immediately considered to be part of the p...
REFSQ
2015
Springer
8 years 9 months ago
2015
Springer
Various security requirements sources need to be incorporated when developing security requirements. A challenge for teams developing security requirements is to identify and struc...
BIRTHDAY
2015
Springer
8 years 9 months ago
2015
Springer
BIRTHDAY
2015
Springer
8 years 9 months ago
2015
Springer
Abstract. The notion of module extraction has been studied extensively in the ontology community. The idea is to extract, from a large ontology, those axioms that are relevant to c...
BIRTHDAY
2015
Springer
8 years 9 months ago
2015
Springer
Situational awareness applications used in disaster response and tactical scenarios require efficient communication without support from a fixed infrastructure. As commercial off...
BIRTHDAY
2015
Springer
8 years 9 months ago
2015
Springer
BIRTHDAY
2015
Springer
8 years 9 months ago
2015
Springer
Developing autonomic systems is a major challenge due to their distributed nature, large dimension, high dynamism, openendedness, and need of adaptation. In this paper, we tackle t...
BIRTHDAY
2015
Springer
8 years 9 months ago
2015
Springer
We present a framework for formal software development with UML. In contrast to previous approaches to equipping UML with a formal semantics, we propose an institution-based hetero...
BIRTHDAY
2015
Springer
8 years 9 months ago
2015
Springer
In the seminal paper [6], Gerd Brewka argued that ranking a set of default rules without prerequisites, and selecting extensions according to a lexicographic refinement of the inc...
BIRTHDAY
2015
Springer
8 years 9 months ago
2015
Springer
ompact abstractions for processor pipelines∗ Sebastian Hahn, Jan Reineke Informatik, Saarland University Saarbr¨ucken Reinhard Wilhelm Informatik, Saarland University and AbsInt...