Seznam důležitých publikací v informatice - List of important publications in computer science

Toto je seznam důležité publikace v počítačová věda, organizované podle oboru.

Některé důvody, proč lze určitou publikaci považovat za důležitou:

  • Tvůrce tématu - Publikace, která vytvořila nové téma
  • Průlom - Publikace, která významně změnila vědecké znalosti
  • Vliv - Publikace, která významně ovlivnila svět nebo měla výrazný dopad na výuku informatiky.

Umělá inteligence

Výpočetní technika a inteligence

Popis: Tato práce pojednává o různých argumentech, proč stroj nemůže být inteligentní, a tvrdí, že žádný z těchto argumentů není přesvědčivý. Článek také navrhl Turingův test, kterému říká „The Imitation Game“, protože podle Turinga je zbytečné se ptát, zda stroj může myslet si inteligentně a zkontrolovat, zda je to možné akt inteligentně stačí.

Návrh letního výzkumného projektu umělé inteligence v Dartmouthu

Popis: Tento letní výzkumný návrh zahájil a definoval pole. Obsahuje první použití výrazu umělá inteligence a tento výstižný popis filozofického základu oboru: „každý aspekt učení nebo jakýkoli jiný znak inteligence lze v zásadě popsat tak přesně, že lze vyrobit stroj, který jej simuluje.“ (Vidět filozofie AI ) Návrh pozval výzkumné pracovníky na Dartmouthská konference, který je obecně považován za „zrození AI“. (Vidět historie AI.)

Fuzzy množiny

  • Lotfi Zadeh
  • Information and Control, sv. 8, str. 338–353. (1965).

Popis: Seminární práce publikovaná v roce 1965 poskytuje podrobnosti o matematice jazyka fuzzy množina teorie.

Pravděpodobnostní uvažování v inteligentních systémech: sítě pravděpodobného závěru

  • Judea Pearl
  • ISBN  1-55860-479-0 Vydavatel: Morgan Kaufmann Pub, 1988

Popis: Tato kniha byla představena Bayesovské metody k AI.

Umělá inteligence: moderní přístup

Popis: Standardní učebnice umělé inteligence. Webová stránka knihy seznamy přes 1100 vysokých škol.

Strojové učení

Indukční odvozovací stroj

  • Ray Solomonoff
  • Záznam úmluvy IRE, Sekce o teorii informací, část 2, s. 56–62, 1957
  • (Delší verze tohoto, soukromě šířená zpráva, 1956, je online ).

Popis: První práce napsaná dne strojové učení. Zdůraznil význam tréninkových sekvencí a využití částí předchozích řešení problémů při konstrukci zkušebních řešení nových problémů.

Identifikace jazyka v limitu

Popis: Tento příspěvek byl vytvořen Algoritmická teorie učení.

O jednotné konvergenci relativních frekvencí událostí k jejich pravděpodobnostem

Popis: Teorie výpočetního učení, Teorie VC statistická jednotná konvergence a VC rozměr.

Teorie učitelného

Popis: The Pravděpodobně přibližně správné učení Rámec (učení PAC).

Učení reprezentací chybami zpětného šíření

Seppo Linnainmaa reverzní režim automatické rozlišení[1][2] (poprvé aplikováno na neuronové sítě od Paul Werbos[3]) se používá v experimentech David Rumelhart, Geoff Hinton a Ronald J. Williams učit se interní reprezentace.

Indukce rozhodovacích stromů

Popis: Rozhodovací stromy jsou běžným algoritmem učení a nástrojem pro reprezentaci rozhodnutí. Vývoj rozhodovacích stromů prováděl mnoho výzkumníků v mnoha oblastech, a to ještě před touto prací. Ačkoli tento článek je jedním z nejvlivnějších v této oblasti.

Učte se rychle, když jsou relevantní irelevantní atributy: Nový algoritmus lineárního prahu

