рдЕрдВрдЧреНрд░реЗрдЬрд╝реАрдлреНрд░реЗрдВрдЪрд╕реНрдкреЗрдирд┐рд╢

рдСрдирд╡рд░реНрдХреНрд╕ рдлрд╝реЗрд╡рд┐рдХреЙрди

рд▓рд┐рдирдХреНрд╕ рдСрдирд▓рд╛рдЗрди рдбрд╛рдЙрдирд▓реЛрдб рдПрдл рдкрд░ рдХреНрдпреВрдПрд╕рдПрдПрд╕ рд╡рд┐рдВрдбреЛрдЬрд╝ рдореЗрдВ рдСрдирд▓рд╛рдЗрди рдЪрд▓реЗрдЧрд╛

рд╡рд┐рдВрдбреЛрдЬрд╝ рдореЗрдВ рдСрдирд▓рд╛рдЗрди рдЪрд▓рд╛рдиреЗ рдХреЗ рд▓рд┐рдП рдХреНрдпреВрдПрд╕рдПрдПрд╕ рдХреЛ рдореБрдлреНрдд рдбрд╛рдЙрдирд▓реЛрдб рдХрд░реЗрдВ, рд▓рд┐рдирдХреНрд╕ рдкрд░ рдСрдирд▓рд╛рдЗрди рдЪрд▓рд╛рдиреЗ рдХреЗ рд▓рд┐рдП рд╡рд┐рдВрдбреЛрдЬрд╝ рдРрдк, рдЙрдмрдВрдЯреВ рдСрдирд▓рд╛рдЗрди, рдлреЗрдбреЛрд░рд╛ рдСрдирд▓рд╛рдЗрди рдпрд╛ рдбреЗрдмрд┐рдпрди рдСрдирд▓рд╛рдЗрди рдореЗрдВ рд╡рд╛рдЗрди рдЬреАрддреЗрдВред

рдпрд╣ QSAS рдирд╛рдо рдХрд╛ рд╡рд┐рдВрдбреЛрдЬрд╝ рдРрдк рд╣реИ рдЬреЛ рд╡рд┐рдВрдбреЛрдЬрд╝ рдореЗрдВ рд▓рд┐рдирдХреНрд╕ рдСрдирд▓рд╛рдЗрди рдкрд░ рдЪрд▓рддрд╛ рд╣реИ, рдЬрд┐рд╕рдХреА рдирд╡реАрдирддрдо рд░рд┐рд▓реАрдЬрд╝ рдХреЛ QSAS332_win64.zip рдХреЗ рд░реВрдк рдореЗрдВ рдбрд╛рдЙрдирд▓реЛрдб рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рдЗрд╕реЗ рд╡рд░реНрдХрд╕реНрдЯреЗрд╢рди рдХреЗ рд▓рд┐рдП рдореБрдлреНрдд рд╣реЛрд╕реНрдЯрд┐рдВрдЧ рдкреНрд░рджрд╛рддрд╛ рдСрдирд╡рд░реНрдХреНрд╕ рдореЗрдВ рдСрдирд▓рд╛рдЗрди рдЪрд▓рд╛рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред

рдСрдирд╡рд░реНрдХреНрд╕ рдХреЗ рд╕рд╛рде рд╡рд┐рдВрдбреЛрдЬрд╝ рдСрдирд▓рд╛рдЗрди рдФрд░ рд▓рд┐рдирдХреНрд╕ рдкрд░ рдСрдирд▓рд╛рдЗрди рдЪрд▓рдиреЗ рдХреЗ рд▓рд┐рдП QSAS рдирд╛рдордХ рдЗрд╕ рдРрдк рдХреЛ рдСрдирд▓рд╛рдЗрди рдбрд╛рдЙрдирд▓реЛрдб рдХрд░реЗрдВ рдФрд░ рдЪрд▓рд╛рдПрдВред

рдЗрд╕ рдРрдк рдХреЛ рдЪрд▓рд╛рдиреЗ рдХреЗ рд▓рд┐рдП рдЗрди рдирд┐рд░реНрджреЗрд╢реЛрдВ рдХрд╛ рдкрд╛рд▓рди рдХрд░реЗрдВ:

