Logic Control and “Reactive” Systems: Algorithmization and Programming

1. International Standard IEC 1131–3: Programmable Controllers. Part 3. Programming Languages, International Electrotechnical Commission, 1993.

2. SIMATIC. Simatic S7/M7/C7. Programmable Controllers, Catalog St 70, SIEMENS, 1996.

3. TSX T607. Programming Terminal. User's Manual, Telemecanique, 1987.

4. Modicon Catalog and Specifier's Guide, Modicon, AEG Schneider Automation, 1995.

5. Programmable Controller. Melsec A. Programming Manual, Type ACPU, Common Instructions, Mitsubishi Electric.

6. ABB Procontic T200. Mid-Range Automation Systems using Modern Technology, ASEA Brown Boveri, 1994.

7. ET-PDS. Software for Programmable Logic Controllers, Tosiba International (Europe), 1995.

8. Shalyto, A.A., SWITCH-tekhnologiya. Algorimizatsiya i programmirovanie zadach logicheskogo upravleniya (SWITCH-Technology. Algorithmization and Programming of Logic Control Problems), St. Petersburg: Nauka, 1998.

   Google Scholar 

9. Guzik, I.M., Standard IEC 1131: GRAFSET Languague A Closer Look, Schneider Automation Club, 1999, no. 6.

10. Lavrov, S.S., Lektsii po teorii programmirovaniya. Uchebnoe posobie (Lectures on Theory of Programming: A Textbook), St. Petersburg: S.-Peterburg. Gos. Univ., 1999.

    Google Scholar 

11. Booch, G., Object-Oriented Analysis and Design with Applications, Redwood City: Benjamin/Cummings, 1994. Translated under the title Ob”ektno-orientirovannyi analiz i proektirovanie s primerami prilozhenii na C++, St. Petersburg: Nevskii Dialekt, 1998.

    Google Scholar 

12. Fowler, M. and Scott, K., UML Distilled: Applying the Standard Object Modelling Language, Reading: Addison-Wesley, 1997. Translated under the title UML v kratkon izlozhenii. Primenenie standartnogo yazyka ob”ektnogo modelirovaniya, Moscow: Mir, 1999.

    Google Scholar 

13. Klir, G.J., An Approach to General Systems Theory, New York: Van Nostrand, 1969. Translated under the title Abstraktnoe ponyatie sistemy kak metodologicheskoe sredstvo. Issledovaniya po obshchei teorii sistem, Moscow: Progress, 1969.

    Google Scholar 

14. Kuznetsov, B.P., Structure and Complexity of Cyclic Program Modules, Avtom. Telemekh., 1999, no. 2.

15. Odell, J.J., Advanced Object-Oriented Analysis and Design using UML, New York: SIGS Books, 1998.

    Google Scholar 

16. Tal', A.A., Aizerman, M.A., Rozonoer, L.I., et al., Logika. Avtomaty. Algoritmy (Logic, Automata, and Algorithms), Moscow: Fizmatgiz, 1963.

    Google Scholar 

17. Shatyto, A.A., Application of Graph-Schemes of Algorithms and Transition Graphs in Program Realization of Logic Control Algorithms, Avtom. Telemekh., 1996, nos. 6, 7.

18. Glushkov, V.M., Sintez tsifrovykh avtomatov (Synthesis of Digital Automata), Moscow: Fizmatgiz, 1962.

    Google Scholar 

19. Yourdon, E. and Argila, C., Case Studies in Object-Oriented Analysis and Design, Upper Saddle River: Prentice Yall, 1996. Translated under the title Strukturnye modeli v ob”ektno-orientirovannom analize i proektirovanii, Moscow: Lori, 1999.

    Google Scholar 

20. Ross, D.T., Structured Analysis (SA): A Language for Communicating Ideas, IEEE Trans. Software Eng., 1977, vol. SE-3, no. 1.

21. Chow, T.S., Testing Software Design Modeled by Finite State Machines, IEEE Trans. Soft. Eng., 1978, no. 3.

22. King, D., et al., On Object State Testing, in 18th Annu. Int. Computer Software & Applications Conf., Los Alamitos: IEEE Computer Society, 1993.

    Google Scholar 

23. Turner, C.D. and Robson, D.J., The State-Based Testing of Object-Oriented Programs, in Conf. Software Maintenance, Los Alamitos: IEEE Computer Society, 1993.

    Google Scholar 

