Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
CBSE
2015
Springer
5 years 7 months ago
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems
This paper introduces a new technique for dynamic verification of component-based real-time systems based on statistical inference. Verifying such systems requires checking two t...
Chandrakana Nandi, Aurelien Monot, Manuel Oriol
CBSE
2015
Springer
5 years 7 months ago
Employing Domain Knowledge for Optimizing Component Communication
The emerging area of (smart) Cyber Physical Systems (sCPS) triggers demand for new methods of design, development, and deployment of architecturally dynamic distributed systems. C...
Michal Kit, Frantisek Plasil, Vladimir Matena, Tom...
CBSE
2015
Springer
5 years 7 months ago
Change-Driven Consistency for Component Code, Architectural Models, and Contracts
During the development of component-based software systems, it is often impractical or even impossible to include all development information into the source code. Instead, specia...
Max E. Kramer, Michael Langhammer, Dominik Messing...
CBSE
2015
Springer
5 years 7 months ago
Architectural Abstractions for Hybrid Programs
Ivan Ruchkin, Bradley R. Schmerl, David Garlan
CBSE
2015
Springer
5 years 7 months ago
Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks
The aggregation of network traffic has been shown to enhance the performance of wireless sensor networks. By reducing the number of packets that are transmitted, energy consumptio...
Gowri Sankar Ramachandran, Wilfried Daniels, Jos&e...
REFSQ
2015
Springer
5 years 7 months ago
Live Study Proposal: Collecting Natural Language Trace Queries
Sugandha Lohar, Jane Cleland-Huang, Alexander Rasi...
REFSQ
2015
Springer
5 years 7 months ago
Experimental Validation of a Risk Assessment Method
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 ...
Eelco Vriezekolk, Sandro Etalle, Roel Wieringa
REFSQ
2015
Springer
5 years 7 months ago
A Modular Safety Assurance Method considering Multi-Aspect Contracts during Cyber Physical System Design
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...
Peter Battram, Bernhard Kaiser, Raphael Weber
REFSQ
2015
Springer
5 years 7 months ago
FlexiView: A Magnet-Based Approach for Visualizing Requirements Artifacts
[Context and motivation] Requirements engineers create large numbers of artifacts when eliciting and documenting requirements. They need to navigate through these artifacts and dis...
Parisa Ghazi, Norbert Seyff, Martin Glinz
REFSQ
2015
Springer
5 years 7 months ago
Using Work Agreements as Operation-time System Requirements for Emergent Work
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 ...
Stijn Hoppenbrouwers, Uwe van Heesch, Christian K&...
books