Introduction to the special section on software cybernetics

Journal of Systems and Software

Volumn 79, Issue 11, 2006, Pages 1483-1485

  Belli, Fevzi ^a   Cai, Kai Yuan ^a   DeCarlo, Raymond ^a   Mathur, Aditya ^a  

^a BEIHANG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33748305661     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2006.03.037     Document Type: Editorial

References (13)

1. Barrett G., and Lafortune S. Bisimulation, the supervisory control problem and strong model matching for finite state machines. Discrete Event Dynamic Systems: Theory and Applications 8 (1998) 377-429
2. Cai K.Y. Optimal software testing and adaptive software testing in the context of software cybernetics. Information and Software Technology 44 (2002) 841-855
3. Cai K.Y., Cangussu J.W., DeCarlo R.A., and Mathur A.P. An overview of software cybernetics. Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (2003), IEEE Computer Society Press 77-86
4. Cai, K.Y., Chen, T.Y., Tse, T.H., 2002. Towards research on software cybernetics. In: Proceedings of 7th IEEE International Symposium on High Assurance Systems Engineering, pp. 240-241.
5. Cai K.Y., Li Y.C., and Liu K. Optimal and adaptive testing for software reliability assessment. Information and Software Technology 46 (2004) 989-1000
6. Cai K.Y., and Wang X.Y. Towards a control-theoretical approach to software fault-tolerance. Proceedings of the 4th International Conference on Quality Software (2004), IEEE Computer Society Press 198-205
7. Cangussu J.W., DeCarlo R.A., and Mathur A.P. A formal model for the software test process. IEEE Transactions on Software Engineering 28 8 (2002) 782-796
8. Cangussu J.W., DeCarlo R.A., and Mathur A.P. Using sensitivity analysis to validate a state variable model of the software test process. IEEE Transactions on Software Engineering 28 5 (2003) 430-443
9. Liu, Y., Trivedi, K.S., Ma, Y., Han, J.J., Levendel, H., 2002. Modeling and Analysis of Software Rejuvenation in Cable Modem Termination Systems. In: Proceedings of the 13th International Symposium on Software Reliability Engineering.
10. Rutten, J.J.M.M., 1999. Coalgebra, Concurrency, and Control, CWI, SEN-R9921.
11. In: Samad T., and Balas G. (Eds). Software-Enabled Control: Information Technology for Dynamical Systems (2003), IEEE Press
12. Sridharan, B., Mathur, A.P., Cai, K.Y., 2003. Synthesizing distributed controller for safe operation of connected spaces. In: Proceedings of the IEEE International Conference on Pervasive Computing and Communication, pp. 452-459.
13. Want R., Pering T., and Tennenhouse D. Comparing autonomic and proactive computing. IBM Systems Journal 42 1 (2003) 129-135