Popis: Jeden z článků, které zahájily oblast online učení. V tomto nastavení učení obdrží student posloupnost příkladů, po každém předpovídá a po každé předpovědi obdrží zpětnou vazbu. Výzkum v této oblasti je pozoruhodný, protože (1) algoritmy a důkazy bývají velmi jednoduché a krásné a (2) model neposkytuje žádné statistické předpoklady o datech. Jinými slovy, data nemusí být náhodná (jako téměř ve všech ostatních modelech učení), ale mohou být volena libovolně „přírodou“ nebo dokonce protivníkem. Tento článek konkrétně představil algoritmus winnow.

Naučit se předpovídat metodou Dočasného rozdílu

Popis: The Časový rozdíl metoda pro posilování učení.

Učitelnost a dimenze Vapnik – Chervonenkis

Popis: Kompletní charakterizace Učitelnost PAC za použití VC rozměr.

Kryptografická omezení učení logických vzorců a konečných automatů

Popis: Prokazování negativních výsledků pro PAC učení.

Síla slabé učenosti

Popis: Prokazování, že slabá a silná učitelnost jsou ekvivalentní v oblasti bez šumu Rámec PAC. Důkaz byl proveden zavedením posílení metoda.

Výcvikový algoritmus pro optimální klasifikátory marží

Popis: Tato práce byla předložena podporovat vektorové stroje, praktický a populární algoritmus strojového učení. Podpora vektorových strojů často používá trik s jádrem.

Algoritmus rychlého učení pro sítě s hlubokým přesvědčením

Popis: Tento článek představil přitažlivý chamtivý algoritmus učení vrstev pro sítě hlubokého vyznání což vedlo k velkému pokroku v oblasti hluboké učení.

Znalostní analýza dat genové exprese microarray pomocí podpůrných vektorových strojů

Popis: První aplikace učení pod dohledem genová exprese zejména údaje Podporujte vektorové stroje. Metoda je nyní standardní a papír je jedním z nejcitovanějších v této oblasti.

Překladače

O překladu jazyků zleva doprava

Popis: Analyzátor LR, který provádí analýzu zdola nahoru deterministické bezkontextové jazyky. Později odvozené analyzátory, například Analyzátor LALR, byly a nadále jsou běžnou praxí, jako například v Yacc a potomci.[4]

Sémantika bezkontextových jazyků.

  • Donald Knuth
  • Matematika. Teorie systémů 2:2 (1968), 127–145.

Popis: O atribuci gramatiky, základně pro yacc s-připsáno a zyacc Přiřazeno LR přístup.

Procedura analýzy toku dat programu

Popis: Z abstraktu: „Globální datové vztahy v programu lze odhalit a kodifikovat metodami statické analýzy popsanými v tomto článku. Je uveden postup, který určuje všechny definice, které mohou případně dosáhnout každého uzlu grafu řídicího toku program a všechny definice, které jsou aktivní na každém okraji grafu. “

Jednotný přístup k globální optimalizaci programu

Popis: Formalizoval koncept analýza toku dat tak jako fixní bod výpočet přes mříže, a ukázal, že většinu statických analýz použitých pro optimalizaci programu lze v tomto rámci vyjádřit jednotně.

YACC: Ještě další překladač-překladač

Popis: Yacc je nástroj, který vytvořil překladač psaní mnohem jednodušší.

gprof: Profiler spuštění grafu volání

Popis: The gprof profiler

Překladače: Zásady, techniky a nástroje

Popis: Tato kniha se stala klasikou psaní překladačů. To je také známé jako Dračí kniha, po (červeném) drakovi, který se objeví na jeho obálce.

Počítačová architektura

Kolosový počítač

Popis: The Kolos stroje byly časná výpočetní zařízení používaná Brity kódovači rozbít německé zprávy šifrované pomocí Lorenz Cipher v době druhá světová válka. Kolos byl brzy binární elektronický digitální počítač. Konstrukce Colossus byla později popsána v referovaném článku.

První návrh zprávy o EDVAC[5]

Popis: Obsahuje první publikovaný popis logického návrhu počítače pomocí konceptu uloženého programu, který se stal známým jako von Neumannova architektura.

