119
click to vote
RELMICS
2015
Springer
10 years 23 days ago
2015
Springer
Abstract. We give an informal description of a recursive representabilitypreserving reduction of relation algebras to cylindric algebras.
145
click to vote
RELMICS
2015
Springer
10 years 23 days 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 ...
147
Voted
REFSQ
2015
Springer
10 years 23 days ago
2015
Springer
154
Voted
REFSQ
2015
Springer
10 years 23 days 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 ...
137
Voted
REFSQ
2015
Springer
10 years 23 days 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...
151
click to vote
REFSQ
2015
Springer
10 years 23 days 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...
134
Voted
REFSQ
2015
Springer
10 years 23 days 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 ...
141
Voted
REFSQ
2015
Springer
10 years 23 days ago
2015
Springer
135
Voted
REFSQ
2015
Springer
10 years 23 days 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...
117
Voted
REFSQ
2015
Springer
10 years 23 days 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...