Towards research on software cybernetics

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 2002-January, Issue , 2002, Pages 240-241

  Cai, Kai Yuan ^a   Chen, T Y ^b   Tse, T H ^c  

^a BEIHANG UNIVERSITY   (China)

^b SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

^c UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Adaptive control; Automatic control; Control systems; Control theory; Cybernetics; Information technology; Programming; Software engineering; Software testing; System testing

Indexed keywords

AUTOMATION; CONTROL; CONTROL SYSTEMS; CONTROL THEORY; CYBERNETICS; INFORMATION TECHNOLOGY; MATHEMATICAL PROGRAMMING; SOFTWARE ENGINEERING; SOFTWARE TESTING; SYSTEMS ENGINEERING;

ADAPTIVE CONTROL; RESEARCH POTENTIAL; SOFTWARE CYBERNETICS; SYSTEM TESTING;

ADAPTIVE CONTROL SYSTEMS;

EID: 0344128001     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2002.1173129     Document Type: Conference Paper

References (6)

1. K.-Y. Cai, "Optimal software testing and adaptive software testing in the context of software cybernetics", Information and Software Technology 44 (2002) (to appear).
2. D. Hanselman and B.R. Littlefield, Mastering Matlab 6, Prentice Hall, Englewood Cliffs, New Jersey (2001).
3. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems", Proceedings of the IEEE 77 (1): 81-98 (1989).
4. K. C. Wong, J. G. Thistle, R. P. Malhame and H.-H. Hoang, "Supervisory control of distributed systems: conflict resolution", Discrete Event Dynamic Systems: Theory and Applications 10 (1/2): 131-186 (2000).
5. K.-Y. Cai, T. Y. Chen, Y.-C. Li and Y. T. Yu, "On the on-line parameter estimation problem in adaptive software testing" (in preparation).
6. C. Bai, K.-Y. Cai and T.Y. Chen, "Necessary/sufficient conditions for software defect curves" (in preparation).