Architektura systému IBM System / 360

Popis: The IBM System / 360 (S / 360) je a sálový počítač systémová rodina oznámená IBM 7. dubna 1964. Byla to první rodina počítačů, která jasně rozlišovala mezi architektura a implementace.

Pouzdro pro počítač se sníženou instrukční sadou

Popis: The počítač se sníženou instrukční sadou( RISC ) Návrh CPU filozofie. RISC je a Návrh CPU filozofie, která upřednostňuje omezenou sadu jednodušších instrukce.

Komentáře k „Případu pro počítač se sníženou sadou instrukcí“

Popis:

Počítačový systém CRAY-1

Popis: The Cray-1 byl superpočítač navržený týmem včetně Seymour Cray pro Cray Research. První systém Cray-1 byl nainstalován v Národní laboratoř Los Alamos v roce 1976 a stal se jedním z nejznámějších a nejúspěšnějších superpočítačů v historii.

Platnost přístupu jednoho procesoru k dosažení velkých výpočetních schopností

Popis: The Amdahlův zákon.

Pouzdro pro redundantní pole levných disků (RAID)

Popis: Tato práce pojednává o konceptu NÁLET disky, popisuje různé úrovně pole RAID a výhody každé úrovně. Je to dobrý dokument pro diskusi o otázkách spolehlivosti a odolnosti proti chybám počítačových systémů a nákladech na zajištění takové odolnosti proti chybám.

Pouzdro pro jednočipový multiprocesor

Popis: Tento článek tvrdí, že přístup ke zlepšení výkonu procesorů přidáním problému s více instrukcemi a provádění mimo pořadí nemůže nadále poskytovat zrychlení na neurčito. Stanovuje důvod pro výrobu jednočipových procesorů, které obsahují více „jader“. S běžným zavedením vícejádrových procesorů společností Intel v roce 2005 a jejich následné nadvládě nad trhem se ukázalo, že tento článek je předvídavý.

Počítačová grafika

Vykreslovací rovnice

  • J. Kajiya
  • SIGGRAPH: ACM Special Interest Group on Computer Graphics and Interactive Techniques stránky 143–150[6]

Elasticky deformovatelné modely

Popis: Akademie filmových umění a věd uvedla tento dokument jako „milník v počítačové grafice“.

Sketchpad, systém grafické komunikace člověk-stroj

Popis: Jedna ze zakládajících prací na počítačové grafice.

Počítačové vidění

Metoda zarovnání obrazu fázovou korelací

  • CD. Kuglin a D. Hines
  • Konference IEEE 1975 o kybernetice a společnosti, 1975, New York, s. 163–165, září

Popis: Korelační metoda založená na inverzi Fourierova transformace

Stanovení optického toku

Popis: Metoda pro odhad pohybu obrazu světových bodů mezi 2 snímky video sekvence.

Iterativní technika registrace obrazu s aplikací na Stereo Vision

Popis: Tento dokument poskytuje efektivní techniku ​​pro registraci obrázků

Laplaciánská pyramida jako kompaktní obrazový kód

Popis: Technika kódování obrázků pomocí místních operátorů mnoha měřítek.

Stochastická relaxace, Gibbsovo rozdělení a Bayesovské restaurování obrazů

Popis: zavedeno 1) MRF pro analýzu obrazu 2) Gibbsův odběr vzorků což způsobilo revoluci ve výpočetní technice Bayesovské statistiky a tak měl kromě Computer Vision zásadní dopad i v mnoha dalších oblastech.

Hadi: Aktivní konturové modely

Popis: Interaktivní variační technika pro segmentaci obrazu a vizuální sledování.

Kondenzace - podmíněné šíření hustoty pro vizuální sledování

Popis: Technika pro vizuální sledování

Rozpoznávání objektů z místních funkcí neměnných v měřítku

Popis: Technika (měřítko-neměnná transformace funkcí ) pro robustní popis funkce

Souběžné, paralelní a distribuované výpočty