24. Jorgenson, P. and Erickson, C., Object-Oriented Integration Testing, Com. ACM, 1994, no. 9.

25. Bunder, R.V., The FREE-Flow Graph: Implementation-Based Testing of Objects Using State-Determined Flows, in 8th Annu. Software Quality Week, San Francisco: Software Research, 1995.

    Google Scholar 

26. Burgonov, I.B., Kosachev, A.S., and Kulyamin, V.V., Use of Finite Automata in Program Testing, Programmirovanie, 2000, no. 2.

27. Kurshan, R.P., Computer-Aided Verification of Coordinated Prosesses The Automata-Theoretic Approach, Princeton: Princeton Univ. Press, 1994.

    Google Scholar 

28. Kurshan, R.P., Program Verification, Notices ACM, 2000, no. 5.

29. Shatyto, A.A., Implementation of Logic Control Algorithms in Functional Block Language, Prom. ASU Kontrollery, 2000, no. 4.

30. Martin, R.C., Designing Object-Oriented C++ Applications Using the Booch Method, Englewood Cliffs: Prentice Hall, 1995.

    Google Scholar 

31. Prigozhin, I. and Stengers I., Order in Chaos, Moscow: Editorial URSS, 2000.

    Google Scholar 

32. Traxtenbrot, B.A. and Bargzin, Ya.M., Konechnye avtomaty. Povegenie i sintez (Finite Automata: Behavior and Synthesis), Moscow: Nauka, 1970.

    Google Scholar 

33. Gill, A., Introduction to the Theory of Finite-State Machines, New York: McGraw-Hill, 1962. Translated under the title Vvedenie v meoriyu konechnykh avtomatov, Moscow: Nauka, 1966.

    Google Scholar 

34. Friedman, A.D. and Menon, P.R., Theory and Design of Switching Circuits, New York: Computer Sci., 1975. Translated under the title Teoriya i proektirovanie pereklyuchatel'nykh skhem, Moscow: Mir, 1978.

    Google Scholar 

35. Kaner, C., Falk, J., and Hung Quoc Nguyen, Testing Computer Software, New York: Van Nostrand, 1993. Translated under the title Testirovanie programmnogo obespecheniya, Kiev: DiaSoft, 2000.

    Google Scholar 

36. Rudnev, V.V., A System of Interconnected Graphs and Modeling of Discrete Processes, Avtom. Telemekh., 1984, no. 9.

37. Budd, T., An Introduction to Object-Oriented Programming, Reading: Addison-Wesley, 1991. Translated under the title Ob'ektno-orientirovannoe programmirovanie v deistvii, St. Petersburg: Piter, 1997.

    Google Scholar 

38. Zaitsev, S.S., Opisanie i realizatsiya protokolov setei EVM (Computer Network Protocols: Description and Implementation), Moscow: Nauka, 1989.

    Google Scholar 

39. Shatyto, A.A. and Tukkel', N.I., SWITCH-Technology—An Automatic Approach to Software Design for “Reactive” Systems, in Int. Conf. Telematics, St. Petersburg: Inst. Exact Mech. Optics, 2000.

    Google Scholar 

40. Kalyanov, G.N., CASE. Strukturnyi analiz (avtomatizatsiya i primenenie) (CASE. Structural Analysis: Automation and Application), Moscow: Lori, 1996.

    Google Scholar 

41. Schultz, D.P. and Schultz, S.E., A History of Modern Psychology, Fort Worth: Harcourt Brace College, 1996. Translated under the title Istoriya sovremennoi psikhologii, St. Petersburg: Evraziya, 1998.

    Google Scholar 

42. Functinal Description. Warm-Up and Prelubrication Logic. Generator Control Unit, Severnaya Hull N431, Norcontrol, 1993.

43. Project 15640. AS 21. DG 1. Control. AMIE. 95564.12M, St. Petersburg: Avrora, 1991.

44. Sistema upravleniya turbokompressornym agregatom “Larina.” Tekhnicheskoe opisanie. Prilozhenie 1. AMIE. 421417.010 TO.01 (Control System for “Larin” Turbocompressor Unit. Technical Description. Appendix 1. AMIE. 421417.010 TO.01), St. Petersburg: Avrora, 1998.

