RELMICS
2015
Springer
8 years 9 months ago
2015
Springer
Abstract. We give an informal description of a recursive representabilitypreserving reduction of relation algebras to cylindric algebras.
RELMICS
2015
Springer
8 years 9 months ago
2015
Springer
Gabbay and Ciancia (2011) presented a nominal extension of Kleene algebra as a framework for trace semantics with statically scoped allocation of resources, along with a semantics ...
REFSQ
2015
Springer
8 years 9 months ago
2015
Springer
REFSQ
2015
Springer
8 years 9 months ago
2015
Springer
Abstract. [Context and motivation] It is desirable that requirement engineering methods are reliable, that is, that methods can be repeated with the same results. Risk assessments ...
REFSQ
2015
Springer
8 years 9 months ago
2015
Springer
Designing safety-critical cyber physical systems (CPS) was and remains a challenging task. CPS engineers are supposed to design solutions that are easy to modify, reusable, satisfy...
REFSQ
2015
Springer
8 years 9 months ago
2015
Springer
[Context and motivation] Requirements engineers create large numbers of artifacts when eliciting and documenting requirements. They need to navigate through these artifacts and dis...
REFSQ
2015
Springer
8 years 9 months ago
2015
Springer
We propose an approach for capturing evolving requirements for work support systems that are organically created by co-workers in self-organized, networked organizations. It is in ...
REFSQ
2015
Springer
8 years 9 months ago
2015
Springer
REFSQ
2015
Springer
8 years 9 months ago
2015
Springer
Context: Software organizations working in a market-driven environment have to select requirements from a large pool to be prioritized and put into backlogs for the development org...
REFSQ
2015
Springer
8 years 9 months ago
2015
Springer
When looking at the term "continuous requirements engineering", there is a limited number of sources using this term in different collections of scientific papers. Howeve...