Hlavní článek: Seznam důležitých publikací v souběžných, paralelních a distribuovaných výpočtech

Pokrytá témata: souběžné výpočty, paralelní výpočty, a distribuované výpočty.

Databáze

Relační model pro velké sdílené datové banky

Popis: Tento článek představil relační model pro databáze. Tento model se stal modelem číslo jedna.

Binární B-stromy pro virtuální paměť

  • Rudolf Bayer
  • Workshop ACM-SIGFIDET 1971, San Diego, Kalifornie, Session 5B, s. 219–235.

Popis: Tento dokument představil B-stromy datová struktura. Tento model se stal modelem číslo jedna.

Relační úplnost dílčích jazyků databáze

  • E. F. Codd
  • In: R. Rustin (ed.): Database Systems: 65–98, Prentice Hall and IBM Research Report RJ 987, San Jose, California: (1972)
  • Online verze (PDF)

Popis: Úplnost dílčích jazyků databáze

Model vztahu mezi entitami - směrem k jednotnému pohledu na data

Popis: Tento dokument představil diagram vztahů mezi entitami (ERD) metoda návrhu databáze.

SEQUEL: Strukturovaný anglický dotazovací jazyk

  • Donald D. Chamberlin, Raymond F. Boyce
  • International Conference on Management of Data, Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control, Ann Arbor, Michigan, str. 249–264

Popis: Tento dokument představil SQL Jazyk.

Pojmy konzistence a predikátu se uzamknou v databázovém systému

Popis: Tento příspěvek definoval pojmy transakce, konzistence a harmonogram. Rovněž tvrdil, že transakce musí uzamknout spíše logickou než fyzickou podmnožinu databáze.

Federované databázové systémy pro správu distribuovaných, heterogenních a autonomních databází

  • Amit Sheth, J.A. Larson,"
  • ACM Computing Surveys - Speciální vydání pro heterogenní databáze Surveys, Díl 22, číslo 3, strany 183 - 236, září 1990
  • Zdroj ACM

Popis: Představený koncept federovaných databázových systémů, který má obrovský dopad na interoperabilitu dat a integraci heterogenních zdrojů dat.

Pravidla přidružení těžby mezi sadami položek ve velkých databázích

Popis: Pravidla přidružení, velmi běžná metoda pro dolování dat.

Historie výpočtu

Počítač od Pascala po von Neumanna

Popis: Snad první kniha o historii výpočtu.

Historie výpočetní techniky ve dvacátém století

editoval:

Popis: Několik kapitol průkopníků výpočetní techniky.

Získávání informací

Model vektorového prostoru pro automatické indexování

  • Gerard Salton A. Wong, C. S. Yang
  • Commun. ACM 18 (11): 613–620 (1975)

Popis: Prezentováno vektorový vesmírný model.

Rozšířené booleovské načítání informací

  • Gerard Salton, Edward A. Fox, Harry Wu
  • Commun. ACM 26 (11): 1022–1036 (1983)

Popis: Prezentováno obrácený index

Statistická interpretace termínové specificity a její aplikace při vyhledávání

Popis: Koncipována statistická interpretace termínu specificita tzv Četnost inverzních dokumentů (IDF), který se stal základním kamenem vážení termínů.

Síťování

Protokol pro paketovou síťovou komunikaci

Popis: Tento dokument obsahuje mnoho myšlenek, které se později staly TCP a IP, dvěma základními protokoly, které tvoří internet. Cerf a Kahn obdrželi cenu ACM Turning Award, částečně za práci obsaženou v tomto příspěvku.

Filozofie designu internetových protokolů DARPA

Popis: Tento článek popisuje některé principy designu, které stojí za internetem, a jak jsou tyto principy designu realizovány v Internetu.

End-to-end argumenty v návrhu systému

Popis: Tento článek představuje „end-to-end argument“, což je klasický designový princip široce používaný jako vodítko při navrhování mnoha internetových protokolů a systémů.

Zamezení a kontrola přetížení