45. Autolog 32. Rukovodstvo pol'zovatelya (User Guide), St. Petersburg: FF-Automation.

46. Baglyuk, Yu.V. and Shatyto, A.A., Programmiruemye logicheskie kontrollery “Autolog.” 124 primera programm na yazyke “ALPro,” realizuyushchikh algoritmy logicheskogo upravleniya (Programmable Logic Controllers “Autolog.” 124 Examples of Programs in ALPro Realizing Logic Control Algorithms), St. Petersburg: FF-Automation, 1999.

    Google Scholar 

47. Translyator “CF→ALPro” dlya programmirovaniya kontrollerov tipa “Autolog.” Rukovodstvo pol'zovatelya(CT→ALPro Translator for Programming Autolog Controllers. User Guide, NZF.TR 2. 1RP), St. Petersburg: FF-Automation, 1999.

48. Litov, D.V., Automaton or Turing Machine, Mir PK, 1999, no. 3.

49. Baranov, S.I., Sintez mikroprogrammnykh avtomatov (graf-skhemy i avtomaty) (Synthesis of Microprogram Automata: Graph-Schemes and Automata), Leningrad: Energiya, 1979.

    Google Scholar 

50. Lyubchenko, V.S., We Choose or We Are Chosen... (Choice of an Algorithmic Model), Mir PK, 1999, no. 3.

