Increasingly today the trend emerges within several specific application domains of adopting standard metadata formats for codifying the documents and the files exchanged across applications and stakeholders of that domain. Given a standard format and ...

Software engineering is a discipline that cannot be applied based solely on elegant theories. Real software production requires software solutions that may apply a mixture of engineering and ad-hoc practices in a systematic way. In this sense, ...

Because of the growing complexity of wireless sensor network applications (WSNs), traditional software development tools are being developed that are specifically designed for their special characteristics. However, testing tools have yet to be ...

This paper proposes a symbolic debugging environment specific to the web applications domain. Complex web applications are executed in an event-driven way by individual web scripts that react to HTTP requests coming from a browser, but share the same ...

Lutess is a testing environment designed for synchronous software specified with Lustre, a synchronous data-flow language widely used in safety critical domains such as avionics, energy and transport. Lutess automatically transforms the formal ...

Event-driven software (EDS) is a widely used class of software that takes sequences of events as input, changes state, and outputs new event sequences. Managing the size of tests suites for EDS is difficult as the number of event combinations and ...