Popis: Tento dokument identifikuje problém přetížení sítě a představuje algoritmus, jak mohou protokoly snížit jejich rychlost odesílání, aby se snížilo přetížení. Tento přístup byl začleněn do protokolu TCP a ovlivnil design mnoha dalších protokolů přenosu dat.

Analýza a simulace algoritmu spravedlivého řazení

Popis: Tento dokument představuje „fair queuing“, algoritmus alokace vyrovnávací paměti, který je téměř univerzálně nasazen na internetových směrovačích.

Škálovatelné vysokorychlostní vyhledávání IP směrování

  • M. Waldvogel, G. Varghese, J. Turner, B. Plattner
  • ACM SIGCOMM, srpen 1997.
  • Online kopie (PDF)

Popis: Tento článek popisuje algoritmický přístup k nalezení předpony (supernetu) obsahující konkrétní IP adresu, což je proces, který je nyní téměř univerzálně používán na internetových směrovačích.

Chord: Škálovatelná vyhledávací služba peer-to-peer pro internetové aplikace

  • Ion Stoica, Robert Morris, David Karger, M. Frans Kaashoek, Hari Balakrishnan
  • ACM SIGCOMM, srpen 2001
  • Online kopie (PDF)

Popis: Tento článek představuje koncept a Distribuovaná hash tabulka (DHT), distribuovaná datová struktura, která ovlivnila design řady peer-to-peer systémy, distribuované souborové systémy a další rozsáhlé distribuované systémy.


Podívejte se také na seznamy „Top Ten Networking Papers“ publikované v ACM SIGCOMM CCR:

Operační systémy

Experimentální systém sdílení času.

Popis: Tato práce pojednává sdílení času jako metoda sdílení počítačových zdrojů. Tato myšlenka změnila interakci s počítačovými systémy.

Model pracovní sady pro chování programu

Popis: Začátek roku mezipaměti. Více informací viz Síň slávy SIGOPS.

Virtuální paměť, procesy a sdílení v systému MULTICS

Popis: Klasický papír Multics, nejambicióznější operační systém v rané historii výpočetní techniky. Obtížné čtení, ale popisuje důsledky pokusu o vybudování systému, který přenáší sdílení informací do svého logického extrému. Většina operačních systémů od doby, kdy společnost Multics vytvořila podmnožinu svých zařízení.

Jádro multiprogramovacího systému

Popis: Klasický papír o architektuře rozšiřitelného jádra Multiprogramovací systém RC 4000 a co se stalo známým jako jádro operačního systému a mikrokernel architektura.

Principy operačního systému

Popis: První komplexní učebnice operačních systémů. Zahrnuje první monitor notace (kapitola 7).

Poznámka k problému s vězením

Popis: Tento dokument se věnuje problémům při omezování toku informací z nedůvěryhodných programů. Diskutuje o skrytých kanálech, ale co je důležitější, řeší potíže při získávání úplného omezení, aniž by samotný program byl skutečně nepoužitelný. Myšlenky jsou důležité, když se snažíme porozumět zadržení škodlivého kódu, jakož i aspektům důvěryhodného výpočtu.

Systém sdílení času UNIX

Popis: The Unix operační systém a jeho principy byly popsány v této práci. Hlavní význam není papír, ale operační systém, který měl obrovský vliv na operační systém a výpočetní techniku.

Vážené hlasování pro replikovaná data

Popis: Tento článek popisuje mechanismus konzistence známý jako shoda kvora. Je to dobrý příklad algoritmů, které poskytují souvislou sadu možností mezi dvěma alternativami (v tomto případě mezi metodami konzistence read-one write-all a write-one read-all). V následujících letech vědci prošli mnoha variacemi a vylepšeními a je to jeden z algoritmů konzistence, kterému by měli všichni rozumět. Možnosti dostupné výběrem kvor různých velikostí poskytují užitečnou strukturu pro diskusi o základních požadavcích na konzistenci v distribuovaných systémech.

Zkušenosti s procesy a monitory v Mesa

Popis: Toto je klasický dokument o technikách synchronizace, včetně alternativních přístupů a nástrah.

