BibSLEIGH — tutorial tag

tutorial

tutorial

Tag #tutorial

245 papers:

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