- 1. рдЗрд╕ рдПрдкреНрд▓рд┐рдХреЗрд╢рди рдХреЛ рдЕрдкрдиреЗ рдкреАрд╕реА рдореЗрдВ рдбрд╛рдЙрдирд▓реЛрдб рдХрд░реЗрдВред

- 2. рд╣рдорд╛рд░реЗ рдлрд╝рд╛рдЗрд▓ рдкреНрд░рдмрдВрдзрдХ рдореЗрдВ https://www.onworks.net/myfiles.php?username=XXXXX рдЙрд╕ рдЙрдкрдпреЛрдЧрдХрд░реНрддрд╛ рдирд╛рдо рдХреЗ рд╕рд╛рде рджрд░реНрдЬ рдХрд░реЗрдВ рдЬреЛ рдЖрдк рдЪрд╛рд╣рддреЗ рд╣реИрдВред

- 3. рдЗрд╕ рдПрдкреНрд▓рд┐рдХреЗрд╢рди рдХреЛ рдРрд╕реЗ рдлрд╛рдЗрд▓ рдореИрдиреЗрдЬрд░ рдореЗрдВ рдЕрдкрд▓реЛрдб рдХрд░реЗрдВред

- 4. рдЗрд╕ рд╡реЗрдмрд╕рд╛рдЗрдЯ рд╕реЗ рдХреЛрдИ рднреА рдУрдПрд╕ рдСрдирд╡рд░реНрдХреНрд╕ рдСрдирд▓рд╛рдЗрди рдПрдореБрд▓реЗрдЯрд░ рд╢реБрд░реВ рдХрд░реЗрдВ, рд▓реЗрдХрд┐рди рдмреЗрд╣рддрд░ рд╡рд┐рдВрдбреЛрдЬ рдСрдирд▓рд╛рдЗрди рдПрдореБрд▓реЗрдЯрд░ред

- 5. рдСрдирд╡рд░реНрдХреНрд╕ рд╡рд┐рдВрдбреЛрдЬ рдУрдПрд╕ рд╕реЗ рдЖрдкрдиреЗ рдЕрднреА рд╢реБрд░реБрдЖрдд рдХреА рд╣реИ, рд╣рдорд╛рд░реЗ рдлрд╛рдЗрд▓ рдореИрдиреЗрдЬрд░ рдХреЛ https://www.onworks.net/myfiles.php?username=XXXXX рдЙрд╕ рдпреВрдЬрд░рдиреЗрдо рдХреЗ рд╕рд╛рде рдЬрд╛рдПрдВ рдЬреЛ рдЖрдк рдЪрд╛рд╣рддреЗ рд╣реИрдВред

- 6. рдПрдкреНрд▓рд┐рдХреЗрд╢рди рдбрд╛рдЙрдирд▓реЛрдб рдХрд░реЗрдВ рдФрд░ рдЗрд╕реЗ рдЗрдВрд╕реНрдЯреЙрд▓ рдХрд░реЗрдВред

- 7. рдЕрдкрдиреЗ Linux рд╡рд┐рддрд░рдг рд╕реЙрдлрд╝реНрдЯрд╡реЗрдпрд░ рд░рд┐рдкреЙрдЬрд┐рдЯрд░реА рд╕реЗ рд╡рд╛рдЗрди рдбрд╛рдЙрдирд▓реЛрдб рдХрд░реЗрдВред рдПрдХ рдмрд╛рд░ рдЗрдВрд╕реНрдЯреЙрд▓ рд╣реЛ рдЬрд╛рдиреЗ рдкрд░, рдЖрдк рдРрдк рдХреЛ рд╡рд╛рдЗрди рдХреЗ рд╕рд╛рде рдЪрд▓рд╛рдиреЗ рдХреЗ рд▓рд┐рдП рдбрдмрд▓-рдХреНрд▓рд┐рдХ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред рдЖрдк PlayOnLinux рдХреЛ рднреА рдЖрдЬрд╝рдорд╛ рд╕рдХрддреЗ рд╣реИрдВ, рдЬреЛ рд╡рд╛рдЗрди рдкрд░ рдПрдХ рдлреИрдВрд╕реА рдЗрдВрдЯрд░рдлрд╝реЗрд╕ рд╣реИ рдЬреЛ рдЖрдкрдХреЛ рд▓реЛрдХрдкреНрд░рд┐рдп рд╡рд┐рдВрдбреЛрдЬрд╝ рдкреНрд░реЛрдЧреНрд░рд╛рдо рдФрд░ рдЧреЗрдо рдЗрдВрд╕реНрдЯреЙрд▓ рдХрд░рдиреЗ рдореЗрдВ рдорджрдж рдХрд░реЗрдЧрд╛ред

