The development process of on-board software applications can benefit from model-driven
engineering techniques. Model validation and model transformations can be applied to drive …

The evolution of software testing technologies has significantly reduced software testing
execution times, but the test design and generation are still often implemented with slow …

The success of Web applications is constrained by two key features: fast evolution and
usability. Current Web engineering approaches follow a" unified" development style which …

Human resource management practices are key for the success of software development
projects. Practices that promote knowledge sharing and organizational learning are …

The work in this paper presents recent advances in developing a theory of information flow
security specifically geared towards preserving the event confidentiality in Cyber-Physical …

Model-based testing is a well known technique to generate automatically highly qualitative
tests for a given system based on a simplified testing model. Test-driven development is an …

In this paper we describe a Model Based approach to testing of on-board software and
compare it with traditional validation strategy currently applied to satellite software. The …

Test Driven Development (TDD), as a quality promotion approach, suffers from some
shortages that discourage its usage. One of the most challenging shortcomings of TDD is the …

Described herein are techniques for improving the effi ciency of computer implemented
services. In the following description, for purposes of explanation, numerous examples and …

Software should be developed in a way that achieves high external and internal quality.
Most programs have to be maintained or are extended. They should not only adhere to their …