IEEE - Institute of Electrical and Electronics Engineers, Inc. - Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE)

Author(s): Vassev, E. ; Hinchey, M. ; Nixon, P.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2010
Conference Location: Taipei, Taiwan, Taiwan
Conference Date: 25 August 2010
Page(s): 3 - 8
ISBN (Paper): 978-1-4244-7847-7
DOI: 10.1109/TASE.2010.32
Regular:

Self-managing policies provide a self-management behavior for autonomic systems developed with ASSL (Autonomic System Specification Language). With ASSL we have successfully developed special... View More

Advertisement