Software Testing can take up to half of the resources of the development of new software.
Although there has been a lot of work on automating the testing phase, fixing a bug after its …

This chapter describes SERENITY's approach to runtime monitoring and the framework that
has been developed to support it. Runtime monitoring is required in SERENITY in order to …

We consider evolvable computational systems built as hierarchies of evolvable components,
where an evolvable component is an encapsulation of a supervisory component and its …

In previous work, we have proposed a multi-level agent model with at least a meta-level
aimed at meta-reasoning and meta-control. In agents, these aspects are strongly related …

This paper deals with run-time detection and possible correction of erroneous and/or
anomalous behavior in agents. Agent behavior is affected by its interaction with the external …

This chapter describes SERENITY's approach to runtime monitoring and the framework that
has been developed to support it. Runtime monitoring is required in SERENITY in order to …

Change over time is a fact. The world is characterized by ongoing processes of
development, formation, and growth in both natural and human-created systems. For …

In previous work, we have proposed a multi-level agent model with (at least) a meta-level
aimed at meta-reasoning and meta-control. In agents, these aspects are strongly related …

In this note, we present an account of logical descriptions which consist of sets of formulae
defining the current state of a system. Models of these descriptions are those that are …

In this note, we consider a notion of minimum model suitable for formulating a semantics of
evolvable computing systems using a revision-based logic. We explore a range of proof …