1 |
D. Dill and J. Rushby, 'Acceptance of Formal Methods: Lessons from Hardware Design,' Computer, vol. 29, pp. 23-24, 1996
|
2 |
Simple Object Access Protocol (SOAP) 1.1: W3C, May 2000. www.w3.org /TR/SOAP/
|
3 |
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
|
4 |
Autonomic computing, IBM's perspective on the state of information technology. October 2001. www.research.ibm.com/autonomic/manifesto/auto nomic_computing.pdf
|
5 |
www.ibm.com/servers/autonomic
|
6 |
Software Fundamentals: Collected Papers by David L. Pamas. D.M. Hoffman and D.M. Weiss, eds., Addison-Wesley, 2001
|
7 |
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
|
8 |
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
|
9 |
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
|
10 |
B. Dutertre, 'Formal Analysis of the Priority Ceiling Protocol,' Proc. IEEE Real-Time Systems Symp., pp. 151-160, Nov. 2000
|
11 |
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
|
12 |
F. Jahanian and A. Mok, 'Safety Analysis of Timing Properties in Real-Time Systems,' IEEE Trans. Software Eng., vol. 12, pp. 890-904, 1986
|
13 |
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
|
14 |
E.M. Clarke and J.M. Wing, 'Formal Methods: State of the Art and Future Directions,' ACM Computing Surveys, Dec. 1996
|
15 |
C. Heitmeyer, 'On the Need for Practical Formal Methods,' Proc Fifth Int'l Symp. Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998
|
16 |
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
|
17 |
IBM Corporation: 'Autonomic computing architecture: a blueprint for managing complex computing environments'. October 2002. www.ibm.com/autonomic/pdfs/ ACwhitepaper1022.pdf
|
18 |
R. Alur and D.L. Dill, 'A Theory of Timed Automata,' Theoretical Computer Science, vol. 126, pp. 183-235, 1994
DOI
ScienceOn
|
19 |
P. Cousot and R. Cousot, 'Verification of Embedded Software: Problems and Perspectives,' Proc. Int'l Workshop Embedded Software (EMSOFT 2001), 2001
|
20 |
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
|
21 |
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
DOI
ScienceOn
|
22 |
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/
|
23 |
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
DOI
|
24 |
WebSphere Business Integration Server. www.ibm. com/software/integration/wbiserver/
|