Connections the quarterly journal

Форма поиска

  • English
  • Русский
  • Журнал
    • Превью
    • Приоритетные темы на будущее
    • Будущие номера
    • Самые популярные статьи
    • Архив
  • Информация для авторов
  • Афина
Share/Save

Functional Documents for Computer Systems

Вид публикации:

Journal Article

Авторы:

David Lorge Parnas; Jan Madey

Источник:

Science of Computer Programming , Volume 25, № 1, p.41–61 (1995)
  • 8493 просмотра
  • Google Scholar(link is external)
  • DOI(link is external)
  • RTF
  • EndNote XML

Active calls for articles

Empowering the Trans-Atlantic Defense Industrial Base

Deadline:
30.06.2025

Hybrid Operations

Deadline:
15.09.2025

Check also our Google Scholar profile(link is external)

  • Downloads
  • Cited in
  • How to cite
No files have yet been downloaded.
"Formal Verification of Nuclear Systems: Past, Present, and Future." Information & Security: An International Journal 28, no. 2 (2012): 223-235.
APA style: Parnas, D. Lorge, & Madey J. (1995).  Functional Documents for Computer Systems. Science of Computer Programming . 25(1), 41–61.
Chicago style: Parnas, David Lorge, and Jan Madey. "Functional Documents for Computer Systems." Science of Computer Programming 25, no. 1 (1995): 41-61.
IEEE style: Parnas, D. Lorge, and J. Madey, "Functional Documents for Computer Systems", Science of Computer Programming , vol. 25, issue 1, pp. 41–61, 1995.
DOI http://dx.doi.org/10.1016/0167-6423(95)96871-J(link is external)
  • Trending
  • Latest(активная вкладка)
  • Most cited
  • Как сети социального взаимодействия масштабируются в цивилизации (957)
  • Последствия русско-украинской войны для права, экономики и региональной безопасности (935)
  • Аспекты безопасности гибридной войны, пандемия COVID-19 и кибер-социальные уязвимости (875)
  • Военно-экономический потенциал Украины в переходный период (843)
  • Военные игры с промежуточными силовыми возможностями: Стратегические последствия тактических решений (829)
view all
  • Модернизация управления кадрами в Вооружённых силах Украины в период военного конфликта: Подготовка новых офицеров
  • Русско-украинская война и цена удобрений
  • Влияние русско-украинской гибридной войны на политику и правила кибербезопасности Европейского Союза
  • Вторжение России в Украину и новейшая история белорусской государственности
  • Женщины, мир и безопасность в войне в Украине
view all
Introduction to Program-based Defense Resource Management (8)
The Art of Shaping Defense Policy: Scope, Components, Relationships (but no Algorithms) (6)
NATO and the South Caucasus: Armenia, Azerbaijan, and Georgia on Different Tracks (5)
Terror-Crime Nexus? Terrorism and Arms, Drug, and Human Trafficking in Georgia (4)
Terrorist Routes in Central Asia: Trafficking Drugs, Humans, and Weapons (4)
view all

© Консорциум военных академий и институтов исследования безопасности Партнерства ради мира(link is external), 2012-2024
Этот сайт был разработан и поддерживается Procon Ltd.(link is external), исполнительным издателем журнала Connections: The Quarterly Journal