рд╡рд╛рдЗрди рд▓рд┐рдирдХреНрд╕ рдкрд░ рд╡рд┐рдВрдбреЛрдЬ рд╕реЙрдлреНрдЯрд╡реЗрдпрд░ рдЪрд▓рд╛рдиреЗ рдХрд╛ рдПрдХ рддрд░реАрдХрд╛ рд╣реИ, рд▓реЗрдХрд┐рди рд╡рд┐рдВрдбреЛрдЬ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рдирд╣реАрдВ рд╣реИред рд╡рд╛рдЗрди рдПрдХ рдУрдкрди-рд╕реЛрд░реНрд╕ рд╡рд┐рдВрдбреЛрдЬ рд╕рдВрдЧрддрддрд╛ рдкрд░рдд рд╣реИ рдЬреЛ рдХрд┐рд╕реА рднреА рд▓рд┐рдирдХреНрд╕ рдбреЗрд╕реНрдХрдЯреЙрдк рдкрд░ рд╕реАрдзреЗ рд╡рд┐рдВрдбреЛрдЬ рдкреНрд░реЛрдЧреНрд░рд╛рдо рдЪрд▓рд╛ рд╕рдХрддреА рд╣реИред рдЕрдирд┐рд╡рд╛рд░реНрдп рд░реВрдк рд╕реЗ, рд╡рд╛рдЗрди рдЦрд░реЛрдВрдЪ рд╕реЗ рдкрд░реНрдпрд╛рдкреНрдд рд╡рд┐рдВрдбреЛрдЬрд╝ рдХреЛ рдлрд┐рд░ рд╕реЗ рд▓рд╛рдЧреВ рдХрд░рдиреЗ рдХреА рдХреЛрд╢рд┐рд╢ рдХрд░ рд░рд╣рд╛ рд╣реИ рддрд╛рдХрд┐ рд╡рд╣ рдЙрди рд╕рднреА рд╡рд┐рдВрдбреЛрдЬрд╝ рдЕрдиреБрдкреНрд░рдпреЛрдЧреЛрдВ рдХреЛ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рд╡рд┐рдВрдбреЛрдЬрд╝ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рдХреЗ рдмрд┐рдирд╛ рдЪрд▓рд╛ рд╕рдХреЗред

рд╕реНрдХреНрд░реАрдирд╢реЙрдЯ

Ad


рдХреНрдпреВрдПрд╕рдПрдПрд╕ рдСрдирд▓рд╛рдЗрди рд▓рд┐рдирдХреНрд╕ рдХреА рддреБрд▓рдирд╛ рдореЗрдВ рд╡рд┐рдВрдбреЛрдЬрд╝ рдореЗрдВ рдСрдирд▓рд╛рдЗрди рдЪрд▓реЗрдЧрд╛


рд╡рд░реНрдгрди

рдЕрдВрддрд░рд┐рдХреНрд╖ рднреМрддрд┐рдХреА рдбреЗрдЯрд╛ рдкрд░ рд▓рдХреНрд╖рд┐рдд рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдФрд░ рдкреНрд░рджрд░реНрд╢рди рд╕реЙрдлрд╝реНрдЯрд╡реЗрдпрд░ред

рджрд╕реНрддрд╛рд╡реЗрдЬрд╝ рджреЗрдЦреЗрдВ https://qsas.sourceforge.io/QSAShelp/QSAS_help_index.html

FILES рдХреЗ рдЕрдВрддрд░реНрдЧрдд QSAS_Intro_june2018.pptx рджреЗрдЦреЗрдВ

рд╕рдВрдкрд░реНрдХ рдХрд░реЗрдВ: [рдИрдореЗрд▓ рд╕рдВрд░рдХреНрд╖рд┐рдд]

