e-mail: pti@pti.org.pl
tel. +48 22 838 47 05
fax: +48 22 636 89 87

Strona głównaKlub InformatykaAmbitna propozycja budowy oprogramowania

Ambitna propozycja budowy oprogramowania

Pierwszy ponoworoczny Klub Informatyka odbył się 8 stycznia na wydziale Matematyki i Nauk Informacyjnych Politechniki Warszawskiej (MiNI PW). Tym razem mieliśmy zaszczyt gościć prof. Andrzeja J. Bliklego. Bogate życie zawodowe prelegenta doprowadziło go do sytuacji specjalisty wielu dziedzin. Po roku 1989 zarzucił karierę wykładowcy, naukowca, informatyka i matematyka, zajmując się biznesem (cukierniczym) i teoriami zarządzania przedsiębiorstwami.


Nagranie wykładu (czas 50:12).

Obecnie Andrzej Jacek Blikle wraca do pierwotnego nurtu swoich zainteresowań. Wraz z Piotrem Chrząstowskim-Wachtlem (obecnym wśród ponad 40 słuchaczy spotkania) zamierza wydać książkę na temat denotacyjnej inżynierii oprogramowania. Stanowiłoby to krok w kierunku metod tworzenia programów formalnie poprawnych, a zatem wolnych od błędów. Zręby tej książki powstały przed rokiem 1989, ale nadal tak sformułowane wyzwania czekają na rozwiązanie. Podczas wykładu w ogromnym skrócie zaprezentowana została idea tworzenia poprawnego oprogramowania, wykorzystująca metody denotacyjne, w szczególności opracowaną specjalnie do tych potrzeb rodzinę języków programowania Lingua.

Współczesny przemysł informatyczny praktycznie w całości odszedł od metod pozytywnej kreacji oprogramowania formalnie poprawnego. Obecnie stawia się raczej na intensywne testowanie gotowych produktów i eliminację jego błędów. Metoda denotacyjna ma też swoje ograniczenia: może służyć implementacji w miarę prostych algorytmów działania. Jednak w tym można też upatrywać jej siły. W szczególności w zastosowaniach przy tworzeniu mikrokodów , oprogramowania wieloagentowego, czy patrząc szerzej: Internetu Przedmiotów IoT. (d)


Nagranie z dyskusji po wykładzie (czas 32:10)

Zobacz także

Udostępnij post na:

-

// NAJCZĘŚCIEJ CZYTANE

// TAGI

sprawozdania 228zaproszenia 1332017 77wideo 60plany 522018 49po godzinach 472016 44zarządzanie 43programowanie 352019 34prawo 332020 31bezpieczeństwo 30oprogramowanie 292021 282015 28nowi członkowie 26administracja 26zatrudnienie 25odeszli 24sztuczna inteligencja 24Internet 22zdrowie 22wybory 182022 18PM 17gry 17wyróżnienia 16FedCSIS 162012 14psychologia 142014 13Big Data 13edukacja 132023 12terminologia 11historia 102003 102005 92006 92013 9handel elektroniczny 9media 9ISOC 8telekomunikacja 8informatycy 7UE 7dostępność 7społeczności 7ICANN 7roboty 7IoT 6IEEE 6ECDL 6strategie 62008 62004 6chmura 6Posiedzenia Zarządu OMaz 6transhumanizm 5klub informatyka 52024 5podpis elektroniczny 4archiwistyka 4obieg dokumentów 4Internet Academy 4użyteczność 4dyskusja 4kognitywistyka 4Ważne 4Blockchain 3gamifikacja 3ACM-ICPC 32010 32007 3trendy 3IT 3SIS 3AI 3AWSI 3PTI 32025 3User Experience 2Mistrzostwa Świata 25G 2Informacja przestrzenna 2Bitcoin 2Superkomputery 2pieniądz elektroniczny 2miasta 2HCI 2biometria 2IMM 2patenty 2SJSI 2R&D 2Wikipedia 2RWO 22009 2Projektowanie interakcji 2EASTIN 2SPMP 2zbiory przybliżone 2Geniallne Miejsca 2Święta Bożego Narodzenia 2życzenia 2Gwiazdkowy klub informatyka 2nagroda 1Geoinformatyka 1członkostwo PTI 1kreatywność 1sieci kognitywne 1SDN 1PLUG 1dziennikarstwo 1gospodarka 4.0 1retoryka 1intranet 1Schengen 1Straż Graniczna 1ŚDSI 1KRRiT 1Mazowsze 1IPTV 12011 1Fort Legionów 1VoD 1futurologia 1VIS 1TV 1geo 1przemysł 1cyberbezpieczeństwo 1dziecko w sieci 1explainable artificial intelligence 1e-commerce 1GEEK 1Konkursy 1Helmut V. Gläser 1SMART 1Marek Valenta 1Mikołajki 1gwiazdka 1Zarząd OMaz 1ISACA 1Raporty 1Grafika Komputerowa 1OMaz 1Nowy rok 1medycyna 1Politechnika Warszawska 1targi 111 1AI Made in Poland 1Patronaty 1Warszawskie Dni Informatyki 1Data Science 1Women in IT Days 1Warszawa 1FUNDACJA ACADEMIC PARTNERS 1

// KATEGORIE