Towards Continuously Auditable Systems

We argue that the trustworthiness of evolving software systems can be significantly enhanced by a rigorous process of independent on-line monitoring throughout the evolutionary lifetime of the system. Such monitoring can prevent fraud, encourage careful maintenance, and serve as an early detector of irregularities in the state and behavior of the system.

[1]  Beth A. Schroeder.  On-Line Monitoring: A Tutorial , 1995, Computer.

[2]  Naftaly H. Minsky,et al.  Law-Governed Regularities in Object Systems. Part 1: An Abstract Model , 1996, Theory Pract. Object Syst..

[3]  Naftaly H. Minsky.  Independent on-line monitoring of evolving systems , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[4]  Naftaly H. Minsky.  Law-governed systems , 1991, Softw. Eng. J..

[5]  Naftaly H. Minsky,et al.  Law-Governed Regularities in Object Systems, Part 2: A Concrete Implementation , 1997, Theory Pract. Object Syst..

[6]  Gail E. Kaiser,et al.  Intelligent assistance for software development and maintenance , 1988, IEEE Software.

[7]  Victoria Ungureanu,et al.  Regulated Coordination in Open Distributed Systems , 1997, COORDINATION.