рдИ-рдореЗрд▓ рд╕реВрдЪрд┐рдпрд╛рдБ:
[рдИрдореЗрд▓ рд╕рдВрд░рдХреНрд╖рд┐рдд]
[рдИрдореЗрд▓ рд╕рдВрд░рдХреНрд╖рд┐рдд]

рд╡рд┐рд╢реЗрд╖рддрд╛рдПрдВ

  • рдЕрдВрддрд░рд┐рдХреНрд╖ рднреМрддрд┐рдХреА рдбреЗрдЯрд╛ рдХреЗ рд▓рд┐рдП рдЕрдиреБрдХреВрд▓рд┐рдд
  • рдмрд╣реБ-рдЕрдВрддрд░рд┐рдХреНрд╖ рдпрд╛рди рдФрд░ рдмрд╣реБ-рдпрдВрддреНрд░ рд╡рд┐рд╢реНрд▓реЗрд╖рдг
  • рдкреНрд▓рдЧрдЗрдиреНрд╕ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдПрдХреНрд╕реНрдЯреЗрдВрд╕рд┐рдмрд▓
  • рдордЬрдмреВрдд рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдФрд░ рдкреНрд▓реЙрдЯрд┐рдВрдЧ
  • рдЧреНрд░рд╛рдлрд┐рдХрд▓ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдЗрдВрдЯрд░рдлрд╝реЗрд╕
  • рд╡рд┐рднрд┐рдиреНрди рдкреНрд░рд╛рд░реВрдкреЛрдВ рдореЗрдВ рдбреЗрдЯрд╛ рдЖрдпрд╛рдд/рдирд┐рд░реНрдпрд╛рдд рдХрд░реЗрдВ
  • рд╕рддреНрд░, рдЧрдгрдирд╛ рдФрд░ рдкреНрд▓реЙрдЯ рдбрд┐рдЬрд╝рд╛рдЗрди рд╕рд╣реЗрдЬреЗрдВ/рдкреБрдирд░реНрд╕реНрдерд╛рдкрд┐рдд рдХрд░реЗрдВ
  • рдЗрдХрд╛рдЗрдпреЛрдВ рдХреЛ рд╕рдордЭрддрд╛ рд╣реИ, рдлрд╝реНрд░реЗрдо рдХрд╛ рд╕рдордиреНрд╡рдп рдХрд░рддрд╛ рд╣реИ
  • рдЬреЙрдЗрди рддреБрд░рдВрдд рдирд┐рд╖реНрдкрд╛рджрд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛
  • рд▓реАрдк рд╕реЗрдХрдВрдб рдХреЗ рд╕рд╛рде рдиреИрдиреЛрд╕реЗрдХрдВрдб рд╕рдЯреАрдХрддрд╛


рджрд░реНрд╢рдХ

рдПрдпрд░реЛрд╕реНрдкреЗрд╕, рд╡рд┐рдЬреНрдЮрд╛рди/рдЕрдиреБрд╕рдВрдзрд╛рди


рдпреВрдЬрд░ рдЗрдВрдЯрд░рдлреЗрд╕

рдХреЗрдбреАрдИ, рдХреЛрдХреЛ (рдореИрдХрдУрдПрд╕ рдПрдХреНрд╕), рд╡рд┐рдВрдбреЛрдЬ рдПрдпрд░реЛ


рдкреНрд░реЛрдЧреНрд░рд╛рдорд┐рдВрдЧ рднрд╛рд╖рд╛

рд╕реА + +



рдпрд╣ рдПрдХ рдПрдкреНрд▓рд┐рдХреЗрд╢рди рд╣реИ рдЬрд┐рд╕реЗ https://sourceforge.net/projects/qsas/ рд╕реЗ рднреА рдкреНрд░рд╛рдкреНрдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред рд╣рдорд╛рд░реЗ рдирд┐рдГрд╢реБрд▓реНрдХ рдСрдкрд░реЗрдЯрд┐рд╡ рд╕рд┐рд╕реНрдЯрдореЛрдВ рдореЗрдВ рд╕реЗ рдПрдХ рд╕реЗ рд╕рдмрд╕реЗ рдЖрд╕рд╛рди рддрд░реАрдХреЗ рд╕реЗ рдСрдирд▓рд╛рдЗрди рдЪрд▓рд╛рдиреЗ рдХреЗ рд▓рд┐рдП рдЗрд╕реЗ рдСрдирд╡рд░реНрдХреНрд╕ рдореЗрдВ рд╣реЛрд╕реНрдЯ рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИред


