References
- E. Coskun, M. Grabowski, 'Complexity in embedded intelligent real time systems', ACM Proceeding of ACM, the 20th international conference on Information Systems, 1999, Pages: 434-439
- S elic, B., Motus, L., 'Using Models in Real-Time Software Design' IEEE Magazine of Control Systems, Volume: 23, Issue: 3, June 2003 Pages: 31 -42 https://doi.org/10.1109/MCS.2003.1200244
- D el Bianco, V., Lavazza, L., Mauri, M., 'Model checking UML specifications of real time software' Proceedings of IEEE International Conference on Engineering of Complex Computer Systems, 2002. Eighth, 2-4 Dec. 2002 Pages: 203 - 212
- R. Alur, C. Courcoubetis, T.A. Henzinger, and P.-H. Ho, 'Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems,' Hybrid Systems, R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, eds., 1993
- R. Alur and D.L. Dill, 'A Theory of Timed Automata,' Theoretical Computer Science, vol. 126, pp. 183-235, 1994 https://doi.org/10.1016/0304-3975(94)90010-8
- P. Bellini, R. Mattolini, and P. Nesi, 'Temporal Logics for Real-Time System Specification,' ACM Computing Surveys, vol. 32, no. 1, pp. 12-42, 2000 https://doi.org/10.1145/349194.349197
- Barreto, R., Maciel, P., Cavalcante, S., 'A Modeling Methodology and Pre-Run Time Scheduling for embedded real-time software' IEEE Proceedings of 15th Symposium on Computer Architecture and High Performance Computing, 2003. 10-12 Nov. 2003, Pages: 72-79
- T. Henzinger, Z. Manna, and A. Pneuli, 'Temporal Proof Methodologies for Real-Time Systems,' Proc. 18th ACM Symp. Principles of Programming Languages, pp. 353-366, 1991
- F. Jahanian and A. Mok, 'Safety Analysis of Timing Properties in Real-Time Systems,' IEEE Trans. Software Eng., vol. 12, pp. 890-904, 1986
- B. Dutertre, 'Formal Analysis of the Priority Ceiling Protocol,' Proc. IEEE Real-Time Systems Symp., pp. 151-160, Nov. 2000
- E.M. Clarke and J.M. Wing, 'Formal Methods: State of the Art and Future Directions,' ACM Computing Surveys, Dec. 1996
- D. Dill and J. Rushby, 'Acceptance of Formal Methods: Lessons from Hardware Design,' Computer, vol. 29, pp. 23-24, 1996
- C. Heitmeyer, 'On the Need for Practical Formal Methods,' Proc Fifth Int'l Symp. Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998
- P. Cousot and R. Cousot, 'Verification of Embedded Software: Problems and Perspectives,' Proc. Int'l Workshop Embedded Software (EMSOFT 2001), 2001
- Software Fundamentals: Collected Papers by David L. Pamas. D.M. Hoffman and D.M. Weiss, eds., Addison-Wesley, 2001
- WebSphere Business Integration Server. www.ibm. com/software/integration/wbiserver/
- Business Process Execution Language for Web Services, Version 1.1: BEA Systems, IBM, Microsoft, SAP AG and Siebel Systems, May 2003. www-106. ibm.com/developerworks/library/ws-bpel/
- Simple Object Access Protocol (SOAP) 1.1: W3C, May 2000. www.w3.org /TR/SOAP/
- M. M. Lehman, J. F. Ramil, P. D.Wemick, D. E. Perry, and W. M. Turski. Metrics and Laws of Software Evolution The Nineties View. In Fourth International Software Metrics Symposium (Metrics97), Albuquerque, NM, 1997
- Gorodetsky, V.; Karsaeyv, O.; Samoilov, V, 'Software tool for agent-based distributed data mining' Integration of Knowledge Intensive Multi-Agent Systems, 2003. IEEE International Conference on Data Mining, 30 Sept-a Oct. 2003, Pages:710-715
- J. M. Bieman, A. A. Andrews, and H. J. Yang. Understanding change-proneness in OO software through visualization. In Proc. 11th International Workshop on Program Comprehension, pages 44-53, Portland, Oregon, May 2003
- Autonomic computing, IBM's perspective on the state of information technology. October 2001. www.research.ibm.com/autonomic/manifesto/auto nomic_computing.pdf
- www.ibm.com/servers/autonomic
- IBM Corporation: 'Autonomic computing architecture: a blueprint for managing complex computing environments'. October 2002. www.ibm.com/autonomic/pdfs/ ACwhitepaper1022.pdf