Ada_Ru форум

Обсуждение языка Ада

ИНтерсная статья

Оставить новое сообщение

Сообщения

ksiby
ИНтерсная статья
2011-12-07 08:08:36

 

Здравствуйте!

Интересная статья, в какой-то степени имеет к нам отношение.

http://www.techfocusmedia.net/12all/lt.php?c=492&m=544&nl=9&s=d1fcf760fac5481fd6e5d0dac3d6c391&lid=23768&l=-http--www.eejournal.com/archives/articles/20111130-26262/

С уважением, Сергей.

Email: ksiby@...

http://www.mediascan.by

On Wed, 7 Dec 2011 11:08:36 +0300, you wrote:

 

Интересная статья, в какой-то степени имеет к нам отношение.

http://www.techfocusmedia.net/12all/lt.php?c=492&m=544&nl=9&s=d1fcf760fac5481fd6e5d0dac3d6c391&lid=23768&l=-http--www.eejournal.com/archives/articles/20111130-26262/

 

Не уверен. С нашими клиентами я на эту тему не говорил, но замечу, что под моделированием обычно понимается скорее отсутствие статического анализа, чем его присутствие.

 

"Святой Грааль" выглядит следующим образом: Вы малюете диаграмму, из нее генерируется код. Ни диаграмма, ни код не полежат анализу. Диаграмма - т.к. это картинка, и тут все и так "ясно". Код - т.к. генератор сертифицирован.

Собственно, популярность генераторов базируется, в частности, на

возможности сокрытии факта отсутствия анализа кода за фасадом слоеного пирога моделей. Чем больше слоев, тем выше кажущаяся безопасность.

--

Regards,

Dmitry A. Kazakov

http://www.dmitry-kazakov.de

Здравствуйте!

Меня заинтересовал сам факт упоминания в статье связки Ada/SPARK. С уважением, Сергей.

mailto: ksiby@mediascan.by

www.mediascan.by

----- Original Message -----

From: "Dmitry A. Kazakov" <alt@dmitry-kazakov.de>

To: <ada_ru@yahoogroups.com>

Sent: Wednesday, December 07, 2011 6:23 PM

Subject: Re: [ada_ru] ИНтерсная статья

On Wed, 7 Dec 2011 11:08:36 +0300, you wrote:

Интересная статья, в какой-то степени имеет к нам отношение.

http://www.techfocusmedia.net/12all/lt.php?c=492&m=544&nl=9&s=d1fcf760fac5481fd6e5d0dac3d6c391&lid=23768&l=-http--www.eejournal.com/archives/articles/20111130-26262/

Не уверен. С нашими клиентами я на эту тему не говорил, но замечу, что под моделированием обычно понимается скорее отсутствие статического анализа, чем его присутствие.

"Святой Грааль" выглядит следующим образом: Вы малюете диаграмму, из нее генерируется код. Ни диаграмма, ни код не полежат анализу. Диаграмма - т.к. это картинка, и тут все и так "ясно". Код - т.к. генератор сертифицирован.

Собственно, популярность генераторов базируется, в частности, на возможности сокрытии факта отсутствия анализа кода за фасадом слоеного пирога моделей. Чем больше слоев, тем выше кажущаяся безопасность.

--

Regards,

Dmitry A. Kazakov

http://www.dmitry-kazakov.de

------------------------------------

Yahoo! Groups Links

On Wed, 7 Dec 2011 19:57:19 +0300, you wrote:

 

Меня заинтересовал сам факт упоминания в статье связки Ada/SPARK.

 

Это да. Хотя не стоит питать особых иллюзий на этот счет, IMO.

 

--

Regards,

Dmitry A. Kazakov

http://www.dmitry-kazakov.de

Dmitry A. Kazakov wrote:

On Wed, 7 Dec 2011 19:57:19 +0300, you wrote:

 

Меня заинтересовал сам факт упоминания в статье связки Ada/SPARK.

 

Это да. Хотя не стоит питать особых иллюзий на этот счет, IMO.

 

Совершенно точно - не стоит...

On 12/08/2011 12:11 AM, Sergey I. Rybin wrote:

Dmitry A. Kazakov wrote:

On Wed, 7 Dec 2011 19:57:19 +0300, you wrote:

 

Меня заинтересовал сам факт упоминания в статье связки Ada/SPARK.

 

Это да. Хотя не стоит питать особых иллюзий на этот счет, IMO.

 

Совершенно точно - не стоит...

 

Всё выполнимо, но нужно понимать, что объём работ просто огромен, возможно превышает объём на кодирование/отладку в несколько раз; и к тому же требует привлечения гиперспециалистов. На мой взгляд в условиях небольших компаний это фантастика и игрушки.

Новое сообщение:
Страницы: 1

Чтобы оставить новое сообщение необходимо Зарегистрироваться и Войти