In the last years, as object-oriented software systems became more and more complex, the need of performing automatically reverse engineering upon these systems has increased sign...
There is a need for mechanisms for maintaining and restoring software integrity on deployed systems. Dynamic replacement, removal and addition of components in deployed systems is...
A manual for a closed laboratory incorporating software engineering concepts was developed and implemented for Ada’95 during the 1998-1999 academic year. The software engineerin...
This report describes the current state of software engineering for safety and proposes some directions for needed work that appears to be achievable in the near future. Keywords ...
Scientists today conduct new research via software-based experimentation and validation in a host of disciplines, including materials science, life sciences, astronomy, and physic...
David Woollard, Chris Mattmann, Daniel Popescu, Ne...