Seznam důležitých publikací o informatice

Zde je seznam důležitých publikací o informatice uspořádaných podle oblastí.

Některé důvody, proč lze příspěvek považovat za důležitý:

• kreativní téma - příspěvek, který vytvořil nové téma;
• objev - 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

• Computing Machinery and Intelligence , Alan Turing , Mind , 59: 433–460, 1950 ( online kopie ). Tento článek navrhuje Turingův test jako metodu pro rozlišení mezi strojem a člověkem.
• Návrh letního výzkumného projektu umělé inteligence v Dartmouthu , John McCarthy , Marvin Minsky , N. Rochester, Claude Shannon ( kopie online ). Tento letní výzkumný projekt zahájil a definoval pole. Obsahuje první použití termínu umělá inteligence a tento stručný popis filosofického základu oboru: „každý aspekt učení nebo jakýkoli jiný charakteristický rys inteligence lze v zásadě přesně popsat, protože je možné vytvořit stroj pro jejich simulaci“ ( Viz filozofie umělé inteligence ). Tento návrh pozval vědce na konferenci v Dartmouthu , která je všeobecně považována za ((narození AI ((. (Viz historii AI.).)
• Fuzzy sady , Lotfi Zadeh , Information and Control , Vol. 8, s.  338–353 , 1965. Tato seminární práce publikovaná v roce 1965 poskytuje podrobnosti o matematice teorie fuzzy množin .
• Pravděpodobnostní uvažování v inteligentních systémech: Networks of Plausible Inference , Judea Pearl ( ISBN  1-55860-479-0 ) . Tato kniha představuje Bayesovské metody pro AI.
• Umělá inteligence: Moderní přístup , Stuart J. Russell , Peter Norvig , Prentice Hall, Englewood Cliffs, New Jersey, 1995, ( ISBN  0-13-080302-2 ) ( online kopie ). Referenční příručka v Umělé inteligenci. Web knihy obsahuje více než 1100 vysokých škol.

Strojové učení

• Induktivní odvozovací stroj , Ray Solomonoff , záznam konvence IRE, oddíl o teorii informací , část 2, s. 1.  56–62 , 1957. První písemný dokument o strojovém učení . Zdůrazňuje význam tréninkových sekvencí a využití části předchozích řešení problémů při konstrukci testovacích řešení nových problémů.
• Identifikace jazyka v limitu , E. Mark Gold, Information and Control , 10 (5): 447–474, 1967 ( (HTML) (PDF) ). Tento dokument vytvořil teorii algoritmického učení .
• Pokud jde o jednotnou konvergenci relativních frekvencí událostí k jejich pravděpodobnostem , Vladimír Vapnik , Alexeï Tchervonenkis , Theory of Probability and its Applications , 16 (2): 264–280, 1971. Teorie počítačového učení, teorie VC, konvergenční statistická uniforma a VC dimenze.
• The theory of the learnable , Leslie Valiant , Communications of the ACM , 27 (11): 1134–1142, 1984. PAC learning .
• Learning Representations by Back-Propagating errors , David E. Rumelhart, Geoffrey E. Hinton a Ronald J. Williams, Nature , 323, 533-536, 1986. Vývoj zpětného šíření algoritmu pro neurální sítě umělý . Všimněte si, že algoritmus popsal Paul Werbos v roce 1974.
• Indukce rozhodovacích stromů , Ross Quinlan , Machine Learning , 1. 81-106, 1986. Rozhodovací stromy jsou běžným algoritmem učení a nástrojem pro reprezentaci rozhodnutí.
• Rychle se učte, když se vyskytují irelevantní atributy: Nový algoritmus lineárního prahu , Nick Littlestone, Machine Learning 2: 285–318, 1988 ( online verze (PDF) )
• Naučit se předpovídat metodou Dočasného rozdílu , Richard S. Sutton , Machine Learning 3 (1): 9–44 ( online verze ). Metoda časového rozdílu pro posílení učení .
• Learnability and the Vapnik - Chervonenkis dimension , A. Blumer, Andrzej Ehrenfeucht , D. Haussler, MK Warmuth, Journal of the ACM , 36 (4): 929–965, 1989. Kompletní charakterizace učení PAC pomocí dimenze VC .
• Kryptografická omezení učení logických vzorců a konečných automatů , M. Kearns, Leslie Valiant , Symposium on Theory of Computing , strany 433–444, New York, ACM. ( Online verze (HTML) ). Důkazy o negativních výsledcích učení CAP.
• Síla slabé učitelnosti , Robert Schapire , Machine Learning , 5 (2): 197–227, 1990. ( Online verze (HTML) ). Důkaz, že slabá a silná učitelnost je v rámci PAC ekvivalentní .
• Výcvikový algoritmus pro optimální klasifikátory marží , Bernhard E. Boser, Isabelle M. Guyon, Vladimir Vapnik , ( online verze (HTML) ). Tento článek představuje Support Vector Machines , praktický a populární algoritmus strojového učení. Podpůrné vektorové stroje často používají trik jádra .
• Algoritmus rychlého učení pro sítě s hlubokým přesvědčením , Geoffrey E. Hinton, Simon Osindero, Yee-Whye Teh, Neural Computation , 2006 ( [PDF] online )
• Znalostní analýza dat genové exprese microarray pomocí podpůrných vektorových strojů , MP Brown, WN Grundy, D Lin, Nello Cristianini, CW Sugnet, TS Furey, M Ares Jr, David Haussler, PNAS ,4. ledna 2000 ; 97 (1): 262–7. První aplikace supervizovaného učení na data genové exprese , zejména na stroji s vektorem nosiče . Metoda je nyní standardní a dokument je jedním z nejcitovanějších v tomto oboru.

Překladače

• DE Knuth , „  O překladu jazyků zleva doprava  “, Information and Control , sv.  8, n O  6,Červenec 1965, str.  607-639 ( DOI  10.1016 / S0019-9958 (65) 90426-2 , číst online , přístup 29. května 2011 ). Analyzátor LR .
• Sémantika bezkontextových jazyků , Donald Knuth , matematika. Systémová teorie 2: 2 (1968), 127–145. O atribuci gramatiky, základu pro s-atribuci yacc a přístupu LR-atribuce zyacc.
• Procedura analýzy toku dat programu , Frances E. Allen , John Cocke , Commun. ACM , 19, 137-147.
• Unified Approach to Global Program Optimization , Gary Kildall , Proceedings of ACM Sigact-Sigplan 1973 Symposium on Principles of Programming Languages ( pdf ). Formalizoval koncept analýzy toku dat jako pevný bod výpočtu mřížky .
• YACC: Ještě další překladač-překladač , Stephen C. Johnson, Unix Programmer's Manual Vol 2b, 1979 ( Číst online (HTML) . Yacc je nástroj pro generování analyzátoru .
• gprof: Profesor Call Call Execution Profiler , Susan L. Graham, Peter B. Kessler, Marshall Kirk McKusick , Proceedings of the ACM Sigplan 1982 Symposium on Compiler Construction , Sigplan Notices 17, 6, Boston, MA.,Červen 1982. ( Číst online ; pdf ). Profilování gprof .
• Překladatelé: Principy, techniky a nástroje , Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman , Monica Lam, Addison-Wesley , 1986. ( ISBN  0-201-10088-6 ) . Tato kniha se stala klasikou psaní překladačů.

Počítačová architektura

• Počítač Colossus , Tommy Flowers , Annals of the History of Computing , sv. 5 (č. 3), 1983, s.  239–252 . ( Design Colossus ). Kolosové stroje byly prvními výpočetními zařízeními používanými britskou dešifrováním k rozbití německých zpráv zašifrovaných Lorenzovým strojem během druhé světové války . Colossus je binární elektronický digitální počítač .
• První návrh zprávy o EDVAC , John von Neumann .30. června 1945, projekt ENIAC . ( První návrh zprávy o EDVAC ) ( [PDF] ). Obsahuje první publikovaný popis logického návrhu počítače využívajícího architekturu von Neumann.
• Architecture of the IBM System / 360 , Gene Amdahl , Fred Brooks , GA Blaauw, IBM Journal of Research and Development , 1964. ( Architecture of the IBM System / 360 ). Systém IBM / 360 je rodina sálových systémů , které společnost IBM oznámila7. dubna 1964. Byla to první rodina počítačů, která jasně rozlišovala mezi architekturou a implementací.
• Případ pro počítač se sníženou instrukční sadou , DA Patterson, DR Ditzel, Computer Architecture News , sv. 8, n O  6,Říjen 1980, str.  25–33 . ( Online verze ( [PDF] ) )
• Komentáře k případu pro počítač se sníženou instrukční sadou , DW Clark, WD Strecker, Computer Architecture News , 1980. ( Online verze ( [PDF] )
• Počítačový systém CRAY-1 , DW Clark, WD Strecker, komunikace ACM ,Leden 1978, svazek 21, číslo 1, strany 63–72. ( Online verze ( [PDF] ) ). 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ři 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í , Gene Amdahl , AFIPS 1967 Spring Joint Computer Conference , Atlantic City, NJ ( online verze ( [PDF] ) ). Na Amdahlův Law .
• Případ pro redundantní pole levných disků (RAID) , David A. Patterson, Garth Gibson, Randy H. Katz, In International Conference on Management of Data , strany 109–116, 1988. ( Online verze ( [PDF] ) ). Dokument představuje koncept disků RAID , popisuje různé úrovně pole RAID a výhody každé úrovně.

Infografika

• The Rendering Equation , J. Kajiya, Siggraph : ACM Special Interest Group on Computer Graphics and Interactive Techniques , strany 143–150
• Elasticky deformovatelné modely , Demetri Terzopoulos , John Platt , Alan Barr, Kurt Fleischer, Computer Graphics , 21 (4), 1987, 205–214, Proc. Konference ACM SIGGRAPH '87, Anaheim, CA,Červenec 1987. ( Online verze ( [PDF] ) ).

Digitální vidění

• The Phase Correlation Image Alignment Method , CD Kuglin, DC Hines, IEEE 1975 Conference on Cybernetics and Society , 1975, New York, str.  163–165 . Korelační metoda založená na inverzní Fourierově transformaci.
• Stanovení optického toku , BKP Horn, BG Schunck, Artificial Intelligence , svazek 17, 185–203, 1981. DOI : 10.1016 / 0004-3702 (81) 90024-2 . Metoda odhadu pohybu obrazu bodů mezi dvěma obrazy videosekvence.
• Iterativní technika registrace obrazu s aplikací na Stereo Vision , BD Lucas, Takeo Kanade , Sborník ze 7. mezinárodní společné konference o umělé inteligenci , 674–679, Vancouver, Kanada, 1981 ( online verze ). Tento dokument poskytuje efektivní techniku ​​pro záznam obrazu.
• Laplaciánská pyramida jako kompaktní obrazový kód , Peter J. Burt, Edward H. Adelson, IEEE Transactions on Communications , svazek = COM-31,4 , s.  532–540 , 1983. ( Online verze ). Technika kódování obrázků pomocí místních operátorů mnoha měřítek.
• Stochastická relaxace, Gibbsovo rozdělení a Bayesova obnova obrazů , Stuart Geman, Donald Geman, IEEE Transactions on Pattern Analysis and Machine Intelligence , 1984. Zavedení 1) MRF pro analýzu obrazu 2) Gibbsovo vzorkování, které způsobilo revoluci v Bayesovské statistice, a proto mělo primární dopad v mnoha dalších oblastech kromě počítačového vidění.
• Hadi: Aktivní konturové modely , Michael Kass, Andrew Witkin, Demetri Terzopoulos . Variační interaktivní technika pro segmentaci obrazu a vizuální sledování.
• Kondenzace - podmíněné šíření hustoty pro vizuální sledování , M. Isard, A. Blake, International Journal of Computer Vision , 29 (1): 5–28, 1998. ( Online verze ). Technika pro pohyblivý zápas.
• Rozpoznávání objektů z místních funkcí neměnných v měřítku , David Lowe , Mezinárodní konference o počítačovém vidění , s.  1150–1157 , 1999. Technika ( Scale-invariant feature transform ) pro popis prvku .

Databáze

• Relační model pro velké sdílené datové banky , Edgar Frank Codd , Komunikace ACM , 13 (6): 377–387,Červen 1970. Tento dokument představuje relační model databází .
• Binární stromy B pro virtuální paměť , Rudolf Bayer , Workshop ACM-SIGFIDET 1971 , San Diego, Kalifornie, Session 5B, s.  219–235 . Tento dokument představuje datovou strukturu z B-stromů . Tento model se stal modelem číslo jedna.
• The Entity Relationship Model - Towards a Unified View of Data , Peter Chen , ACM Transaction on Database Systems , Vol. 1, číslo 1, březen 1976, s. 9–36 . Tento dokument představuje diagram modelu Entity Relationship Model (ERD) návrhu databáze.
• Pokračování: Strukturovaný anglický dotazovací jazyk , Donald D. Chamberlin , Raymond F. Boyce. Tento dokument představuje jazyk SQL.
• Pojmy konzistence a predikátních zámků v databázovém systému , KP Eswaran, J. Gray, RA Lorie, IL Traiger, Communications of the ACM 19 , 1976, 624-633. Tento dokument definuje pojmy transakce a konzistence . Tvrdil také, že transakce by se měla týkat spíše logiky než fyzické podmnožiny databáze.
• Pravidla asociace těžby mezi sadami položek ve velkých databázích , Rakesh Agrawal, Tomasz Imielinski, Arun Swami, Proc. konference ACM SIGMOD o správě dat , strany 207–216, Washington, DC,Květen 1993( Online verze (HTML) ). Tyto asociační pravidla , velmi častý způsob pro data mining .

Historie počtu

• Herman H. Goldstine , Počítač od Pascala po von Neumanna , Princeton University Press ,1972( ISBN  0-691-08104-2 ). První kniha o historii počtu.
• A History of Computing in the Twentieth Century , Nicholas Metropolis , J. Howlett, Gian-Carlo Rota , Academic Press , 1980, ( ISBN  0-12-491650-3 ) . Několik kapitol počítačových průkopníků.

Hledání informací

• Model vektorového prostoru pro automatické indexování , Gerard Salton , A. Wong, CS Yang, Commun. ACM , 18 (11): 613-620 (1975). Vektorové šablony prezentace.
• Extended Boolean Information Retrieval , Gerard Salton , Edward A. Fox, Harry Wu, Commun. ACM 26 (11): 1022-1036 (1983). Prezentace obráceného indexu .

Sociální síť

• Datová komunikace a sítě , Behrouz A. Forouzan, ( ISBN  0073376221 ) , McGraw hill education, 2013. Tato kniha představuje komplexní a přístupný přístup k datové komunikaci a vytváření sítí a díky ní je tato kniha oblíbená u studentů i odborníků. Více než 830 čísel a 150 tabulek doprovází text a poskytuje vizuální a intuitivní porozumění.

Operační systémy

• Experimentální systém sdílení času , Fernando J. Corbató , M. Merwin-Daggett, RC Daley, Sborník AFIPS FJCC , strany 335–344, 1962. ( Online verze (HTML) ). Tento dokument pojednává o sdílení času metodě sdílení počítačových prostředků. Tato myšlenka změnila interakci s počítačovými systémy.
• Model pracovní sady pro chování programu , Peter J. Denning, Komunikace ACM , sv. 11, n o  5,Květen 1968, str.  323–333 ( online verze ( [PDF] ) ). Začátek mezipaměti .
• Virtuální paměť, procesy a sdílení v multiku , Robert C. Daley, Jack B. Dennis , komunikace ACM , sv. 11, n o  5,Květen 1968, str.  306–312 . ( Online verze ( [PDF] ) . Klasický dokument o Multics , nejambicióznějším operačním systému v rané historii výpočetní techniky. Většina operačních systémů od doby, kdy byl Multics, obsahuje podmnožinu svých zařízení.
• Jádro multiprogramovacího systému , Per Brinch Hansen, Communications of the ACM , Vol. 13, n O  4,Duben 1970, str.  238–242 ( online verze ( [PDF] ) ). Dokument o rozšiřitelné architektuře jádra multiprogramovacího systému RC 4000 , nyní známého jako mikronukleus.
• Principy operačního systému , Per Brinch Hansen, Prentice Hall , Englewood Cliffs, NJ,Červenec 1973. ( Online verze (digitální knihovna ACM) ). První komplexní příručka k operačním systémům.
• Systém sdílení času UNIX , Dennis M. Ritchie a Ken Thompson , Komunikace ACM , 17 (7),Červenec 1974. ( Online verze ). V tomto dokumentu byl popsán operační systém Unix a jeho principy. Hlavní důležitost nepochází z tohoto dokumentu, ale z operačního systému, který měl obrovský vliv na operační systém a výpočetní techniku.
• Experiences with Processes and Monitors in Mesa , Butler W. Lampson , David D. Redell, Communications of the ACM , Vol. 23, n O  2Únor 1980, str.  105–117 . ( Online verze ( [PDF] ) ). Klasický dokument o technikách synchronizace.
• Rychlý souborový systém pro Unix , Marshall Kirk McKusick , William N. Joy , Samuel J. Leffler, Robert S. Fabry, IACM Transaction on Computer Systems , sv. 2, n O  3, srpen 1984 , s.  181–197 . ( Online verze ( [PDF] ) ). Souborový systém pro Unix . Jeden z prvních článků o tom, jak spravovat diskové úložiště pro vysoce výkonné systémy souborů.
• Architektura operačního systému Microkernel a Mach , David L. Black, David B.Golub, Daniel P. Julin, Richard F. Rashid, Richard P. Draves, Randall W. Dean, Alessandro Forin, Joseph Barrera, Hideyuki Tokuda, Gerald Malan, David Bohman, strany 11–30,Dubna 1992. Dokument zabývající se konkrétní architekturou mikrojader.
• Soft Updates: A Solution to the Metadata Update problem in File Systems , G. Ganger, M. McKusick , C. Soules, Y. Patt, ACM Transactions on Computer Systems 18, 2, s. 1.  127–153 ,Květen 2000( Online verze ). Nový způsob zachování konzistence systému souborů.

Programovací jazyky

• Automatický kódovací systém Fortran , John Backus et al., Sborník před WJCC (Western Joint Computer Conference) , Los Angeles, Kalifornie,Únor 1957. ( Online verze ( [PDF] ) ). Tento dokument popisuje návrh a implementaci prvního kompilátoru Fortran týmem IBM . Fortran je vyhrazený , procesní , a imperativ programovací jazyk , který je obzvláště vhodný pro numerické a vědecké práci na počítači.
• Rekurzivní funkce symbolických výrazů a jejich výpočet strojem, část I , John McCarthy , Komunikace ACM , 3 (4): 184–195,Dubna 1960. ( Online verze ). Tento dokument představuje LISP , první funkční programovací jazyk , který byl široce 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.
• Základní koncepty v programovacích jazycích , Christopher Strachey , ( [PDF] ). Představená terminologie programovacího jazyka, která se používá dodnes.
• Lambda Papers , Gerald Jay Sussman a Guy Lewis Steele, Jr. , AI Memos, 1975–1980. Tato řada článků a zpráv nejprve definuje vlivný programovací jazyk Scheme a zpochybňuje stávající postupy při navrhování programovacího jazyka, přičemž k modelování konceptů programovacího jazyka používá rozsáhlý lambda-kalkul . Programování a vedení efektivní implementace bez obětování expresivní síly .
• Struktura a interpretace počítačových programů , Hal Abelson a Gerald Jay Sussman , MIT Press , 1984, 1996. Tato příručka vysvětluje základní koncepty počítačového programování a je považována za klasický text v počítačové vědě.
• Comprehending Monads , Philip Wadler , Mathematical structures in computer science 2.04 , 1992, 461-493. ( Online verze ). Tento dokument zavádí monad do funkčního programování.
• Směrem k teorii struktury typů , John Reynolds, Programming Symposium. Springer Berlin Heidelberg , 1974. ( Online verze ). Tento dokument zavádí systém F .
• Axiomatický základ pro počítačové programování , Charles Antony Richard Hoare , komunikací ACM , svazek 12, n °  10,Říjen 1969, Strany 576-580. Tento článek představuje Hoareovu logiku , která tvoří základ ověření programu.

Vědecké výpočty

• JH Wilkinson a C. Reinsch , lineární algebra, svazek II příručky pro automatické výpočty , Springer,1971( ISBN  978-0-387-05414-8 )
• Gene H. Golub, Charles F. van Loan, Matrix Computations, 3. vydání , Johns Hopkins University Press, 1996 [1983] ( ISBN  978-0-8018-5414-9 )
• Výpočetní lingvistika , TL Booth (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ů : 74–81 s. 
• Kimmo Koskenniemi, Dvouúrovňová morfologie: Obecný výpočetní model rozpoznávání a produkce slovních forem , Katedra obecné lingvistiky, Helsinská univerzita , 1983. První publikovaný popis výpočetní morfologie s využitím konečných převodníků . (Kaplan a Kay již dříve v této oblasti pracovali a přednesli je na konferenci, lingvista Johnson si tuto možnost v roce 1972 všiml, ale neprovedl ji.)
• Lawrence R. Rabiner , „  Výukový program o skrytých Markovových modelech a vybraných aplikacích v rozpoznávání řeči  “, Sborník IEEE , sv.  77, n O  21989, str.  257–286 ( DOI  10.1109 / 5.18626 ). Přehled skrytých Markovových modelů orientovaných na rozpoznávání řeči , popisujících Viterbiho a dopředu a dozadu algoritmus  .
• Eric Brill , „  Chybově řízené učení založené na transformaci a zpracování přirozeného jazyka: Případová studie značení části řeči  “, Computational Linguistics , sv.  21, n O  4,1995, str.  543–566. Popisuje nyní běžně používaný POS tagger založený na učení založeném na transformaci.

Softwarové inženýrství

• Softwarové inženýrství: Zpráva z konference sponzorované Vědeckým výborem NATO , Peter Naur , Brian Randell (eds.), Garmisch, Německo, 7–11. října 1968, Brusel, divize pro vědecké záležitosti, NATO (1969) 231 s. ( Online verze ( [PDF] ) ). Konference softwarových lídrů c. 1968. Dokument definuje oblast softwarového inženýrství .
• Popis paradigmatu uživatelského rozhraní Model-View-Controller v systému Smalltalk-80 , Glenn E. Krasner, Stephen T. Pope, The Journal of Object Technology , August-Září 1988( Online verze ( [PDF] ) )
• Přejít na Prohlášení Považováno za škodlivé , Edsger Dijkstra , Komunikace ACM , 1 (3): 147–148,Březen 1968( Online verze ). Nepoužívejte goto - začátek strukturovaného programování .
• O kritériích, která se mají použít při rozkladu systémů na moduly , David Parnas , Communications of the ACM , Volume 15, n o  12: 1053–1058,Prosinec 1972. ( Online verze ( [PDF] ) ). Důležitost modularizace a zapouzdření .
• Hierarchické programové struktury , Ole-Johan Dahl , Charles Antony Richard Hoare , strukturované programování , Academic Press, Londýn a New York, s.  175–220 , 1972. Začátek objektově orientovaného programování . Tento článek tvrdil, že programy by měly být rozděleny na nezávislé součásti. Rovněž tvrdili, že objekty by měly mít související data a metody.
• Technika pro specifikaci softwarového modulu s příklady , David Parnas , Comm. ACM 15 , 5 (Květen 1972), 330–336. specifikace .
• Strukturovaný design , Wayne Stevens, Glenford Myers a Larry Constantine, IBM Systems Journal , 13 (2), 115–139, 1974. ( Online verze ( [PDF] ) ). Články týkající se strukturovaného designu , diagramu toku dat , vazby a soudržnosti .
• Císařovy staré šaty , CAR Hoare, komunikace ACM , sv. 24, n O  2Únor 1981, str.  75–83 . ( Online verze ( [PDF] ) ). Ilustruje „  efekt druhého systému  “ a důležitost jednoduchosti.
• Mýtický Man-Měsíc: Eseje o Software Engineering , Fred Brooks , Addison Wesley Professional, 2 th  edition, 1995. Házení více lidí, aby tento úkol nebude urychlit jeho dokončení ...
• No Silver Bullet: Essence and Accidents of Software Engineering , Frederick. P., Jr. Brooks , „  No Silver Bullet: Essence and Accidents of Software Engineering,  “ Computer , sv.  20, n O  4,Duben 1987, str.  10–19 ( DOI  10.1109 / MC.1987.1663532 )
• Katedrála a bazar , Eric Raymond , první pondělí , 3, 3,Březen 1998( Online verze (HTML) ). Metodika otevřeného zdroje .
• Návrhové vzory: Prvky opakovaně použitelného objektově orientovaného softwaru , Erich Gamma , návrhové vzory , R. Johnson, J. Vlissides
• Addison-Wesley , Reading, Massachusetts, 1995. Tato kniha byla první, která definovala a vypsala návrhové vzory .
• Statecharts: A Visual Formalism For Complex Systems , David Harel, D. Harel. Statecharts: Vizuální formalismus pro složité systémy. Science of Computer Programming , 8: 231-274, 1987 ( online verze ). Státní  diagramy jsou přístupem vizuálního modelování. Jsou rozšířením stavového stroje, které by mohlo být exponenciálně efektivnější. Proto statcharts umožňují formální modelování aplikací, které byly dříve příliš složité.

bezpečnostní

Anonymity systémy

• David Chaum, nevystopovatelná elektronická pošta, zpáteční adresy a digitální pseudonyma , komunikace ACM , 4 (2): 84–88,Únor 1981.
• Dingledine a Mathewson, Anonymity Loves Company: Usability and the Network Effect , Workshop on the Economics of Information Security (WEIS) 2006

Kryptografie

• Whitfield Diffie a Martin E. Hellman, New Directions in Cryptography , IEEE Transactions on Information Theory,Listopadu 1976
• RL Rivest, A. Shamir a LM Adelman, Metoda získávání digitálních podpisů a kryptosystémů veřejného klíče , MIT / LCS / TM-82, 1977
• R. Merkle, Security, Authentication, and Public Key Systems , Thesis, Stanford University, 1979.

Hesla

• Robert Morris a Ken Thompson, zabezpečení heslem: a anamnéza , komunikace z archivu ACM CACM úvodní , Volume 22, n o  11 listopadu 1979 stránek 594-597. ( [PDF] )
• Mazurek a kol., Měření hádanosti hesla pro celou univerzitu , CCS '13 Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security , strany 173-186

Bezpečnostní systém

• Saltzer a Schroeder, Ochrana informací v počítačových systémech , ACM Symposium o principech operačního systému ,Říjen 1973, ( HTML HTML2 )
• Karger and Schell, Thirty Years later: Lessons from the Multics Security Evaluation , ACSAC, 2002
• Lamport, Butler, Poznámka k problému porodu , komunikace ACM , 16:10 (Říjen 1973), s.  613-615 . ( [PDF] )
• Thompson, Úvahy o důvěře Důvěra , Komunikace ACM , 27: 8,Srpna 1984
• JE Forrester a BP Miller, empirická studie robustnosti aplikací Windows NT pomocí náhodného testování , 4. USENIX Windows Systems Symposium, Seattle,srpna 2000.

Bezpečnost použitelná

• Whitten, Alma, Proč Johnny nemůže šifrovat: Hodnocení použitelnosti PGP 5.0 , Sborník příspěvků z 8. konference o bezpečnostním sympoziu Usenix , svazek 8, strany 14–28
• Simson Garfinkel a Abhi Shelat, Remembrance of data předávána , IEEE Security and Privacy , Volume 1, n o  1,ledna 2003, Strana 17-27

Teoretická informatika

• Náplní činnosti: Teoretická informatika , teorie složitosti , algoritmy , algoritmické informační teorie , informační teorie  a formální verifikace .

Poznámky a odkazy

1. http://www.pnas.org/cgi/content/abstract/97/1/262
2. Laplante 1996 , s.  150
3. Laplante 1996 , s.  208
4. Vykreslovací rovnice
5. M. Kass , A. Witkin a D. Terzopoulos , „  Snakes: Active contour models  “, International Journal of Computer Vision , sv.  1, n O  4,1988, str.  321 ( DOI  10.1007 / BF00133570 , číst online )
6. Behrouz Forouzan, "  Datová komunikace a sítě book  " , McGraw-Hill Education (k dispozici na 1. st leden 2013 )
7. Laplante 1996 , s.  62
8. (en-USA) Benjamin C. Pierce, „  Skvělá práce v programovacích jazycích  “ , Penn Engineering ,2004
9. Dvouúrovňová morfologie: Obecný výpočetní model rozpoznávání a produkce slovních forem (PDF)
10. Historie modelu Pohled na model .

Podívejte se také

Bibliografie

• (en) Phillip Laplante ( dir. ), Great papers in computer science , New York, IEEE Press,1996, 717  s. ( ISBN  0-314-06365-X )

Související články

• Seznam důležitých kryptologických publikací
• Seznam důležitých publikací v teoretické informatice
• Seznam důležitých matematických publikací
• Seznam důležitých publikací ve statistice
• Seznam důležitých publikací z fyziky
• Chronologie botanické klasifikace

externí odkazy

Univerzitní vyhledávače

• Google Scholar
• CiteSeer
• Živé akademické
• Odysci
• ISI Web of Science