Techniky plánování pro souběžné systémy

Popis: Algoritmy pro koscheduling souvisejících procesů

Rychlý systém souborů pro UNIX

Popis: The souborový systém z UNIX. Jeden z prvních příspěvků diskutujících o tom, jak spravovat diskové úložiště pro vysoce výkonné souborové systémy. Většina výzkumu souborových systémů, protože tento článek byl ovlivněn, a většina vysoce výkonných souborových systémů za posledních 20 let zahrnuje techniky z tohoto příspěvku.

Návrh operačního systému UNIX

  • Maurice J. Bach, AT&T Bell Labs
  • Sál Prentice • 486 stran • Publikováno 27. 5. 1986

Tento konečný popis v zásadě pokrýval System V Release 2 jádro, s některými novými funkcemi z Release 3 a BSD.

Návrh a implementace souborového systému strukturovaného podle protokolu

Popis: Souborový systém strukturovaný do protokolu.

Architektura operačního systému Microkernel a Mach

Popis: Toto je dobrá práce pojednávající o jednom konkrétním mikrokernel architekturu a porovnat ji s monolitickým designem jádra. Mach je základem Mac OS X a jeho vrstvená architektura měla významný dopad na design Jádro Windows NT a moderní mikrojádra jako L4. Kromě toho byla do mnoha monolitických jader přidána funkce souborů mapovaných do paměti.

Implementace systému souborů strukturovaných podle protokolu pro UNIX

Popis: Tento příspěvek byl první implementací této myšlenky na kvalitu výroby, která přinesla mnohem další diskusi o životaschopnosti a nedostatcích logických strukturovaných souborových systémů. Zatímco „Návrh a implementace souborového systému strukturovaného do protokolu“ byl jistě první, tento byl důležitý pro přenesení myšlenky výzkumu do použitelného systému.

Měkké aktualizace: Řešení problému aktualizace metadat v souborových systémech

Popis: Nový způsob udržování konzistence souborového systému.

Programovací jazyky

Automatický kódovací systém FORTRAN

Popis: Tento článek popisuje návrh a implementaci prvního FORTRAN překladač od IBM tým. Fortran je a univerzální, procesní, imperativní programování jazyk, který je zvláště vhodný pro numerické výpočty a vědecké výpočty.

Rekurzivní funkce symbolických výrazů a jejich výpočet strojem, část I.[10]

Popis: Tento článek byl představen LISP, první funkční programovací jazyk, který byl těžce používán v mnoha oblastech výpočetní techniky, zejména v AI. LISP má také výkonné funkce pro manipulaci s programy LISP v daném jazyce.

ALGOL 60

Popis: Algol 60 zavedl blokovou strukturu.

Dalších 700 programovacích jazyků[10]

Popis: Tato seminární práce navrhla ideální jazyk JÁ PLAVU, který bez jakéhokoli zavedení ovlivnil celý pozdější vývoj.

Základní pojmy v programovacích jazycích

Popis:Základní pojmy v programovacích jazycích představil mnoho terminologie programovacího jazyka, která se dodnes používá, včetně Hodnoty R., Hodnoty L., parametrický polymorfismus, a ad hoc polymorfismus.

Lambda Papers

Popis: Tato série příspěvků a zpráv nejprve definovala vlivné Systém programovacího jazyka a zpochybnil převládající postupy při navrhování programovacího jazyka a zaměstnával lambda kalkul rozsáhle modelovat koncepty programovacích jazyků a řídit efektivní implementaci bez obětování expresivní síla.

Struktura a interpretace počítačových programů

Hlavní článek: Struktura a interpretace počítačových programů

Popis: Tato učebnice vysvětluje základní koncepty počítačového programování a je obecně považována za klasický text v informatice.

Online kurz

Porozumění Monadům

Popis: Tento článek byl představen monády k funkčnímu programování.

Směrem k teorii struktury typů

Popis: Tento článek byl představen Systém F a vytvořil moderní představu o Parametrický polymorfismus

