BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
tutorial
Google tutorial

Tag #tutorial

245 papers:

EDMEDM-2019-BanjadeR #logic #probability #student #using
Assessing Student Response in Tutorial Dialogue Context using Probabilistic Soft Logic (RB, VR).
EDMEDM-2019-ChenLFG #online #predict #scalability #student
Predictors of Student Satisfaction: A Large-scale Study of Human-Human Online Tutorial Dialogues (GC, DL, RF, DG).
KDDKDD-2019-AnastasiuRT #named #order #problem
Tutorial: Are You My Neighbor?: Bringing Order to Neighbor Computing Problems (DCA, HR, AT), pp. 3241–3242.
KDDKDD-2019-XiaoS #data mining #development #mining #named
Tutorial: Data Mining Methods for Drug Discovery and Development (CX, JS), pp. 3195–3196.
CIKMCIKM-2018-HerwegenHTMD #information management #linked data #open data #representation
Knowledge Representation as Linked Data: Tutorial (JVH, PH, RT, BDM, AD), pp. 2299–2300.
EDMEDM-2017-Sales #named
Tutorial: Principal Stratification for EDM Experiments (AS).
ICPCICPC-2017-PocheJWSVM
Analyzing user comments on YouTube coding tutorial videos (EP, NJ, GW, JS, MV, AM), pp. 196–206.
ICSE-2017-JiangZRZ #api #approach
An unsupervised approach for discovering relevant tutorial fragments for APIs (HJ, JZ, ZR, TZ0), pp. 38–48.
WICSAWICSA-2016-Bosch #ecosystem #future of #re-engineering #summary
Tutorial Summary for Speed, Data and Ecosystems: The Future of Software Engineering (JB), p. 254.
WICSAWICSA-2016-Hofig #analysis #architecture #component #dependence #summary
Tutorial Summary for Dependability Analysis in the Context of Component-Based System Architectures (KH), p. 255.
WICSAWICSA-2016-KazmanCHH #architecture #design #summary #using
Tutorial Summary for Designing Software Architectures Using ADD 3.0 (RK, HC, SH, OH), p. 253.
EDMEDM-2016-RusBMMRY #classification #online
Preliminary Results On Dialogue Act and Subact Classification in Chat-based Online Tutorial Dialogues (VR, RB, NM, DMM, SR, MY), pp. 630–631.
SANERSANER-2016-JiangZLRL #api
A More Accurate Model for Finding Tutorial Segments Explaining APIs (HJ, JZ, XL, ZR, DL0), pp. 157–167.
SKYSKY-2016-Ben-Av #re-engineering
Tutorial about AMG and Possible Applications to Software Knowledge and Software Engineering (RBA), pp. 73–74.
OnwardOnward-2016-YadidY #programming
Extracting code from programming tutorial videos (SY, EY), pp. 98–111.
TPDLTPDL-2015-GuoG #effectiveness
Connecting Emotionally: Effectiveness and Acceptance of an Affective Information Literacy Tutorial (YG, DHLG), pp. 169–181.
VLDBVLDB-2015-AbadiBOP #named
Tutorial: SQL-on-Hadoop Systems (DA, SB, , IP), pp. 2050–2061.
EDMEDM-2015-Ezen-CanB
Choosing to Interact: Exploring the Relationship Between Learner Personality, Attitudes, and Tutorial Dialogue Participation (AEC, KEB), pp. 125–128.
CEFPCEFP-2015-FernandesCSP #deforestation #exclamation
Watch Out for that Tree! A Tutorial on Shortcut Deforestation (JPF, JC, JS, AP), pp. 1–41.
CHI-PLAYCHI-PLAY-2015-MusabirovOB #chat #game studies #online
Analyzing Chat Logs in Online Games for Tutorial Improvement (IM, PO, DB), pp. 661–666.
CoGCIG-2015-Ashlock #game studies
Tutorial II: Representations for evolutionary computation in games (DA), p. 21.
CoGCIG-2015-Miikkulainen #evolution #network
Tutorial III: Evolving neural networks (RM), p. 22.
CoGCIG-2015-Perez #challenge #game studies #video
Tutorial I: Video Game Description Language (VGDL) and the challenge of creating agents for General Video Game Playing (GVGP) (DP), p. 20.
CHICHI-2015-NguyenL #video
Making Software Tutorial Video Responsive (CN, FL), pp. 1565–1568.
CHICHI-2015-WakkarySDHDZL #design #hybrid
Tutorial Authorship and Hybrid Designers: The Joy (and Frustration) of DIY Tutorials (RW, MLS, MAD, SH, AD, XZ, HWJL), pp. 609–618.
ECIRECIR-2015-Azzopardi #documentation
A Tutorial on Measuring Document Retrievability (LA), pp. 813–816.
KDDKDD-2015-GionisT
Dense Subgraph Discovery: KDD 2015 tutorial (AG, CET), pp. 2313–2314.
KDDKDD-2015-SpiliopoulouRR #mining
Medical Mining: KDD 2015 Tutorial (MS, PPR, EMR), p. 2325.
RecSysRecSys-2015-SteckZJ #interactive #recommendation
Interactive Recommender Systems: Tutorial (HS, RvZ, CJ), pp. 359–360.
SIGIRSIGIR-2015-AzzopardiZ #modelling #retrieval #using
Building and Using Models of Information Seeking, Search and Retrieval: Full Day Tutorial (LA, GZ), pp. 1107–1110.
SIGIRSIGIR-2015-ChuklinMR #information retrieval #modelling
Advanced Click Models and their Applications to IR: SIGIR 2015 Tutorial (AC, IM, MdR), pp. 1111–1112.
SIGIRSIGIR-2015-ChuklinMR15a #modelling #web
An Introduction to Click Models for Web Search: SIGIR 2015 Tutorial (AC, IM, MdR), pp. 1113–1115.
SIGIRSIGIR-2015-KneesS #music #overview #perspective #recommendation #retrieval
Music Retrieval and Recommendation: A Tutorial Overview (PK, MS), pp. 1133–1136.
CBSECBSE-2014-Bliudze #component #design
Rigorous component-based design in BIP: half-day tutorial (SB), pp. 187–188.
DocEngDocEng-2014-BagleyH
DOCENG 2014: PDF tutorial (SRB, MRBH), pp. 213–214.
VLDBVLDB-2014-Gal #named #nondeterminism
Tutorial: Uncertain Entity Resolution (AG), pp. 1711–1712.
EDMEDM-2014-GrafsgaardWBWL #data type #learning #multimodal #predict
Predicting Learning and Affect from Multimodal Data Streams in Task-Oriented Tutorial Dialogue (JFG, JBW, KEB, ENW, JCL), pp. 122–129.
EDMEDM-2014-NiraulaRSG #mining
Mining Gap-fill Questions from Tutorial Dialogues (NBN, VR, DS, ACG), pp. 265–268.
EDMEDM-2014-StefanescuRG #information management #student #towards
Towards Assessing Students' Prior Knowledge from Tutorial Dialogues (DS, VR, ACG), pp. 197–201.
MSRMSR-2014-TiarksM #development #how #mobile #question
How does a typical tutorial for mobile development look like? (RT, WM), pp. 272–281.
SFMSFM-2014-GmeinerKSVW #algorithm #distributed #fault tolerance #model checking
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (AG, IK, US, HV, JW), pp. 122–171.
CHICHI-2014-0002GF #multi #named
CADament: a gamified multiplayer software tutorial system (WL, TG, GWF), pp. 3369–3378.
KDDKDD-2014-AmatriainM #problem #recommendation
The recommender problem revisited: morning tutorial (XA, BM), p. 1971.
KDDKDD-2014-BordesG #graph #mining
Constructing and mining web-scale knowledge graphs: KDD 2014 tutorial (AB, EG), p. 1967.
KDDKDD-2014-CormodeD #big data
Sampling for big data: a tutorial (GC, NGD), p. 1975.
RecSysRecSys-2014-CantadorC #recommendation
Tutorial on cross-domain recommender systems (IC, PC), pp. 401–402.
RecSysRecSys-2014-GuyG #recommendation #social
Social recommender system tutorial (IG, WG), pp. 403–404.
PPDPPPDP-2014-Ilik #continuation #normalisation #proving
Proofs in continuation-passing style: normalization of Gödel’s System T extended with sums and delimited control operators: Distilled Tutorial (DI), pp. 55–56.
PPDPPPDP-2014-LammelVLSF #declarative #development
Declarative Software Development: Distilled Tutorial (RL, AV, ML, TS, JMF), pp. 1–6.
PPDPPPDP-2014-NilssonP #declarative #game studies #programming
Declarative Game Programming: Distilled Tutorial (HN, IP), pp. 159–160.
SLESLE-J-2012-PaigeKP #grammarware #metamodelling #research
A tutorial on metamodelling for grammar researchers (RFP, DSK, FACP), pp. 396–416.
TAPTAP-2014-KosmatovS #analysis #runtime
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses — Tutorial Synopsis (NK, JS), pp. 165–168.
SIGMODSIGMOD-2013-HullSV #data transformation #overview #perspective #process
Data management perspectives on business process management: tutorial overview (RH, JS, RV), pp. 943–948.
FDGFDG-2013-ShannonBGB #effectiveness #game studies
Effective practices in game tutorial systems (AS, AKB, CG, TB), pp. 338–345.
RecSysRecSys-2013-TsoukiasV
Tutorial on preference handling (AT, PV), pp. 497–498.
SIGIRSIGIR-2013-Soboroff #evaluation #interactive #student
Building test collections: an interactive tutorial for students and others without their own evaluation conference series (IS), p. 1132.
SPLCSPLC-2013-McGregor #analysis #ecosystem #modelling
Ecosystem modeling and analysis: a tutorial (JDM), p. 282.
HILTHILT-2013-Taft #concurrent #named #parallel #proving #safety #source code #thread
Tutorial: proving safety of parallel / multi-threaded programs (STT), pp. 1–2.
ICSEICSE-2013-MehlitzRV #java
A hands-on Java PathFinder tutorial (PCM, NR, WV), pp. 1493–1495.
TAPTAP-2013-KosmatovPS #proving #source code
A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper (NK, VP, JS), pp. 168–177.
PODSPODS-2012-Pierce #bidirectional
Linguistic foundations for bidirectional transformations: invited tutorial (BCP), pp. 61–64.
LATALATA-2012-Downey #complexity
A Parameterized Complexity Tutorial (RD), pp. 38–56.
CoGVS-Games-2012-Pannese #game studies #named
Workshop: Tutorial on Serious Games for Entrepreneurship (LP), pp. 326–327.
HILTHILT-2012-Nilsen #comprehension #java #memory management #overview #safety
Tutorial overview: understanding dynamic memory management in safety critical java (KN), pp. 15–22.
HILTHILT-2012-Taft #divide and conquer #manycore #named #programming #using
Tutorial: multicore programming using divide-and-conquer and work stealing (STT), pp. 13–14.
ICSEICSE-2012-ZhangX
Software analytics in practice: Mini tutorial (DZ, TX), p. 997.
TAPTAP-2012-KosmatovW #automation #testing
Tutorial on Automated Structural Testing with PathCrawler — (NK, NW), p. 176.
SIGMODSIGMOD-2011-HuangGL #datalog #interactive
Datalog and emerging applications: an interactive tutorial (SSH, TJG, BTL), pp. 1213–1216.
CSEETCSEET-2011-BrueggeNG #education #industrial #re-engineering
SLPC++: Teaching software engineering project courses in industrial application landscapes — A tutorial (BB, HN, MG), pp. 549–551.
CSEETCSEET-2011-Jazayeri #education #re-engineering #summary
Structuring a software engineering-based curriculum tutorial presentation summary (MJ), pp. 543–545.
ECMFAECMFA-2011-BergmannHRV #emf #evaluation #incremental #modelling #query
Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery (GB, ÁH, IR, DV), pp. 389–390.
DATEDATE-2011-KapoorJ #design #embedded #power management #verification
Embedded tutorial: Addressing critical power management verification issues in low power designs (BK, KMJ), p. 124.
LICSLICS-2011-Atserias #finite
A Why-on-Earth Tutorial on Finite Model Theory (AA), p. 3.
PODSPODS-2010-Jayram #complexity
Information complexity: a tutorial (TSJ), pp. 159–168.
EDMEDM-2010-BeckerWV #interactive #named
DISCUSS: Enabling Detailed Characterization of Tutorial Interactions Through Dialogue Annotation (LB, WHW, SvV), pp. 271–272.
EDMEDM-2010-BoyerPHWVL #markov #modelling
A Preliminary Investigation of Hierarchical Hidden Markov Models for Tutorial Planning (KEB, RP, EH, MDW, MAV, JCL), pp. 285–286.
ICSMEICSM-2010-Dig #parallel #refactoring
A practical tutorial on refactoring for parallelism (DD), pp. 1–2.
RecSysRecSys-2010-Shani #recommendation
Tutorial on evaluating recommender systems (GS), p. 1.
ICSEICSE-2010-Firesmith #requirements #summary
Engineering safety- and security-related requirements for software-intensive systems: tutorial summary (DGF), pp. 489–490.
ICSEICSE-2010-HazzanD10a #agile
Coaching agile software projects: tutorial proposal — ICSE 2010 (OH, YD), pp. 481–482.
PODSPODS-2009-Arge #performance #worst-case
Worst-case efficient range search indexing: invited tutorial (LA), pp. 175–176.
CAiSECAiSE-2009-Wiederhold #how #named #question
Tutorial: How to Value Software in a Business, and Where Might the Value Go? (GW), pp. 9–10.
ICMLICML-2009-BennettBC #information retrieval #machine learning #summary
Tutorial summary: Machine learning in IR: recent successes and new opportunities (PNB, MB, KCT), p. 17.
ICMLICML-2009-BeygelzimerLZ #machine learning #reduction #summary
Tutorial summary: Reductions in machine learning (AB, JL, BZ), p. 12.
ICMLICML-2009-DasguptaL #learning #summary
Tutorial summary: Active learning (SD, JL), p. 18.
ICMLICML-2009-Even-DarM #convergence #summary
Tutorial summary: Convergence of natural dynamics to equilibria (EED, VSM), p. 13.
ICMLICML-2009-Leskovec #ml #network #scalability #social #summary
Tutorial summary: Large social and information networks: opportunities for ML (JL), p. 19.
ICMLICML-2009-Niv #learning #summary
Tutorial summary: The neuroscience of reinforcement learning (YN), p. 16.
ICMLICML-2009-Smith #natural language #predict #summary
Tutorial summary: Structured prediction for natural language processing (NAS), p. 20.
ICMLICML-2009-TrespY #dependence #learning #summary
Tutorial summary: Learning with dependencies between several response variables (VT, KY), p. 14.
ICMLICML-2009-WarmuthV #optimisation #overview #perspective #summary
Tutorial summary: Survey of boosting from an optimization perspective (MKW, SVNV), p. 15.
RecSysRecSys-2009-Golbeck #recommendation #social #trust #using
Tutorial on using social trust for recommender systems (JG), pp. 425–426.
GTTSEGTTSE-2009-Hedin #attribute grammar #jastadd
An Introductory Tutorial on JastAdd Attribute Grammars (GH), pp. 166–200.
GTTSEGTTSE-2009-JorgesSM #code generation
Building Code Generators with Genesys: A Tutorial Introduction (SJ, BS, TMS), pp. 364–385.
DATEDATE-2009-JerrayaN #comprehension #embedded #manycore
Embedded tutorial — Understanding multicore technologies (AAJ, GN), p. 1051.
CAVCAV-2009-KrivineDB #maintenance #modelling
Modelling Epigenetic Information Maintenance: A Kappa Tutorial (JK, VD, AB), pp. 17–32.
ICLPICLP-2009-Raedt #learning #logic #probability
Probabilistic Logic Learning — A Tutorial Abstract (LDR), p. 39.
SIGMODSIGMOD-2008-PeiHTL #nondeterminism #probability #query #summary
Query answering techniques on uncertain and probabilistic data: tutorial summary (JP, MH, YT, XL), pp. 1357–1364.
VLDBVLDB-2008-FranklinHM
A first tutorial on dataspaces (MJF, AYH, DM), pp. 1516–1517.
EDMEDM-2008-ChiJVH #effectiveness
Reinforcement Learning-based Feature Seleciton For Developing Pedagogically Effective Tutorial Dialogue Tactics (MC, PWJ, KV, MH), pp. 258–265.
EDMEDM-2008-MostowZ #behaviour #comparison
Analytic Comparison of Three Methods to Evaluate Tutorial Behaviors (JM, XZ), pp. 28–37.
SFMSFM-2008-DemattePR
The BlenX Language: A Tutorial (LD, CP, AR), pp. 313–365.
AFPAFP-2008-JonesS08 #concurrent #haskell #parallel #programming
A Tutorial on Parallel and Concurrent Programming in Haskell (SLPJ, SS), pp. 267–305.
ICGTICGT-2008-Heckel #graph transformation
Tutorial Introduction to Graph Transformation (RH), pp. 458–459.
RecSysRecSys-2008-Koren #collaboration
Tutorial on recent progress in collaborative filtering (YK), pp. 333–334.
DATEDATE-2008-BeutelBDL #embedded
Embedded Tutorial — Software for Wireless Networked Embedded Systems (JB, MB, AD, KL), p. 372.
DATEDATE-2008-SchutzGBG #approach #embedded #research
Embedded Tutorial — ARTEMIS and ENIAC Joint Undertakings: A New Approach to Conduct Research in Europe (ES, KG, DB, LG), p. 658.
CAVCAV-2008-OHearn #logic
Tutorial on Separation Logic (PWO), pp. 19–21.
ICLPICLP-2008-OHearn #logic
Separation Logic Tutorial (PWO), pp. 15–21.
WCREWCRE-2007-Germaa #research
Intellectual Property for Software (Re-)Engineers and Researchers: A Tutorial (DMG), p. 297.
CEFPCEFP-2007-Pop #functional #object-oriented #programming
A Tutorial on Object-Oriented Functional Programming (HFP), pp. 228–249.
ASEASE-2007-Leavens #java #ml #modelling
Tutorial on JML, the java modeling language (GTL), p. 573.
CAVCAV-2007-LeavensKP #behaviour #composition #functional #java #ml #specification #verification
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java (GTL, JRK, EP), p. 37.
CAVCAV-2007-MouraDS #modulo theories #satisfiability
A Tutorial on Satisfiability Modulo Theories (LMdM, BD, NS), pp. 20–36.
PODSPODS-2006-FranconiT #logic #rdf
The logic of RDF and SPARQL: a tutorial (EF, ST), p. 355.
CSEETCSEET-2006-Kay #named #re-engineering
Tutorial: Intellectual Property Law Basicsc For Software Engineering Educators (DGK), pp. 242–244.
SEFMSEFM-2006-Banach
Retrenchment Tutorial (RB), p. 259.
SEFMSEFM-2006-Rushby06a #automation #formal method #named
Tutorial: Automated Formal Methods with PVS, SAL, and Yices (JMR), p. 262.
ICGTICGT-2006-Heckel #graph transformation
Introductory Tutorial on Foundations and Applications of Graph Transformation (RH), pp. 461–462.
SPLCSPLC-2006-Czarnecki #development #generative
Tutorial on Generative Software Development (KC), p. 227.
SPLCSPLC-2006-Krueger06a #generative #named #product line
Tutorial: New Methods Behind the New Generation of Software Product Line Success Stories (CWK), p. 216.
ICSEICSE-2006-BaresiG #named #towards #web #web service
Tutorial: towards dynamic web services (LB, SG), pp. 1067–1068.
ICSEICSE-2006-Selic #named #overview #uml
Tutorial: an overview of UML 2 (BS), pp. 1069–1070.
FASEFASE-2006-IwataSF #automation #development #generative #specification
Automatic Generation of Tutorial Systems from Development Specification (HI, JS, YF), pp. 79–92.
PODSPODS-2005-Gehrke #analysis #modelling #privacy
Models and methods for privacy-preserving data publishing and analysis: invited tutorial (JG), p. 316.
ITiCSEITiCSE-2005-BerginW
Test-first pair-programming tutorial (JB, EW), p. 416.
SIGITESIGITE-2005-DeFranco-TommarelloD #collaboration #development #online #problem
An on-line tutorial for collaborative problem solving and software development (JDT, FPD), pp. 349–352.
RTARTA-2005-Felty #approach #semantics
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code (APF), pp. 394–406.
TLCATLCA-2005-Felty #approach #semantics
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract (APF), p. 10.
CEFPCEFP-2005-Kozsik #type system
Tutorial on Subtype Marks (TK), pp. 191–222.
GTTSEGTTSE-2005-Batory #programming
A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite (DSB), pp. 3–35.
CSEETCSEET-2004-Kaner04a #education #testing
Teaching the Software Testing Course: A Tutorial (CK), pp. 170–171.
IFMIFM-2004-WoodcockC #design #programming
A Tutorial Introduction to Designs in Unifying Theories of Programming (JW, AC), pp. 40–66.
SFMSFM-2004-BehrmannDL
A Tutorial on Uppaal (GB, AD, KGL), pp. 200–236.
ICGTICGT-2004-BaresiH #graph transformation #perspective #re-engineering
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 431–433.
ICGTICGT-2004-HarjuPR #graph transformation
Tutorial on DNA Computing and Graph Transformation (TH, IP, GR), pp. 434–436.
ICSEICSE-2004-Selic #named #overview #uml
Tutorial: An Overview of UML 2.0 (BS), pp. 741–742.
VLDBVLDB-2003-KoudasS #data type #query
Data Stream Query Processing: A Tutorial (NK, DS), p. 1149.
ICSEICSE-2003-Batory #product line #programming
A Tutorial on Feature Oriented Programming and Product-Lines (DSB), pp. 753–754.
ICSEICSE-2003-Selic #overview #uml
Tutorial H2: An Overview of UML 2.0 (BS), pp. 755–756.
DACDAC-2003-Hayes #concept #named #quantum
Tutorial: basic concepts in quantum circuits (JPH), p. 893.
ICLPICLP-2003-BruscoliG #logic programming #proving
A Tutorial on Proof Theoretic Foundations of Logic Programming (PB, AG), pp. 109–127.
SIGMODSIGMOD-2002-GarofalakisGR #data type #mining #query
Querying and mining data streams: you only get one look a tutorial (MNG, JG, RR), p. 635.
SIGMODSIGMOD-2002-Mohan #named
Tutorial: application servers and associated technologies (CM), p. 636.
CSEETCSEET-2002-BernsteinKK02a #comprehension #process #re-engineering #student #towards
Tutorial 2: Measuring, Changing, and Measuring Changes in: Students’ Attitudes Toward and Understanding of Software Engineering Process (LB, DK, CK), p. 267.
CSEETCSEET-2002-Kaner #re-engineering
Tutorial 4: Issues in Commmercial Law of Interest to Software Engineering Educators (CK), pp. 273–274.
CSEETCSEET-2002-PortB
Tutorial 1: Introducing Software Economics within SWE Project Courses (DP, BWB), p. 266.
CSEETCSEET-2002-TowhidnejadH #education #quality
Tutorial 3: Software Quality Across the Curriculum (MT, TBH), pp. 268–272.
FLOPSFLOPS-2002-BandaDMS
To the Gates of HAL: A HAL Tutorial (MJGdlB, BD, KM, PJS), pp. 47–66.
ICGTICGT-2002-BaresiH #graph transformation #perspective #re-engineering
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 402–429.
ICGTICGT-2002-HarjuPR #assembly #graph transformation
Tutorial on DNA Computing and Graph Transformation — Computational Nature of Gene Assembly in Ciliates (TH, IP, GR), pp. 430–434.
SEKESEKE-2002-SweZJ #named
XVCL: a tutorial (SMS, HZ, SJ), pp. 341–349.
ICSEICSE-2002-Kruchten #named
Tutorial: introduction to the rational unified process® (PK), p. 703.
ICSEICSE-2002-KruchtenSK #architecture #named #uml
Tutorial: describing software architecture with UML (PK, BS, WK), pp. 693–694.
ICSEICSE-2002-Larman #design pattern #named
Tutorial: mastering design patterns (CL), p. 704.
FSEESEC-FSE-2001-WallnauHS #component #concept #experience #re-engineering
Half day tutorial in methods of component-based software engineering essential concepts and classroom experience (KCW, SAH, RCS), pp. 314–315.
ICSEICSE-2001-Ran #architecture #concept
Tutorial on Fundamental Concepts for Practical Software Architecture (AR), pp. 722–723.
DATEDATE-2001-StaaB #design #embedded #roadmap
Embedded tutorial: current trends in the design of automotive electronic systems (PvS, TB), pp. 38–39.
DATEDATE-2001-ZorianPTTPDSMR #embedded
Embedded tutorial: TRP: integrating embedded test and ATE (YZ, PP, JPT, ICT, CEP, OPD, JS, PM, WR), pp. 34–37.
PODSPODS-2000-Vardi #constraints #database
Constraint Satisfaction and Database Theory: a Tutorial (MYV), pp. 76–85.
SIGMODSIGMOD-2000-BlakeleyD #data access #named
Tutorial: Data Access (JAB, AD), p. 579.
SIGMODSIGMOD-2000-BratsbergT #design #named
Tutorial: Designing an Ultra Highly Available DBMS (SEB, ØT), p. 577.
SIGMODSIGMOD-2000-ShuklaD #database #named #question
Tutorial: LDAP Directory Services — Just Another Database Application? (SS, AD), p. 580.
CSEETCSEET-2000-CannonHD #named #process
Tutorial: Introduction to the Team Software Process (BC, TBH, JLDH), p. 315–?.
ICSEICSE-2000-Curtis00a #lessons learnt #process
Software process improvement (tutorial session): best practices and lessons learned (BC), p. 828.
ICSEICSE-2000-GilHK #modelling #uml #visual notation
Advanced visual modeling (tutorial session): beyond UML (JYG, JH, SK), p. 833.
ICSEICSE-2000-KirschS
Intellectual property protection for software in the United States and Europe (tutorial session): the changing roles of patents and copyrights (GJK, YS), p. 827.
ICSEICSE-2000-LittlewoodS #assessment #concept #reliability
Software reliability (tutorial session): basic concepts and assessment methods (BL, LS), p. 831.
ICSEICSE-2000-LittlewoodS00a #assessment #design #fault #fault tolerance #reliability
Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment (BL, LS), p. 835.
DATEDATE-2000-ZorianNMLSV
Tutorial Statement (YZ, MN, PM, DYL, CWHS, KV), p. 66.
CADECADE-2000-AndrewsB #education #higher-order #logic #named #proving #theorem proving #using
Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic (PBA, CEB), pp. 511–512.
CADECADE-2000-Pulman #automation #comprehension #deduction #named #natural language
Tutorial: Automated Deduction and Natural Language Understanding (SGP), pp. 509–510.
CADECADE-2000-Schurmann #framework #logic #named
Tutorial: Meta-logical Frameworks (CS), pp. 507–508.
CAVCAV-2000-AbdullaJ #infinity #verification
Invited Tutorial: Verification of Infinite-State and Parameterized Systems (PAA, BJ), p. 4.
CAVCAV-2000-Marques-SilvaS #algorithm #automation #design #satisfiability
Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation (JPMS, KAS), p. 3.
SASSAS-1999-Muller-OlmSS #model checking #named
Model-Checking: A Tutorial Introduction (MMO, DAS, BS), pp. 330–354.
SASSAS-1999-Soffa #analysis #data flow #named #precise #scalability
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis (MLS), pp. 355–356.
ICSEICSE-1999-Fairley #metric
Managing by the Numbers: A Tutorial on Quantitative Measurement and Control of software Projects (REF), pp. 677–678.
ICSEICSE-1999-Rosenberg #modelling #named #reliability
Tutorial: A Quick Introduction to Software Reliability Modeling (JR), p. 689.
CAVCAV-1999-Sifakis #composition #specification
The Compositional Specification of Timed Systems — A Tutorial (JS), pp. 2–7.
SIGMODSIGMOD-1998-AdamY
Electronic Commerce: Tutorial (NRA, YY), p. 498.
CHICHI-1998-CareyMPL #design #evolution #multi
Design Evolution in a Multimedia Tutorial on User-Centered Design (TC, SM, DP, ML), pp. 109–116.
SASSAS-1998-Giacobazzi #abstract interpretation
A Tutorial on Domain Theory in Abstract Interpretation (RG), pp. 349–350.
ITiCSEITiCSE-1997-BurkeV #algorithm #optimisation #search-based
A genetic algorithms tutorial tool for numerical function optimisation (EKB, DBV), pp. 27–30.
ICSEICSE-1997-HumphreyO #process
The Personal Software Process (PSP): A Full-Day Tutorial (WSH, JWO), pp. 645–646.
AFPAFP-1996-Hudak96 #music
Haskore Music Tutorial (PH), pp. 38–67.
SACSAC-1996-MengelA #network #protocol
A network protocol analyzer with tutorial (SM, SA), pp. 115–119.
DACDAC-1996-Rudell #design #logic #named #synthesis
Tutorial: Design of a Logic Synthesis System (RLR), pp. 191–196.
PODSPODS-1995-Kanellakis #constraints #database #programming
Constraint Programming and Database Languages: A Tutorial (PCK), pp. 46–53.
CAVCAV-1995-Emerson #calculus #model checking #μ-calculus
Methods for μ-calculus Model Checking: A Tutorial (EAE), p. 141.
ICLPILPS-1995-SchreyeLM
Tutorial on Program Specialisation (DDS, ML, BM), pp. 615–616.
PODSPODS-1994-Agrawal #database #mining
Tutorial Database Mining (RA), pp. 75–76.
PODSPODS-1994-Gonnet #database #experience #named
Tutorial: Text Dominated Databases, Theory Practice and Experience (GHG), pp. 301–302.
PODSPODS-1994-Tannen #named
Tutorial: Languages for Collection Types (VT), pp. 150–154.
CSEETCSEE-1994-Paulk #maturity
The Capability Maturity Model for Software: A Tutorial (MCP), p. 601.
CHICHI-1994-LemaireM94a #interface #visual notation
An improved interface for tutorial dialogues: browsing a visual dialogue history (BL, JDM), pp. 16–22.
SACSAC-1994-RuizSG
A tutorial system for inorganic chemical formulations and reactions (ILR, JLCS, MÁGN), pp. 583–587.
ICLPICLP-1994-LauW #logic programming #source code #specification #synthesis
A Tutorial on Synthesis of Logic Programs from Specifications (KKL, GAW), pp. 11–14.
PEPMPEPM-1993-Gallagher #logic programming #source code
Tutorial on Specialisation of Logic Programs (JPG), pp. 88–98.
POPLPOPL-1993-ConselD #partial evaluation
Tutorial Notes on Partial Evaluation (CC, OD), pp. 493–501.
POPLPOPL-1993-Reynolds #logic #morphism #parametricity #polymorphism
An Introduction to Logical Relations and Parametric Polymorphism — Tutorial (JCR), pp. 155–156.
HPDCHPDC-1992-Berra #information management #multi
Tutorial II: Multimedia Information Systems (PBB), p. 283.
HPDCHPDC-1992-Sunderam #network #paradigm #tool support
Tutorial I: Paradigms and Tools for Heterogeneous Network Computing (VSS), p. 282.
HPDCHPDC-1992-Wittie #distributed #memory management
Tutorial III: Distributed Shared Memory Systems (LDW), p. 284.
ICLPJICSLP-1992-Overbeek #analysis #logic programming #search-based #sequence
Logic Programming and Genetic Sequence Analysis: a Tutorial (RAO), pp. 32–34.
ICLPJICSLP-1992-Tick #concurrent #logic programming
Advanced Tutorial: Concurrent Logic Programming (ET), p. 25.
ICLPJICSLP-1992-Troelstra #linear #logic
Tutorial on Linear Logic (AST), pp. 30–31.
FMVDME-1991-Airchinnigh
Tutorial on the Irish School of the VDM (MMaA), pp. 141–237.
FMVDME-1991-George #specification
The RAISE Specification Langiage: A Tutorial (CG), pp. 238–319.
FMVDME-1991-GuttagH #interface
A Tutorial on LARCH and LCL, A LARCH/C Interface Language (JVG, JJH), pp. 1–78.
FMVDME-1991-Woodcock #calculus #refinement
A Tutorial on the Refinement Calculus (JW), pp. 79–140.
ICLPICLP-1991-Miller91a #logic #logic programming
Logics for Logic Programming: A Tutorial (DM), p. 911.
ICGTGG-1990-EhrigKL #algebra #approach #category theory #graph grammar
Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts (HE, MK, ML), pp. 24–37.
CADECADE-1990-FeltyGMP #prolog #λ-calculus
Tutorial on Lambda-Prolog (APF, ELG, DM, FP), p. 682.
CADECADE-1990-HsiangJ #proving #theorem proving
Tutorial on Rewrite-Based Theorem Proving (JH, JPJ), p. 684.
CADECADE-1990-Kirchner #equation #unification
Tutorial on Equational Unification (CK), p. 682.
CADECADE-1990-LuskM #automation #proving #theorem proving
Tutorial on High-Performance Automated Theorem Proving (ELL, WM), p. 681.
CADECADE-1990-MullerBNNS #concept #reasoning #representation
Tutorial on Reasoning and Representation with Concept Languages (JM, FB, BN, WN, GS), p. 681.
CADECADE-1990-OhlbachH #compilation #logic
Tutorial on Compilation techniques for Logics (HJO, AH), p. 683.
CADECADE-1990-PritchardS #logic #modelling
Tutorial on Computing Models of Propositional Logics (PP, JKS), p. 685.
CADECADE-1990-SchumannLK #implementation #parallel #performance #proving #theorem proving
Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation (JS, RL, FJK), p. 683.
CADECADE-1990-Waldinger #deduction
Tutorial on Program-Synthetic Deduction (RJW), p. 684.
TAPSOFTAS-1989-Bjorner #aspect-oriented #development #specification #towards
Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial) (DB), pp. 1–35.
LISPLFP-1988-SussmanH #abstraction #named
Tutorial: Abstraction in Numerical Methods (GJS, MH), pp. 1–7.
DACDAC-1988-McFarlandPC #synthesis
Tutorial on High-Level Synthesis (MCM, ACP, RC), pp. 330–336.
FMVDME-1987-Airchinnigh87a
Introduction to the VDM Tutorial (MMaA), pp. 356–361.
DACDAC-1987-Parks #analysis #design #named
Tutorial: Reading and Reviewing the Common Schema for Electrical Design and Analysis (CHP), pp. 479–483.
ICGTGG-1986-Ehrig #algebra #approach #graph grammar
Tutorial introduction to the algebraic approach of graph grammars (HE), pp. 3–14.
AdaCRAI-1986-AstesianoR #approach #programming language #semantics
The SMoLCS Approach to the Formal Semantics of Programming Languages — A Tutorial Introduction (EA, GR), pp. 81–116.
DACDAC-1986-BirminghamJK
Knowlege-based expert systems and their application (tutorial session (WPB, RJ, JK), pp. 531–539.
DACDAC-1986-Eurich #design
A tutorial introduction to the electronic design interchange format (JPE), pp. 327–333.
DACDAC-1986-HancockD #automation #design #parallel
Tutorial on parallel processing for design automation applications (JMH, SD), pp. 69–77.
DACDAC-1985-CollinsK #programmable
The impact of technological advances on programmable controller s(tutorial session) (RPC, WJK), pp. 498–502.
DACDAC-1985-Frome #video
Course, video, and manual dexterity (tutorial): tailoring training to CAD users (FSF), pp. 226–231.
DACDAC-1984-Scott #design #named #process
Tutorial — mechanical workstation software computer aided engineering in the mechanical design process (JS), p. 605.
DACDAC-1983-Haynie #automation #design #named #relational
Tutorial: The relational data model for Design Automation (MNH), pp. 599–607.
DACDAC-1983-Prasad #named
Tutorial — Group Technology (HRP), p. 128.
VLDBVLDB-1979-Date #database #programming
Locking and Recovery in a Shared Database System: An Application Programming Tutorial (CJD), pp. 1–15.
FMVDM-1978-Bjorner #metalanguage #programming
Programming in the META-Language: A Tutorial (DB), pp. 24–217.
FMVDM-1978-Bjorner78a #abstraction #operating system #pl-i #specification
Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition (DB), pp. 337–374.
ICGTGG-1978-Nagl #graph grammar #overview
A Tutorial and Bibliographical Survey on Graph Grammars (MN), pp. 70–126.
DACDAC-1977-Smith77a #automation #design #re-engineering
Software engineering techniques in design automation&madash;a tutorial (RJSI), pp. 495–507.
VLDBVLDB-1975-Kerr
Recent Results on the Attribute Based Data Model — A Tutorial (DSK), pp. 526–528.
DACDAC-1973-Hightower #problem
The interconnection problem — a tutorial (DWH), pp. 1–21.
SIGMODSIGFIDET-1971-Codd71a #data type #normalisation
Normalized Data Structure: A Brief Tutorial (EFC), pp. 1–17.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.