Historie programování a VT u nás
Přepnout navigaci
  • AKTUÁLNÍ NOVINKY
  • Cíle expozice
  • PRŮVODCE EXPOZICÍ
  • Vývoj expozice
  • ABC lexikon
  • O nás
  • Kontakty
  • Blogy
  • Úvod
  • Mapa stránek
  • (štítky)

  • . aplikovaná informatika

  • 1976 - Některé aspekty řešení interaktivních systémů

  • 1979 - Rozhodovací tabulky jako prostředek usnadnění verifikace programů

  • 1979 - Štruktůra programov (v BPS)

  • 1980 - Testování programů

  • 1983 - Interaktivní grafové systémy

  • 1985 - Čtyři úrovně abstrakce při koncipování modelů a procesů

  • 1985 - Projektování datové základny metodou HIT modelu

  • 1989 - Technologie projektování informačních systémů

  • 1989 - Výřezy programů v procesu ladění a testování

  • 1994 - Verifikace funkční a datové struktury

  • 1995 - Modelování, simulace a realizace softwarového procesu

  • 1997 - Algoritmy, datové struktury a přínos jejich studia pro vzdělání inženýra

  • 1998 - OBJ3 a LEGO jako nástroje pro specifikaci funkčního modelu

Prohlídkové okruhy

  • Mapa stránek
    • (štítky)
  • TOP *** (s)
  • Populárně psané články (s)
  • Pamětnické vzpomínky a j. (s)
  • - - -
  • A - systémy a programování
  • B - počítače a další technika
  • C - využití počítačů a IT
  • D - lidé
  • E - instituce a info-zdroje
  • - - -
  • H - historický vývoj u nás
  • M - virtuální sbírky TM v Brně
  • P - programátorské příklady
  • R - redakce vývoje prog-story
  • - - -

Přihlášení

  • Zapomenuté jméno?
  • Zapomenuté heslo?

Upravované

  • Přepis audio záznamu
  • * Sprint Backlog - Matěj
  • 2019 - Cesta do Brna - pamětníci T200 po 50 letech ...
  • 9999 - Popis rubriky AKTUÁLNÍ NOVINKY
  • : 2019 - akce 50 let od zahájení sériové výroby Tesla 200
  • 1973 - Exkurze do světa mikrosekund - přepis
  • 1973/07 - Exkurse do světa mikrosekund ***
  • 1906-24 Exkurse do světa mikrosekund
  • ~ ÚVT Tesla Praha
  • ~ VHJ Tesla Praha

Nahoru

© 2019 Historie programování a VT u nás