рдлреНрд░реА рд╕рд░реНрд╡рд░ рдФрд░ рд╡рд░реНрдХрд╕реНрдЯреЗрд╢рди

рд╡рд┐рдВрдбреЛрдЬ рдФрд░ рд▓рд╛рдЗрдиреЗрдХреНрд╕ рдПрдк рдбрд╛рдЙрдирд▓реЛрдб рдХрд░реЗрдВ

  • 1
    рд╕рд╛рдИ
    рд╕рд╛рдИ
    Psi рдХреНрд░реЙрд╕-рдкреНрд▓реЗрдЯрдлрд╝реЙрд░реНрдо рд╢рдХреНрддрд┐рд╢рд╛рд▓реА XMPP рд╣реИ
    рдЕрдиреБрднрд╡реА рдЙрдкрдпреЛрдЧрдХрд░реНрддрд╛рдУрдВ рдХреЗ рд▓рд┐рдП рдбрд┐рдЬрд╝рд╛рдЗрди рдХрд┐рдпрд╛ рдЧрдпрд╛ рдХреНрд▓рд╛рдЗрдВрдЯред
    рдПрдордПрд╕ рдХреЗ рд▓рд┐рдП рдмрд┐рд▓реНрдб рдЙрдкрд▓рдмреНрдз рд╣реИрдВ
    рд╡рд┐рдВрдбреЛрдЬрд╝, рдЬреАрдПрдирдпреВ/рд▓рд┐рдирдХреНрд╕ рдФрд░ рдореИрдХрдУрдПрд╕.. рд╢реНрд░реЛрддрд╛рдЧрдг:
    рдЖрдЦрд┐рд░реА рдЙрдкрдпреЛрдЧрдХрд░реНрддрд╛...
    рд╕рд╛рдИ рдбрд╛рдЙрдирд▓реЛрдб рдХрд░реЗрдВ
  • 2
    рдмреНрд▓реЙрдмреА рд╡реЙрд▓реА 2
    рдмреНрд▓реЙрдмреА рд╡реЙрд▓реА 2
    рдкреНрд░рд╕рд┐рджреНрдз рдХреА рдЖрдзрд┐рдХрд╛рд░рд┐рдХ рдирд┐рд░рдВрддрд░рддрд╛
    рдмреНрд▓реЙрдмреА рд╡реЙрд▓реА 1.x рдЖрд░реНрдХреЗрдб рдЧреЗрдо..
    рд╢реНрд░реЛрддрд╛: рдЕрдВрддрд┐рдо рдЙрдкрдпреЛрдЧрдХрд░реНрддрд╛/рдбреЗрд╕реНрдХрдЯреЙрдкред рдЙрдкрдпреЛрдЧрдХрд░реНрддрд╛
    рдЗрдВрдЯрд░рдлрд╝реЗрд╕: рдУрдкрдирдЬреАрдПрд▓, рдПрд╕рдбреАрдПрд▓ред рдкреНрд░реЛрдЧреНрд░рд╛рдорд┐рдВрдЧ
    рднрд╛рд╖рд╛: рд╕реА++, рд▓реБрдЖред рд╕реА...
    рдмреНрд▓реЙрдмреА рд╡реЙрд▓реА 2 рдбрд╛рдЙрдирд▓реЛрдб рдХрд░реЗрдВ
  • 3
    SuiteCRM
    SuiteCRM
    рд╕реБрдЗрдЯрд╕реАрдЖрд░рдПрдо рдкреБрд░рд╕реНрдХрд╛рд░ рд╡рд┐рдЬреЗрддрд╛ рдЧреНрд░рд╛рд╣рдХ рд╣реИ
    рд╕рдВрдмрдВрдз рдкреНрд░рдмрдВрдзрди (рд╕реАрдЖрд░рдПрдо)
    рд▓реЗрдЦрдХреЛрдВ рджреНрд╡рд╛рд░рд╛ рдЖрдкрдХреЗ рд▓рд┐рдП рд▓рд╛рдпрд╛ рдЧрдпрд╛ рдЖрд╡реЗрджрди
    рдФрд░ рдЕрдиреБрд░рдХреНрд╖рдХ, SalesAgility. рдпрд╣ рд╣реИ
    рджреБрдирд┐рдпрд╛ рдХреА рд╕рдмрд╕реЗ...
    рд╕реБрдЗрдЯрд╕реАрдЖрд░рдПрдо рдбрд╛рдЙрдирд▓реЛрдб рдХрд░реЗрдВ
  • 4
    рдкреЙрд╡рд░рдПрдбрдорд┐рди
    рдкреЙрд╡рд░рдПрдбрдорд┐рди
    рдкреЙрд╡рд░рдПрдбрдорд┐рди рдПрдХ рд╡реЗрдм-рдЖрдзрд╛рд░рд┐рдд DNS рд╣реИ
    PowerDNS рд╕рд░реНрд╡рд░ рдХреЗ рд▓рд┐рдП рдкреНрд░рд╢рд╛рд╕рди рдЙрдкрдХрд░рдгред
    рдЗрдВрдЯрд░рдлрд╝реЗрд╕ рдореЗрдВ рдЕрдзрд┐рдХрд╛рдВрд╢ рдХреЗ рд▓рд┐рдП рдкреВрд░реНрдг рд╕рдорд░реНрдерди рд╣реИ
    PowerDNS рдХреА рд╡рд┐рд╢реЗрд╖рддрд╛рдПрдВ. рдпрд╣ рднрд░рд╛ рд╣реБрдЖ рд╣реИ
    рд╕рд╣рдпреЛрдЧ...
    рдкреЙрд╡рд░рдПрдбрдорд┐рди рдбрд╛рдЙрдирд▓реЛрдб рдХрд░реЗрдВ
  • 5
    рдЬрд┐рди рд╡реЗрдм рдлреНрд░реЗрдорд╡рд░реНрдХ
    рдЬрд┐рди рд╡реЗрдм рдлреНрд░реЗрдорд╡рд░реНрдХ
    рдЬрд┐рди рдПрдХ рдЕрд╡рд┐рд╢реНрд╡рд╕рдиреАрдп рд░реВрдк рд╕реЗ рддреЗрдЬрд╝ рд╡реЗрдм рдлреНрд░реЗрдорд╡рд░реНрдХ рд╣реИ
    рдЧреЛрд▓рд╛рдВрдЧ рдореЗрдВ рд▓рд┐рдЦрд╛ рд╣реИ рдЬреЛ рддрдХ рдкреНрд░рджрд░реНрд╢рди рдХрд░ рд╕рдХрддрд╛ рд╣реИ
    40 рдЧреБрдирд╛ рддреЗрдЬ, рдЗрд╕рдХреЗ рд▓рд┐рдП рдзрдиреНрдпрд╡рд╛рдж
    рдорд╛рд░реНрдЯрд┐рдиреА рдЬреИрд╕рд╛ рдПрдкреАрдЖрдИ рдФрд░ рдХрд╕реНрдЯрдо рд╕рдВрд╕реНрдХрд░рдг
    httpproout...
    рдЬрд┐рди рд╡реЗрдм рдлреНрд░реЗрдорд╡рд░реНрдХ рдбрд╛рдЙрдирд▓реЛрдб рдХрд░реЗрдВ
  • 6
    рд╕реЗрд░реЗрд╕ рд▓рд┐рдирдХреНрд╕
    рд╕реЗрд░реЗрд╕ рд▓рд┐рдирдХреНрд╕
    рд╕реЗрд░реЗрд╕ рд▓рд┐рдирдХреНрд╕ рдмреЗрд╕рдбреЛ рдПрди рдПрдордПрдХреНрд╕ рд▓рд┐рдирдХреНрд╕ рдХреЙрди
    рдПрд╕реНрдХреНрд░рд┐рдЯреЛрд░рд┐рдпреЛрд╕ рдХреЗ рд╡рд┐рднрд┐рдиреНрди рдкреНрд░рдХрд╛рд░ред рдпрд╣ рд╣реИ
    рдПрдХ рдЖрд╡реЗрджрди рдЬрд┐рд╕реЗ рдкреНрд░рд╛рдкреНрдд рднреА рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ
    рд╕реЗ
    https://sourceforge.net/projects/cereu...
    рд╕реЗрд░реЗрд╕ рд▓рд┐рдирдХреНрд╕ рдбрд╛рдЙрдирд▓реЛрдб рдХрд░реЗрдВ
  • рдЕрдзрд┐рдХ "