Axiomatický základ pro počítačové programování

  • Tony Hoare
  • Sdělení ACM, svazek 12, vydání 10, říjen 1969, strany 576-580

Popis: Tento článek představuje Logika hoare, který tvoří základ ověření programu

Vědecké výpočty

Hlavní článek: Výpočetní věda

Výpočetní lingvistika

  • Booth, T. L. (1969). "Pravděpodobnostní zastoupení formálních jazyků". Záznam konference IEEE z desátého výročního sympozia z roku 1969 o teorii přepínání a automatů. str. 74–81.
Obsahuje první prezentaci stochastické bezkontextové gramatiky.
První publikovaný popis výpočtu morfologie použitím snímače konečných stavů. (Kaplan a Kay předtím v této oblasti pracovali a prezentovali to na konferenci; lingvista Johnson tuto možnost poznamenal v roce 1972, ale neprovedl žádnou implementaci.)
Přehled skryté Markovovy modely zaměřené na rozpoznávání řeči a další pole NLP popisující Viterbi a dopředu a dozadu algoritmy.
  • Brill, Eric (1995). „Učení založené na transformaci založené na chybách a zpracování přirozeného jazyka: Případová studie v označování části řeči“. Výpočetní lingvistika. 21 (4): 543–566.
Popisuje nyní běžně používaný Značkovač POS na základě učení založené na transformaci.
Učebnice statistických a pravděpodobnostních metod v NLP.
Tento průzkum dokumentuje relativně méně prozkoumaný význam líných funkčních programovacích jazyků (tj. Haskell ) postavit procesory přirozeného jazyka a vyhovět mnoha lingvistickým teoriím.

Softwarové inženýrství

Viz také: Seznam témat softwarového inženýrství § Významné publikace

Softwarové inženýrství: Zpráva z konference sponzorované Vědeckým výborem NATO

Popis: Konference předních osob v oblasti softwaru c. 1968
Článek definoval pole Softwarové inženýrství

Popis paradigmatu uživatelského rozhraní Model-View-Controller v systému Smalltalk-80[13]

Description: A description of the system that originated the (now dominant) GUI programming paradigm of Model – pohled – řadič

Přejít na prohlášení považováno za škodlivé[10]

Description: Don't use goto – the beginning of strukturované programování.

On the criteria to be used in decomposing systems into modules

Description: The importance of modularization and skrývání informací. Note that information hiding was first presented in a different paper of the same author – "Information Distributions Aspects of Design Methodology", Proceedings of IFIP Congress '71, 1971, Booklet TA-3, pp. 26–30

Hierarchical Program Structures

  • Ole-Johan Dahl, C. A. R. Hoare
  • in Dahl, Dijkstra and Hoare, Structured Programming, Academic Press, London and New York, pp. 175–220, 1972.

Description: The beginning of Objektově orientované programování. This paper argued that programs should be decomposed to independent components with small and simple interfaces. They also argued that objects should have both data and related methods.

A Behavioral Notion of Subtyping

Description: Introduces Princip substituce Liskov and establishes behavioral subtyping rules.

A technique for software module specification with examples

Popis: software specification.

Strukturovaný design

Description: Seminal paper on Strukturovaný design, diagram toku dat, spojka, a soudržnost.

Císařovo staré oblečení

Description: Illustrates the "efekt druhého systému " and the importance of simplicity.

Mýtický muž-měsíc: Eseje o softwarovém inženýrství

Description: Throwing more people at the task will not speed its completion...

No Silver Bullet: Essence and Accidents of Software Engineering

Description: Brooks argues that "there is no single development, in either technology or management technique, which by itself promises even one řádově [tenfold] improvement within a decade in productivity, in reliability, in simplicity." He also states that "we cannot expect ever to see two-fold gains every two years" in software development, as there is in hardware development (Moorův zákon ).

Katedrála a bazar

Popis: Otevřený zdroj metodologie.

Design Patterns: Elements of Reusable Object Oriented Software

Description: This book was the first to define and list designové vzory v informatice.

