We present a new, automatic technique to assess whether replacing a component of a
software system by a purportedly compatible component may change the behavior of the …

Previous work proposed a technique for predicting problems resulting from replacing one
version of a software component by another. The technique reports, before performing the …

In the context of automotive applications, complex tasks such as automatic driving of electric
vehicles are handled through the composition of several components, each offering a …

Since the early 1990's, component-based software technology has become an increasingly
popular approach to facilitate the development of evolving systems as it promised to address …

Non-functional requirements of component based systems are important as their functional
requirements, therefore they must be considered in components assembly. These properties …

The paper addresses the problem of designing a component that combined with a known
part of a system, called the context FSM, is a reduction of a given specification FSM. We …

Software development has been coupled with time and cost problems through history. This
has motivated the search for flexible, trustworthy and time and cost-efficient development. In …

Anotace Vývoj bezchybných komponentových systémů je velice obtížný úkol z důvodu
vysoké pravděpodobnosti konfliktů ve vzájemné interakci komponent, které jsou z principu …

Software errors often occur at the interfaces between separately developed components.
Incompatibilities are an especially acute problem when upgrading software components, as …

This article investigates software engineering techniques for designing and reengineering
knowledge-based system generators, focusing on inference engines and domain specific …