рд▓рд┐рдирдХреНрд╕ рдХрдорд╛рдВрдб

  • 1
    рдПрдмреАрдПрд▓
    рдПрдмреАрдПрд▓
    рдПрдмреАрдПрд▓ - рдХреЗ рд▓рд┐рдП рдкреВрд░реНрд╡рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡
    рдмреВрд▓рд┐рдпрди рдлрд╝рдВрдХреНрд╢рди рд╡рд┐рд╡рд░рдг:
    libablmmm.a рдПрдХ рд▓рд╛рдЗрдмреНрд░реЗрд░реА рд╣реИ рдЬреЛ рд╕рдХреНрд╖рдо рдмрдирд╛рддреА рд╣реИ
    a рдореЗрдВ рдПрдХ рдмреВрд▓рд┐рдпрди рдлрд╝рдВрдХреНрд╢рди рдХрд╛ рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рдХрд░реЗрдВ
    LISP рдЬреИрд╕рд╛ рд░реВрдк. рдПрдХ ...
    рдПрдмреАрдПрд▓ рднрд╛рдЧреЛ
  • 2
    рдПрдХ рдХрд┐рддрд╛рдм
    рдПрдХ рдХрд┐рддрд╛рдм
    abook - рдЯреЗрдХреНрд╕реНрдЯ-рдЖрдзрд╛рд░рд┐рдд рдПрдбреНрд░реЗрд╕ рдмреБрдХ рдкреНрд░реЛрдЧреНрд░рд╛рдо
    ...
    рдХрд┐рддрд╛рдм рдЪрд▓рд╛рдУ
  • 3
    coqchk.opt
    coqchk.opt
    coqchk - Coq рдкреНрд░реВрдл рдЪреЗрдХрд░ рд╕рдВрдХрд▓рд┐рдд
    рдкреБрд╕реНрддрдХрд╛рд▓рдп рд╕рддреНрдпрд╛рдкрдирдХрд░реНрддрд╛...
    coqchk.opt рдЪрд▓рд╛рдПрдБ
  • 4
    coqdep
    coqdep
    coqdep - рдЕрдВрддрд░-рдореЙрдбреНрдпреВрд▓ рдХреА рдЧрдгрдирд╛ рдХрд░реЗрдВ
    Coq рдФрд░ Caml рдкреНрд░реЛрдЧреНрд░рд╛рдо рдХреЗ рд▓рд┐рдП рдирд┐рд░реНрднрд░рддрд╛рдПрдБ...
    рдХреЙрдХрдбреЗрдк рдЪрд▓рд╛рдПрдБ
  • 5
    рдПрдлрд╡реЗрдм
    рдПрдлрд╡реЗрдм
    ftangle, fweave - рд╕реА рдХреЗ рд▓рд┐рдП рд╡реЗрдм рдкреНрд░реЛрд╕реЗрд╕рд░,
    рд╕реА++, рдлреЛрд░рдЯреНрд░рд╛рди, рд░реИрдЯрдлреЛрд░ рдФрд░ рдЯреАрдИрдПрдХреНрд╕...
    рдПрдлрд╡реЗрдм рдЪрд▓рд╛рдУ
  • 6
    fweelin
    fweelin
    рдлреНрд░реАрд╡реНрд╣реАрд▓рд┐рдВрдЧ - рд▓рд╛рдЗрд╡ рд▓реВрдкрд┐рдВрдЧ рдореНрдпреВрдЬрд┐рдХрд▓
    рдпрдВрддреНрд░ ...
    рд░рди рдлрд╝реНрд▓реЗрд▓рд┐рди
  • рдЕрдзрд┐рдХ "

Ad