Titlebook: Software Engineering and Formal Methods; SEFM 2015 Collocated Domenico Bianculli,Radu Calinescu,Bernhard Rumpe Conference proceedings 2015

敬礼

Combining Time and Concurrency in Model-Based Statistical Testing of Embedded Real-Time Systems case generation and the calculation of parameters that aid the test process. However, a classical TUM only supports sequential uses of the system under test (SUT). It is not capable of dealing with concurrency, which is required for state of the art real-time embedded systems. Therefore, we introdu

Flat-Feet

Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Designtic approach to formally model the system to be tested, and propose test cases ensuring coverage of given conditions or interactions between parameters. In this position paper we propose a framework for supporting . CTD, a human-centered methodology, which takes into account the human tester’s possi

caldron

Behavioral Types for Component-Based Development of Cyber-Physical Systemse the well established concept of type systems with its well studied benefits for programming languages, e.g., fast automatic detection of incompatibilities and coercion, also in the cyber-physical world of domains such as embedded systems. So, spatial behavioral types support development and better

cortisol

squander

MARS

GuideForce: Type-Based Enforcement of Programming Guidelinesre capable of checking that programming guidelines related to secure web programming are correctly and reasonably applied. We outline the project plan and motivation and then describe a pilot study carried out with Soot, a Java-based program analysis framework. While still maintaining high accuracy

hypertension

Palter

Towards a Boosted Route Planner Using Individual Mobility Modelspeople who move in a certain area systematically. Indeed, due to their expertise, they very often prefer different solutions. In this paper we provide an analytic model to study the deviations of the systematic movements from the paths proposed by a route planner. As proxy of human mobility we use r

抛媚眼

Design of a Business-to-Government Information Sharing Architecture Using Business Rulesit might be misused. Taking this into account is however often overlooked in the design of software architectures. In this research we apply a design science approach to develop an software architecture that is acceptable by businesses. From a case study we derive the requirements an architecture sh

六边形

Process Mining as a Modelling Tool: Beyond the Domain of Business Process Managementformation systems in the form of event logs. It allows to discover not only relations and structure in data but also control flow, and produces a process model, which can then be visualised as a process map. In addition to discovery, process mining supports conformance analysis, a technique to compa