Очередная порция. Большая часть, как водится, с LtU и других аналогичных источников.

---

Software Ideals and history (pdf, 900kb, 49 страниц)
Слайды-тезисы Бьярна Страуструпа со товарищи — об истории, развитии языков программирования и современном состоянии всего этого.
(ИМХО, вообще must read).

---

Modeling Languages: Syntax, Semantics and all that Stuff (or, What's the Semantics of "Semantics"?)

...
Мы попытаемся уточнить некоторые понятия, требующиеся при определении языков моделирования; с учетом конкретных трудностей, возникших при использовании UML. Основная тема — разница между синтаксисом языка (нотацией), его семантикой (значением) и их представлением. У них различная природа, цели, стили и использоание. В конце статьи мы даже сделаем попытку перечисления различных вещей, которые люди имеют в виду, говоря о "семантике".
...

---

Dependable Software by Design
Обсуждается использование некоторых средств автоматизированной проверки качества архитектуры софта.

---

Несколько интересных статей в разделе Computer Science на "научном отстойнике" arXive.org ("научный отстойник" — там происходит пре-публикация статей, перед публикацие в научных журналах):
Modeling Hypermedia-Based Communication
An Internet-enabled technology to support Evolutionary Design — обсуждаются методы использования фидбека, полученного от пользователей по Интернету, для развития приложения.
Repository Replication Using NNTP and SMTP
Foundations of Modern Language Resource Archives

Превед!