51. Zatuliveter, Yu.S. and Khalatyan, T.G., Sintez obshchikh algoritmov po demonstratsiyam chastnykh primerov (avtomatnaya model' obobshcheniya po primeram (Synthesis of General Algorithms from Particular Demonstration Examples: Automaton Model for Generalization from Examples), Moscow: Inst. Probl. Upravlen., 1997.

    Google Scholar 

52. Matveev, V.I., Windows CE—A New PLC Development Stage, Prib. Sist. Upravlen., 1999, no. 3.

53. Tukkel', N.I. and Shatyto, A.A., Comparison of Event and Automaton Approaches to Logic Control Programming, in Conf. Telematics'99, St. Petersburg: LITMO, 1999.

    Google Scholar 

54. Shatyto, A.A., Logicheskoe upravlenie. Metody apparatnoi i programmnoi realizatsii algoritmov (Logic Control: Hardware and Software Implementation of Algorithms), St. Petersburg: Nauka, 2000.

    Google Scholar 

55. Tukel, N., Programming with Use of a Switch-Technology, Euroxchange. Special Student's Issue, ISA, 1999, no. 2.

56. Shalyto, A.A., Technology of Program Realization of Logic Control Algorithms as a Lifetime Enchancing Tool. Problems of Guaranteed Lifetimes of Vessels and Ships, in Sci. Tech. Conf., St. Petersburg: Krylov NTO, 1992.

    Google Scholar 

57. Shalyto, A.A., Cognitive Properties of Hierarchical Representations of Complex Logical Structures: Architectures for Semiotic Modeling and Situation Analysis in Large Complex Systems, in 10th IEEE Int. Symp. Intel. Control, Monterey, California, 1995.

58. Shatyto, A.A. and Antipov, V.V., Algorimizatsiya i programmirovanie zadach logicheskogo upravleniya tekhnicheskimi sredstvami (Alorithmization and Programming for logic Control of Technical Tools), St. Petersburg: Morintekh, 1996.

    Google Scholar 

59. Bagljuk, Y.V. and Shalyto, A.A., SWITCH-Technology. Algorithmic and Programming Methods for Logic Control of Ship Equipment, in Int. Conf. Informatics and Control, St. Petersburg, 1997, vol. 1.

60. Kuznetsov, O.P., Makarevskii, A.Ya., Markovskii, A.V., et al., Yarus A Description Language for the Operation of Complex Automata, Avtom. Telemekh., 1972, nos. 6, 7.

61. Kuznetsov, O.P., Logic Automaton Graphs and Their Transformations, Avtom. Telemekh., 1975, no. 9.

62. Kuznetsov, O.P., Shipilina, L.B., Grigoryan, A.K., et al., Logic Programming Languages: Their Design and Computer Implementation (as Illustrated by Yarus-2 Language), Avtom. Telemekh., 1985, no. 6.

63. Lyubashin, A., Industrial and Built-in Systems: “Standard” Design, PC Week, 2000, no. 15.

64. ADAM-5510/P31. Everything for PC-Aided Automation, Advantech, 1999, vol. 91.

65. Programmable Controller Fundamentals, New York: Allen-Bradley, 1985.

66. Micro Mentor: Understanding and Applying Micro Programmable Controllers, New York: Allen-Bradley, 1995.

67. Jones, C.T. and Bryan, L.A., Programmable Controller Concepts and Applications, Int. Programmable Controllers, 1983.

68. Gilbert, R.A. and Llewellyn, J.A., Programmable Controllers Practices and Concepts, Indust. Training Corp., 1985.

69. Lloyd, M., Grafset—Graphical Functional Chart Programming for Programmable Controllers, Measur. Control Mag., 1987, no. 9.

70. Bryan, L.A. and Bryan, E.A., Programmable Controllers: Theory and Implementation, Industrial Text Corp., 1988.

71. Webb, J.W. and Reis, R.A., Programmable Logic Controllers: Principles and Applications, Englewood Cliffs: Prentice Hall, 1995.

    Google Scholar 

72. Wisnosky, D.E., SoftLogic: Overcoming Funnel Vision, Wizdom Controls, 1996.

73. Highes, T.A., Programmable Controllers, Instrument Society of America (ISA), 1997.

74. Vernikov, G., Organization Activicity Research Elements: Standard IDEF3, READ.ME, 2000, no. 2.

75. Shatyto, A.A., Program Implementation of Control Automata, Sudostroit. Prom. Ser. Avtom. Telemekh., 1991, issue 13.

76. Bowen, J.P. and Hinchey, M.G., Ten Commandments of Formal Methods, Mir PK, 1997, nos. 9, 10.

77. Series 90–70. State Logic Control System. User's Manual, North Arizona: GE Fanuc Autom., 1998.

78. Industrial Controllers, Matsushita Automation Controls.

79. Software for Programmable Controllers and Visualization, Festo Cybernetic.

80. Martynyuk, V.V., Analysis of Transition Graphs of Operator Schemes, Zh. Vychisl. Mat. Mat. Fiz., 1965, no. 2.

81. Karpov, Yu.G., Osnovy postroeniya kompilyatorov. Uchebnoe pocobie (Compiler Design Principles: A Textbook), Leningrad: Leningrad. Pedagog. Inst., 1982.

    Google Scholar 

82. Kas'yanov, V.N. and Pottosin, I.V., Metody postroeniya translyatorov (Translator Design Methods), Novosibirsk: Nauka, 1986.

    Google Scholar 

83. Beizer, B., The Architecture and Engineering of Digital Computer Complexes, New York: Plenum, 1971, vol. 1. Translated under the title Arkhitektura vychislitel'nykh kompleksov, Moscow: Mir, 1974.

    Google Scholar 

84. Booch, G., Object Oriented Design with Applications, Redwood City: Benjamin/Cummings, 1991. Translated under the title Ob”ektno-orientirovannoe proektirovanie s primerami, Kiev: Dialektika, 1992.

    Google Scholar 

85. Stroustrup, B., The C++ Programming Language, Reading: Addison-Wesley, 1986. Translated under the title Yazyk programmirovaniya C++, Moscow: Radio i Svyaz', 1991.

    Google Scholar 

86. Lyubchenko, V.S., New Songs on the Main (Programmer's Strap), Mir PK, 1998, nos. 6, 7.

87. Shlaer, S. and Mellor, S., Object Lifecycles: Modeling the World in State, Englewood Cliffs: Prentice Hall, 1992. Translated under the title Ob”ektno-orientirovannyi analiz: modelirovanie mira v sostoyaniyakh, Kiev: Dialektika, 1993.

    Google Scholar 

88. Harel, D., Statecharts: A Visual Formalism for Complex Systems, Sci. Comput. Program., 1987, vol. 8.

89. Harel, D., et al., STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Trans. Eng., 1990, no. 4.

90. Douglass, B.P., UML Statecharts, Massachusetts: I-Logix, 1998.

91. Booch, G., Rumbaugh, J., and Jacobson, I., The Unified Modeling Language. User Guide, Massachusetts: Addison-Wesley, 1998. Translated under the title Yazyk UML. Rukovodstvo pol'zovatelya, Moscow: DMK, 2000.

    Google Scholar 

92. Unified Modeling Language (UML), Version 1.0, Califormia: Rational Software, 1997.

93. Harel, D. and Pnueli, A., On the Development of Reactive Systems, in Logic and Model of Computer Systems, Apt, K.R., Ed., New York: Springer-Verlag, 1985.

    Google Scholar 

94. Harel, D., et al., On Formal Semantics of Software, in 2nd IEEE Symp. Logic in Computer Science, New York: IEEE Press, 1987.

    Google Scholar 

95. Coleman, D., Hayes, E., and Bear, S., Introducing Objectcharts, or How to Use Statecharts in Object-Oriented Design, IEEE Trans. Soft. Eng., 1992, no. 1.

96. Harel, D. and Naamad, A., The STATEMATE Semantics of Statecharts, ACM Trans. Soft. Eng. Metodology, 1996, no. 10.

97. Harel, D. and Gery, E., Executable Object Modeling with Statecharts, Computer, 1997, no. 7.

98. Harel, D. and Politi, M., Modeling Reactive Systems with Statecharts, New York: McGraw-Hill, 1998.

    Google Scholar 

99. Douglass, B.P., Real-Time UML: Developing Eficient Objects for Embedded Systems, Massachusetts: Addison-Wesley, 1998.

    Google Scholar 

100. Douglass, B.P., Doing Hard Time: Using Object-Oriented Programming and Software Patterns in Real-Time Applications, Massachusetts: Addison-Wesley, 1998.

     Google Scholar 

101. Karpov, Yu.G., Teoriya algoritmov i avtomatov: Kurs lektsii (Course in Theory of Algorithms and Automata), St. Petersburg: Nestor, 1998.

     Google Scholar 

102. International Standard ISO 9074: Information Processing Systems. Open Systems Interaction. ESTELLE: A Formal Description Technique Based on an Extended State Transition Model, 1989.

103. Bochman, G.V., Finite State Description of Communication Protocols, Comput. Network Protocol Suppl. Liege, 1978, vol. 2.

104. Dantine, A., Protocol Representation with Finite-State Models, IEEE Trans. Commun., 1980, no. 4.

105. Brand, D. and Zafiropulo, P., On Communicating Finite-State Machines, J. ACM, 1983, no. 2.

106. CCITT Recomendation Z.100: CCITT Specification and Description Language (SDL), COM X-R 26, Geneva: ITU General Secretariat, 1992.

107. Braek, R. and Haugen, F., Engineering Real-Time Systems, Englewood Cliffs: Prentice Hall, 1993.

     Google Scholar 

108. Gold'shtein, B.S., Signalizatsiya v setyakh svyazi (Signaling in Communication Networs), Moscow: Radio i Svyaz', 1997.

     Google Scholar 

109. Ivanov, A., Koznov, D., and Murashova, T., The BehaviorModel RTST++, in Zapiski seminara kafedry sistemnogo programmirovaniya. CASE-sredstva RTST++, (Seminar Annals, Department of System Programming: CASE-Tools of RTST++), St. Petersburg: S.-Peterburg. Gos. Univ., 1998, issue 1.

     Google Scholar 

110. Parfenov, V.V. and Terekhov, A.N., RTST-Technology of Real-Time Built-In System Programming, in Sistemnaya Informatika, (Systems Informatics) Novosibirsk: Nauka, 1997, vol. 5.

     Google Scholar 

111. Terekhov, A.N., RTST-Technology of Real-Time Built-In System Programming, in Zapiski seminara kafedry sistemnogo programmirovaniya. CASE-sredstva RTST++, (Seminar Annals, Department of System Programming: CASE-Tools of RTST++), St. Petersburg: S.-Peterburg. Gos. Univ., 1998, issue 1.

     Google Scholar 

112. Dolgov, P., Ivanov, A., Terekhov, A., et al., An Object-Oriented Extension of RTST-Technology, in Zapiski seminara kafedry sistemnogo programmirovaniya. CASE-sredstva RTST++, (Seminar Annals, Department of System Programming: CASE-Tools of RTST++), St. Petersburg: S.-Peterburg. Gos. Univ., 1998, issue 1.

     Google Scholar 

113. Terekhov, A.N., Romanovskii, K.Yu., Koznov, D.V., et al., REAL: Methodology and CASE-Tool for Designing Information Systems and Real-Time System Software, Programmirovanie, 1999, no. 5.

114. Koznov, D.V., Finite Automaton—The Base of Visual Representation of Object Behavior, in Ob”ektnoorientirovannoe vizual'noe mo (Object-Oriented Visual Modeling), St. Petersburg: S.-Peterburg. Gos. Univ., 1999.

     Google Scholar 

115. Microsoft. Solution'99, Microsoft, 1999, no. 7.

116. Cook, S. and Daniels, J., Designing Object Systems. Object-Oriented Modeling with Syntropy, Englewood Cliffs: Prentice Hall, 1994.

     Google Scholar 

117. Rambaugh, J., Blaha, M., Premerlani, W., et al., Object-Oriented Modeling and Design, Englewood Cliffs: Printice Hall, 1991.

     Google Scholar 

118. Jacobson, I., Object-Oriented Software Engineering: A Use Case Driven Approach, Massachusetts: Addison-Wesley, 1992.

     Google Scholar 

119. xjCharts. Release 2.0. User's Manual, Experimental Object Technologies, 1999.

120. STATEFLOW for Use with Simmulink. User's Guide. Version 1, Massachusetts: Math Works, 1998.

121. MATLAB. The Language of Technical Computing. Version 5.2, Massachusetts: Math Works, 1998.

122. Zyubin, V. E., Fifth Anniversary of the Standard IEC 1131–3. Resume and Forecasts, Prib. Sist. Upravlen., 1999, no. 1.

123. Herr, R., A New Turn, PC Magazine, 1998, no. 10.

124. Gubanov, Yu.A., Zalmanov, S.Z., and Kurnetsov, B.P., Control of Automatic Switches for Marine Electroheating System, in 3 Int. Conf. Marine Intelligent Technology “Morintex-99,” St. Pertersburg: Marintex, 1999, vol. 3.

     Google Scholar 

125. Mendelevich, V.A., Nonprocedural Languages A New Generation of Design Tools for ACS Technological Processes, Prom. ASU Kontrollery, 2000, no. 1.

126. Cormen, T.H., Leizerson, C.E., and Rivest, R.L., Introduction to Algorithms, Cambridge: MIT Press, 1990. Translated under the title Algoritmy. Postroenie i analiz, Moscow: MTsNTO, 1999.

     Google Scholar 

127. Odell, J.J., Approaches to Finite-State Machine Modeling, J. Obiect-Oriented Prog., 1995, no. 1.

128. Heizinger, T., Manna, Z., and Pnueli, A., Timed Transition Systems, Technical Report TR 92–1263, Dept. Computer Science, Cornell Univ., 1992.

129. Ward, P. and Mellor, S., Structured Techniques for Real-Time Systems, Englewood Cliffs: Prentice Hall, 1985.

     Google Scholar 

130. Hatley, D., and Pirbhai, I., Strategies for Real-Time System Specification, New York: Dorset House, 1987.

     Google Scholar 

131. Drysinsky, D., Visual Programming. Better State. Product Overview. R-Active Concepts, Cupertino, 1993.

132. Selic, B., An Eficient Object-Oriented Variation of Statecharts Formalism for Distributed Real-Time Systems, in IFIP Conf. Hardware Description Languages and Their Applications, CHDL'93, Ottawa, 1993.

133. Selic, B., Gullekson, G., and Ward, P., Real-Time Object-Oriented Modeling, New York: Wiley, 1994.

     Google Scholar 

134. Borshchev, A.V., Karpov, Y.G., and Roudakov, V.V., COVERS—A Tool for the Design of Real-Time Concurrent Systems. Parallel Computing Technologies, in Lecture Note in Computer Science, 1995, no. 964.

135. Booch, G. and Rambaugh, J., Unified Method for Object-Oriented Development. Documentation Set. Version 0.8, Rational Software, 1996.

136. Sonkin, V.L., Martinov, G.M., and Lyubimov, A.B., Dialog Interpretation inWindows Interface Control Systems, Prib. Sist. Upravlen., 1998, no. 12.

137. Ran, A.S., Modeling States as Classes, in Tools USA 94, Singh, M. and Meyer, B., Eds., Englewood Cliffs: Prentice Hall, 1994.

     Google Scholar 

138. Ran, A.S., Patterns of Events, in Pattern Languages of Program Design, Coplien, J.O. and Schmidt, D.C., Eds., Massachusetts: Addison-Wesley, 1995.

     Google Scholar 

139. Ilgum, K., Kemmerer, R., and Porras, P., State Transition Analysis: A Rule-Based Intrusion Detection Approach, IEEE Trans. Software Eng., 1995, no. 3.

140. Corbett, J.C., Evaluating Deadlock Detection Methods for Concurrent Software, IEEE Trans. Software Eng., 1996, no. 3.

141. Alur, R., Henzinger, T., and Pei-Hsin Ho, Automatic Symbolic Verification of Embedded Systems, IEEE Trans. Software Eng., 1996, no. 3.

142. Heimdahl Mats, P.E. and Leveson, N.G., Completeness and Consistency in Hierarchical State-based Requirements, IEEE Trans. Software Eng., 1996, no. 6.

143. Ardis, M.A., et al., A Framework for Evaluaing Specification Methods for Reactive Systems. Experience Report, IEEE Trans. Software Eng., 1996, no. 6.

144. Corbett, J.C., Timing Analysis of ADA Tasking Programs, IEEE Trans. Software Eng., 1996, no. 7.

145. Zave, P. and Jackson, M., Where Do Operations Come From? A Multiparadigm Specification Technique, IEEE Trans. Software Eng., 1996, no. 7.

146. Coen-Porisini, A., Ghezzi, C., and Kemmerer, R., Specification of Real-Time Systems Using ASTRAL, IEEE Trans. Software Eng., 1997, no. 9.

147. Avrynin, G.S., Corbett, J.C., and Dillon, L.K., Analyzing Partially Implemented Real-Time Systems, IEEE Trans. Software Eng., 1998, no. 8.

148. Ptiper, K., Synchronous C++ for Interactive Applications, Otkrytye Sist., 1999, no. 3.

149. Lyubchenko, V.S., Billiards with Microsoft Visual C++ 5.0, Mir PK, 1998, no. 1.

150. Lyubchenko, V.S., The Mayhill Problem for Microsoft Visual C++ 5.0 (Synchronization of Processes in Windows), Mir PK, 2000, no. 2.

151. La Mot, A., RatCliff, D., Seminatore, M., et al., Sekrety programmirovaniya igr (Secrets of Game Programming), St. Petersburg: Piter, 1995.

152. Sholomov, L.A., Osnovy teorii diskretnykh logicheskikh i vychislitel'nykh ustroistv (Elements of the Theory of Discrete logic and Computing Devices), Moscow: Nauka, 1980.

     Google Scholar 

153. Kuznetsov, O.P., Nonclassical Paradigms in Artificial Intellegence, Izv. Ross. Akad. Nauk, Teor. Sist. Upravlen., 1995, no. 3.

154. Cook, D., Urban, D., and Hamilton, S., Unix and not only Unix. An Interview with Ken Tompson, Otkrytye Sist., 1999, no. 4.

155. Shatyto, A.A., SWITCH-Technology. Algorithmization and Programming for Logic Control Problems, Prom. ASU Kontrol., 1999, no. 9.

156. Shatyto, A.A., SWITCH-Technology. Algorithmization and Programming for Logic Control Problems, in Int. Conf. Control, Moscow: Inst. Probl. Upravlen., 1999, vol. 3.

157. Goodman, S.R. and Hedetniemi, S.T., Introduction to the Design and Analysis of Algorithms, New York: McGraw-Hill, 1977. Translated under the title Vvedenie v razrabotku i analiz algoritmov, Moscow: Mir, 1981.

     Google Scholar 

158. Brooks, F.P., The Mythical Man-Month: Essays on Software Engineering, Reading: Addison-Wesley, 1995. Translated under the title Mificheskii cheloveko-mesyats ili kak sozdayutsya programmnye sistemy, St. Petersburg: Simvol, 2000.

     Google Scholar 

159. Lipaev, V.V., Dokumentirovanie i upravlenie konfiguratsiei programmnykh sredstv. Metody i standarty (Documentating and Controling the Configuaration of Program Tools: Methods and Standards), Moscow: Sinteg, 1998.

     Google Scholar 

160. Nepomnyashchii, V.A. and Ryakin, O.M., Prikladnye metody verifikatsii programm, (Applied Program Verification Methods), Moscow: Radio i Svyaz', 1988.

     Google Scholar 

161. Woodcock, J. and Davies, J., Using Z-Specification. Refinement and Proof, Oxford: Oxford Univ. Press, 1995.

     Google Scholar 

162. Varshavskii, V.I., Kollektivnoe povedenie avtomatov (Collective Behavior of Automata), Moscow: Nauka, 1973.

     Google Scholar 

163. Round Table: Paradigms of Artificial Intellect, Novosti Iskussvessnogo Intellekta, 1998, no. 3.

164. Voas, D., Program Quality: Eight Myths, Otkrytye Sist., 1999, nos. 9, 10.

165. Antonov, A.P., Melekhin, V.F., and Filippov, A.S., Obzor elementnoi bazy firmy ALTERA (A Review of ALTERA Elemental Bases), St. Petersburg: EFO, 1997.

166. Wirth, N., Digital Circuit Design, New York: Springer-Verlag, 1995.

     Google Scholar 

167. Wirth, N., Hardware Compilation: Translating Programs into Circuits, Computer, 1998. Translated in Otkrytye Sist., 1998, nos. 4, 5.

168. Armstrong, J.R., Chip-Level Modelling with VHDL, Englewood Cliffs: Prentice Hall, 1989. Translated under the title Modelirovanie tsifrovykh sistem na yazyke VHDL, Moscow: Mir, 1992.

     Google Scholar 

169. MAX + PLUS II. AHDL. Version 6.0, California: Altera, 1995.

170. Xilinx Foundation. M.1.5, California: Xilinx, 1997.

171. Clare, C.R., Designing Logic Systems Using State Machines, New York: McGraw-Hill, 1973.

     Google Scholar 

172. A Framework for Hardware-Software Co-Design of Embedded Systems, Technical Report, Berkley: Comp. Sci. Dept., Univ. California, 1995.

173. Lektsii laureatov premii Tyuringa za pervye dvadtsat' let 1966–1885 (Lectures of Turing Laureates in 1966–1985), Moscow: Mir, 1993.

174. Dijkstra, E.W., A Discipline of Programming, Englewood Cliffs: Prentice Hall, 1976. Translated under the title Vzaimodeisvie posledovatel'nykh protsessov: Yazyki programmirovaniya, Moscow: Mir, 1972.

     Google Scholar 

175. Deitel, H.M. and Deitel, P.D., C++ How to Programm, Upper Saddle River: Prentice Hall, 1998. Translated under the title Kak programmirovat' na C++, Moscow: Binom, 1999.

     Google Scholar 

176. TSX Nano. PL7–07 Language Self-Instruction Manual, Groupe Schneider, 1997.

177. Pottosin, I.V., Program Quality Criteria, in Sistemnaya Informatika (System Informatics), Novosibirsk: Nauka, 1998, vol. 6.

     Google Scholar 

178. Gerr, R., Debugging Humanity, PC Magazine, 2000, no. 5.

179. Chernyak, L., XML, Sideview, Otkrytye Sist., 2000, no. 4.

180. Astrov, V.V., Vsilenko, V.S., and Tot'meninov, L.V., Voprosy sozdaniya integrirovannykh sistem upravleniya yadernymi energeticheskimi ustanovkami: Sistemy upravleniya i obrabotki informatsii (Design of Integrated Control Systems for Nuclear Power Plants: Data Control and Processing Systems), St. Petersburg: Avrora, 2000, vol. 1.

     Google Scholar 

181. Boggs, W. and Boggs, M., Mastering UML with Rational Rose, San Francisco: Sybex, 1999.

     Google Scholar 

182. Romanovskii, I.V., Diskretnyi analiz (Discrete Analysis), St. Petersburg: Nevskii Dialekt, 2000.

183. Turing, A.M., Computing Machinery and Intelligence, Mind, 1950, vol. 49, pp. 433–460. Reprinted under the title Can a Machine Think? in The World of Mathematics, Newman J.R., Ed., New York: Simon & Schuster, 1956, pp. 2099–2123. Translated under the title Mozhet li mashina myslit'?, Saratov: Kolledzh, 1999.

     Google Scholar 

184. Von Neumann, J., General and Logic Theory of Automata, in Turing, A., Mozhet li mashina myslit'? (Can a Machine Think?), Saratov: Kolledzh, 1999.

     Google Scholar 

185. Dale, N.B., Weems, C., and Headington, M., Programming in C++, Boston: Jones and Bartlett, 2000.

     Google Scholar 

Download references