Statecharts: A Visual Formalism For Complex Systems

  • David Harel
  • D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231—274, 1987
  • Online verze

Popis: Statecharts are a visual modeling method. They are an extension of státní stroj that might be exponentially more efficient. Therefore, statcharts enable formal modeling of applications that were too complex before. Statecharts are part of the UML diagramy.

Security and Privacy

Anonymity and Privacy

Kryptografie

Hlavní článek: List of important publications in cryptography
  • Whitfield Diffie and Martin E. Hellman, New Directions in Cryptography, IEEE Transactions on Information Theory, November 1976
  • R. L. Rivest and A. Shamir and L. M. Adelman, A Method For Obtaining Digital Signatures And Public-Key Cryptosystems, MIT/LCS/TM-82, 1977
  • Merkle, R. Security, Authentication, and Public Key Systems, PhD Thesis, 1979 Stanford University. (Just read chapter 2, pages 11–15, in which Merkle invents cryptographic hash functions.)

Hesla

Zabezpečení systému

Použitelné zabezpečení

Teoretická informatika

Hlavní článek: Seznam důležitých publikací v teoretické informatice

Pokrytá témata: teoretická informatika, počítaje v to teorie vypočítatelnosti, teorie výpočetní složitosti, algoritmy, teorie algoritmických informací, teorie informace a formální ověření.

Viz také

Reference

  1. ^ Linnainmaa, Seppo (1970). Reprezentace kumulativní chyby zaokrouhlování algoritmu jako Taylorovo rozšíření místních chyb zaokrouhlování. Master's Thesis, Univ. Helsinki, 6-7.
  2. ^ Griewank, Andreas (2012). Who Invented the Reverse Mode of Differentiation? Optimization Stories, Documenta Matematica, Extra Volume ISMP (2012), 389-400.
  3. ^ Werbos, P.. Beyond Regression: New Tools for Prediction and Analysis in the Behavioral Sciences. PhD thesis, Harvard University, 1974
  4. ^ Laplante 1996, str. 150
  5. ^ Laplante 1996, str. 208
  6. ^ The rendering equation
  7. ^ Kass, M.; Witkin, A.; Terzopoulos, D. (1988). "Snakes: Active contour models" (PDF). International Journal of Computer Vision. 1 (4): 321. CiteSeerX  10.1.1.124.5318. doi:10.1007/BF00133570. S2CID  12849354. Archivovány od originál (PDF) dne 2016-01-12. Citováno 2015-08-28.
  8. ^ Behrouz Forouzan. "Data communication and networking book". McGrawhill Education. Archivováno z původního dne 4. září 2014. Citováno 1. ledna 2013.
  9. ^ Laplante 1996, str. 62
  10. ^ A b C Pierce, Benjamin C. (2004). "Great works in programming languages". Penn Engineering. Chybějící nebo prázdný | url = (Pomoc)
  11. ^ „Archivovaná kopie“ (PDF). Archivováno (PDF) z původního dne 2007-02-04. Citováno 2007-02-26.CS1 maint: archivovaná kopie jako titul (odkaz)
  12. ^ "Google Академія". Archivováno od originálu 2015-05-14. Citováno 2016-11-14.
  13. ^ Model View Controller History Archivováno 2011-05-15 na Wayback Machine. C2.com (2012-05-11). Citováno 2013-12-09.
  • Laplante, Phillip, ed. (1996). Great papers in computer science. New York: IEEE Press. ISBN  978-0-314-06365-6.CS1 maint: ref = harv (odkaz)
  • Randell, Brian (ed). (1982). The Origins of Digital Computers: Selected Papers. 3. vyd. Berlín: Springer-Verlag. ISBN  0-387-11319-3.
  • Turning Points in Computing: 1962–1999, Special Issue, IBM Systems Journal, 38 (2/3),1999.
  • Yourdon, Edward (ed.) (1979) Classics in Software Engineering. New York: Yourdon Press. ISBN  0-917072-14-6

externí odkazy

Academic Search Engines