BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
softwar (61)
system (40)
design (38)
program (29)
session (27)

Stem tutori$ (all stems)

340 papers:

VLDBVLDB-2015-AbadiBOP #named #tutorial
Tutorial: SQL-on-Hadoop Systems (DA, SB, , IP), pp. 2050–2061.
CHICHI-2015-NguyenL #tutorial #video
Making Software Tutorial Video Responsive (CN, FL), pp. 1565–1568.
CHICHI-2015-WakkarySDHDZL #design #hybrid #tutorial
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 #tutorial
A Tutorial on Measuring Document Retrievability (LA), pp. 813–816.
KDDKDD-2015-GionisT #tutorial
Dense Subgraph Discovery: KDD 2015 tutorial (AG, CET), pp. 2313–2314.
KDDKDD-2015-SpiliopoulouRR #mining #tutorial
Medical Mining: KDD 2015 Tutorial (MS, PPR, EMR), p. 2325.
RecSysRecSys-2015-SteckZJ #interactive #recommendation #tutorial
Interactive Recommender Systems: Tutorial (HS, RvZ, CJ), pp. 359–360.
SIGIRSIGIR-2015-AzzopardiZ #modelling #retrieval #tutorial #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 #tutorial
Advanced Click Models and their Applications to IR: SIGIR 2015 Tutorial (AC, IM, MdR), pp. 1111–1112.
SIGIRSIGIR-2015-ChuklinMR15a #modelling #tutorial #web
An Introduction to Click Models for Web Search: SIGIR 2015 Tutorial (AC, IM, MdR), pp. 1113–1115.
SIGIRSIGIR-2015-KneesS #bibliography #music #perspective #recommendation #retrieval #tutorial
Music Retrieval and Recommendation: A Tutorial Overview (PK, MS), pp. 1133–1136.
LICSLICS-2015-Pitts #symmetry #tutorial
Names and Symmetry in Computer Science (Invited Tutorial) (AMP), pp. 21–22.
LICSLICS-2015-Smith #data flow #tutorial
Recent Developments in Quantitative Information Flow (Invited Tutorial) (GS), pp. 23–31.
CBSECBSE-2014-Bliudze #component #design #tutorial
Rigorous component-based design in BIP: half-day tutorial (SB), pp. 187–188.
DocEngDocEng-2014-BagleyH #tutorial
DOCENG 2014: PDF tutorial (SRB, MRBH), pp. 213–214.
VLDBVLDB-2014-Gal #named #nondeterminism #tutorial
Tutorial: Uncertain Entity Resolution (AG), pp. 1711–1712.
MSRMSR-2014-TiarksM #development #how #mobile #question #tutorial
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
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (AG, IK, US, HV, JW), pp. 122–171.
CHICHI-2014-0002GF #multi #named #tutorial
CADament: a gamified multiplayer software tutorial system (WL, TG, GWF), pp. 3369–3378.
CHICHI-2014-BuntDLTC #named #online
TaggedComments: promoting and integrating user comments in online application tutorials (AB, PD, BL, MAT, DTC), pp. 4037–4046.
CHICHI-2014-WangCCHC #automation #interactive #named #smarttech
EverTutor: automatically creating interactive guided tutorials on smartphones by user demonstration (CYW, WCC, HRC, CYH, MYC), pp. 4027–4036.
KDDKDD-2014-AmatriainM #problem #recommendation #tutorial
The recommender problem revisited: morning tutorial (XA, BM), p. 1971.
KDDKDD-2014-BordesG #graph #mining #tutorial
Constructing and mining web-scale knowledge graphs: KDD 2014 tutorial (AB, EG), p. 1967.
KDDKDD-2014-CormodeD #big data #tutorial
Sampling for big data: a tutorial (GC, NGD), p. 1975.
RecSysRecSys-2014-CantadorC #recommendation #tutorial
Tutorial on cross-domain recommender systems (IC, PC), pp. 401–402.
RecSysRecSys-2014-GuyG #recommendation #social #tutorial
Social recommender system tutorial (IG, WG), pp. 403–404.
PPDPPPDP-2014-Ilik #continuation #normalisation #proving #tutorial
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-Karczmarczuk #concept #declarative #on the #quantum #tutorial
On the Declarative Structure of Quantum Concepts: States and Observables (Distilled Tutorial) (JK), pp. 105–110.
PPDPPPDP-2014-LammelVLSF #declarative #development #tutorial
Declarative Software Development: Distilled Tutorial (RL, AV, ML, TS, JMF), pp. 1–6.
PPDPPPDP-2014-NilssonP #declarative #game studies #programming #tutorial
Declarative Game Programming: Distilled Tutorial (HN, IP), pp. 159–160.
SLESLE-J-2012-PaigeKP #grammarware #metamodelling #research #tutorial
A tutorial on metamodelling for grammar researchers (RFP, DSK, FACP), pp. 396–416.
TAPTAP-2014-KosmatovS #analysis #runtime #tutorial
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses — Tutorial Synopsis (NK, JS), pp. 165–168.
SIGMODSIGMOD-2013-HullSV #bibliography #data transformation #perspective #process #tutorial
Data management perspectives on business process management: tutorial overview (RH, JS, RV), pp. 943–948.
CHICHI-2013-LafreniereGF #community #multi
Community enhanced tutorials: improving tutorials with multiple demonstrations (BJL, TG, GWF), pp. 1779–1788.
HILTHILT-2013-Taft #concurrent #named #parallel #proving #safety #source code #thread #tutorial
Tutorial: proving safety of parallel / multi-threaded programs (STT), pp. 1–2.
RecSysRecSys-2013-TsoukiasV #tutorial
Tutorial on preference handling (AT, PV), pp. 497–498.
SIGIRSIGIR-2013-Soboroff #evaluation #interactive #student #tutorial
Building test collections: an interactive tutorial for students and others without their own evaluation conference series (IS), p. 1132.
ICSEICSE-2013-MehlitzRV #java #tutorial
A hands-on Java PathFinder tutorial (PCM, NR, WV), pp. 1493–1495.
ICSEICSE-2013-ZhangX #challenge
Pathways to technology transfer and adoption: achievements and challenges (mini-tutorial) (DZ, TX), pp. 951–952.
SPLCSPLC-2013-McGregor #analysis #ecosystem #modelling #tutorial
Ecosystem modeling and analysis: a tutorial (JDM), p. 282.
TAPTAP-2013-KosmatovPS #proving #source code #tutorial
A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper (NK, VP, JS), pp. 168–177.
PODSPODS-2012-Pierce #bidirectional #tutorial
Linguistic foundations for bidirectional transformations: invited tutorial (BCP), pp. 61–64.
VLDBVLDB-2012-Dogac #tutorial
Interoperability in eHealth Systems (Invited Tutorial) (AD), pp. 2026–2027.
LATALATA-2012-Downey #complexity #tutorial
A Parameterized Complexity Tutorial (RD), pp. 38–56.
CHICHI-2012-AndersenOLSLTCP #complexity #game studies
The impact of tutorials on games of varying complexity (EA, EO, YEL, RS, JL, DT, SC, ZP), pp. 59–68.
HILTHILT-2012-Nilsen #bibliography #comprehension #java #memory management #safety #tutorial
Tutorial overview: understanding dynamic memory management in safety critical java (KN), pp. 15–22.
HILTHILT-2012-Sanden #approach #bibliography #design #modelling #multi #tutorial
Design of Multitask Software: The Entity-life Modeling Approach (tutorial overview) (BIS), pp. 1–2.
HILTHILT-2012-Taft #divide and conquer #manycore #named #programming #tutorial #using
Tutorial: multicore programming using divide-and-conquer and work stealing (STT), pp. 13–14.
ICSEICSE-2012-ZhangX #tutorial
Software analytics in practice: Mini tutorial (DZ, TX), p. 997.
TAPTAP-2012-KosmatovW #automation #testing #tutorial
Tutorial on Automated Structural Testing with PathCrawler — (Extended Abstract) (NK, NW), p. 176.
DATEDATE-2011-KapoorJ #design #embedded #power management #tutorial #verification
Embedded tutorial: Addressing critical power management verification issues in low power designs (BK, KMJ), p. 124.
SIGMODSIGMOD-2011-HuangGL #datalog #interactive #tutorial
Datalog and emerging applications: an interactive tutorial (SSH, TJG, BTL), pp. 1213–1216.
CSEETCSEET-2011-BrueggeNG #education #industrial #re-engineering #tutorial
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 #tutorial
Structuring a software engineering-based curriculum tutorial presentation summary (MJ), pp. 543–545.
ECMFAECMFA-2011-BergmannHRV #emf #evaluation #incremental #modelling #query #tutorial
Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery (GB, ÁH, IR, DV), pp. 389–390.
CAVCAV-2011-Platzer #composition #hybrid #logic #tutorial #verification
Logic and Compositional Verification of Hybrid Systems — (Invited Tutorial) (AP), pp. 28–43.
LICSLICS-2011-Atserias #finite #tutorial
A Why-on-Earth Tutorial on Finite Model Theory (AA), p. 3.
PODSPODS-2010-Jayram #complexity #tutorial
Information complexity: a tutorial (TSJ), pp. 159–168.
ITiCSEITiCSE-2010-AydinolG10a #learning #spreadsheet #video
The effect of video tutorials on learning spreadsheets (ABA, ÖG), p. 323.
ICSMEICSM-2010-Dig #parallel #refactoring #tutorial
A practical tutorial on refactoring for parallelism (DD), pp. 1–2.
KRKR-2010-MouraLSN #information management #reasoning #representation #tutorial
Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (LMdM, CL, MMCS, BN).
RecSysRecSys-2010-Shani #recommendation #tutorial
Tutorial on evaluating recommender systems (GS), p. 1.
SEKESEKE-2010-ZhangHZJM #automation #eclipse #execution #synthesis #towards
Towards Automated Synthesis of Executable Eclipse Tutorials (NZ, GH, YZ, NJ, HM), pp. 591–598.
ICSEICSE-2010-Firesmith #requirements #summary #tutorial
Engineering safety- and security-related requirements for software-intensive systems: tutorial summary (DGF), pp. 489–490.
ICSEICSE-2010-HazzanD10a #agile #tutorial
Coaching agile software projects: tutorial proposal — ICSE 2010 (OH, YD), pp. 481–482.
DATEDATE-2009-JerrayaN #comprehension #embedded #manycore #tutorial
Embedded tutorial — Understanding multicore technologies (AAJ, GN), p. 1051.
PODSPODS-2009-Arge #performance #tutorial #worst-case
Worst-case efficient range search indexing: invited tutorial (LA), pp. 175–176.
ICPCICPC-2009-Bartho #maintenance
Creating and maintaining tutorials with DEFT (AB), pp. 309–310.
CAiSECAiSE-2009-Wiederhold #how #named #question #tutorial
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
Tutorial summary: Machine learning in IR: recent successes and new opportunities (PNB, MB, KCT), p. 17.
ICMLICML-2009-BeygelzimerLZ #machine learning #reduction #summary #tutorial
Tutorial summary: Reductions in machine learning (AB, JL, BZ), p. 12.
ICMLICML-2009-DasguptaL #learning #summary #tutorial
Tutorial summary: Active learning (SD, JL), p. 18.
ICMLICML-2009-Even-DarM #convergence #summary #tutorial
Tutorial summary: Convergence of natural dynamics to equilibria (EED, VSM), p. 13.
ICMLICML-2009-Leskovec #ml #network #scalability #social #summary #tutorial
Tutorial summary: Large social and information networks: opportunities for ML (JL), p. 19.
ICMLICML-2009-Niv #learning #summary #tutorial
Tutorial summary: The neuroscience of reinforcement learning (YN), p. 16.
ICMLICML-2009-Smith #natural language #predict #summary #tutorial
Tutorial summary: Structured prediction for natural language processing (NAS), p. 20.
ICMLICML-2009-TrespY #dependence #learning #summary #tutorial
Tutorial summary: Learning with dependencies between several response variables (VT, KY), p. 14.
ICMLICML-2009-WarmuthV #bibliography #optimisation #perspective #summary #tutorial
Tutorial summary: Survey of boosting from an optimization perspective (MKW, SVNV), p. 15.
RecSysRecSys-2009-Golbeck #recommendation #social #trust #tutorial #using
Tutorial on using social trust for recommender systems (JG), pp. 425–426.
GTTSEGTTSE-2009-Hedin #attribute grammar #jastadd #tutorial
An Introductory Tutorial on JastAdd Attribute Grammars (GH), pp. 166–200.
GTTSEGTTSE-2009-JorgesSM #code generation #tutorial
Building Code Generators with Genesys: A Tutorial Introduction (SJ, BS, TMS), pp. 364–385.
ICSEICSE-2009-ZhangHZM #ide #interactive #named
SmartTutor: Creating IDE-based interactive tutorials via editable replay (YZ, GH, NZ, HM), pp. 559–562.
CAVCAV-2009-KrivineDB #maintenance #modelling #tutorial
Modelling Epigenetic Information Maintenance: A Kappa Tutorial (JK, VD, AB), pp. 17–32.
ICLPICLP-2009-Raedt #learning #logic #probability #tutorial
Probabilistic Logic Learning — A Tutorial Abstract (LDR), p. 39.
DATEDATE-2008-BeutelBDL #embedded #tutorial
Embedded Tutorial — Software for Wireless Networked Embedded Systems (JB, MB, AD, KL), p. 372.
DATEDATE-2008-SchutzGBG #approach #embedded #research #tutorial
Embedded Tutorial — ARTEMIS and ENIAC Joint Undertakings: A New Approach to Conduct Research in Europe (ES, KG, DB, LG), p. 658.
SIGMODSIGMOD-2008-PeiHTL #nondeterminism #probability #query #summary #tutorial
Query answering techniques on uncertain and probabilistic data: tutorial summary (JP, MH, YT, XL), pp. 1357–1364.
VLDBVLDB-2008-FranklinHM #tutorial
A first tutorial on dataspaces (MJF, AYH, DM), pp. 1516–1517.
SFMSFM-2008-DemattePR #tutorial
The BlenX Language: A Tutorial (LD, CP, AR), pp. 313–365.
AFPAFP-2008-JonesS08 #concurrent #haskell #parallel #programming #tutorial
A Tutorial on Parallel and Concurrent Programming in Haskell (SLPJ, SS), pp. 267–305.
ICGTICGT-2008-Heckel #graph transformation #tutorial
Tutorial Introduction to Graph Transformation (RH), pp. 458–459.
ECIRECIR-2008-Hiemstra
ECIR 2008 Tutorials (DH), pp. 714–715.
RecSysRecSys-2008-Koren #collaboration #tutorial
Tutorial on recent progress in collaborative filtering (YK), pp. 333–334.
BXBX-2008-Glueck1 #programming language #tutorial
Reversible Programming Languages (tutorial) (RG), p. 35.
BXBX-2008-Schuerr1 #graph grammar #tutorial
Triple Graph Grammar (tutorial) (AS), p. 29.
CAVCAV-2008-Foster #industrial #tutorial #verification
Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial) (HF), pp. 5–10.
CAVCAV-2008-Harrison #proving #theorem proving #tutorial #verification
Theorem Proving for Verification (Invited Tutorial) (JH), pp. 11–18.
CAVCAV-2008-OHearn #logic #tutorial
Tutorial on Separation Logic (Invited Tutorial) (PWO), pp. 19–21.
ICLPICLP-2008-OHearn #logic #tutorial
Separation Logic Tutorial (PWO), pp. 15–21.
ASEASE-2007-Leavens #java #ml #modelling #tutorial
Tutorial on JML, the java modeling language (GTL), p. 573.
WCREWCRE-2007-Germaa #research #tutorial
Intellectual Property for Software (Re-)Engineers and Researchers: A Tutorial (DMG), p. 297.
CEFPCEFP-2007-Pop #functional #object-oriented #programming #tutorial
A Tutorial on Object-Oriented Functional Programming (HFP), pp. 228–249.
GTTSEGTTSE-2007-Jarzabek #component #reuse #tutorial
Software Reuse beyond Components with XVCL (Tutorial) (SJ), pp. 47–77.
CAVCAV-2007-LeavensKP #behaviour #composition #functional #java #ml #specification #tutorial #verification
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java (GTL, JRK, EP), p. 37.
CAVCAV-2007-MouraDS #modulo theories #satisfiability #tutorial
A Tutorial on Satisfiability Modulo Theories (LMdM, BD, NS), pp. 20–36.
VMCAIVMCAI-2007-Madhusudan #algorithm #learning #tutorial #verification
Learning Algorithms and Formal Verification (Invited Tutorial) (PM), p. 214.
ASEASE-2006-Singer #evaluation #testing #tool support
Testing Tools and Techniques: A Mini-Tutorial on Evaluation Methods for ASE (JS), pp. 371–374.
PODSPODS-2006-FranconiT #logic #rdf #tutorial
The logic of RDF and SPARQL: a tutorial (EF, ST), p. 355.
CSEETCSEET-2006-Kay #named #re-engineering #tutorial
Tutorial: Intellectual Property Law Basicsc For Software Engineering Educators (DGK), pp. 242–244.
FASEFASE-2006-IwataSF #automation #development #generative #specification #tutorial
Automatic Generation of Tutorial Systems from Development Specification (HI, JS, YF), pp. 79–92.
SEFMSEFM-2006-Banach #tutorial
Retrenchment Tutorial (RB), p. 259.
SEFMSEFM-2006-Rushby06a #automation #formal method #named #tutorial
Tutorial: Automated Formal Methods with PVS, SAL, and Yices (JMR), p. 262.
ICGTICGT-2006-Heckel #graph transformation #tutorial
Introductory Tutorial on Foundations and Applications of Graph Transformation (RH), pp. 461–462.
ICSEICSE-2006-BaresiG #named #towards #tutorial #web #web service
Tutorial: towards dynamic web services (LB, SG), pp. 1067–1068.
ICSEICSE-2006-Selic #bibliography #named #tutorial #uml
Tutorial: an overview of UML 2 (BS), pp. 1069–1070.
SPLCSPLC-2006-Czarnecki #development #generative #tutorial
Tutorial on Generative Software Development (KC), p. 227.
SPLCSPLC-2006-Krueger06a #generative #named #product line #tutorial
Tutorial: New Methods Behind the New Generation of Software Product Line Success Stories (CWK), p. 216.
PODSPODS-2005-Gehrke #analysis #modelling #privacy #tutorial
Models and methods for privacy-preserving data publishing and analysis: invited tutorial (JG), p. 316.
ITiCSEITiCSE-2005-BerginW #tutorial
Test-first pair-programming tutorial (JB, EW), p. 416.
CEFPCEFP-2005-Kozsik #tutorial #type system
Tutorial on Subtype Marks (TK), pp. 191–222.
CHICHI-2005-KelleherP #design #evaluation
Stencils-based tutorials: design and evaluation (CK, RP), pp. 541–550.
GTTSEGTTSE-2005-Batory #programming #tutorial
A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite (DSB), pp. 3–35.
RTARTA-2005-Felty #approach #semantics #tutorial
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code (APF), pp. 394–406.
TLCATLCA-2005-Felty #approach #semantics #tutorial
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract (APF), p. 10.
CSEETCSEET-2004-Kaner04a #education #testing #tutorial
Teaching the Software Testing Course: A Tutorial (CK), pp. 170–171.
IFMIFM-2004-WoodcockC #design #programming #tutorial
A Tutorial Introduction to Designs in Unifying Theories of Programming (JW, AC), pp. 40–66.
SFMSFM-2004-BehrmannDL #tutorial
A Tutorial on Uppaal (GB, AD, KGL), pp. 200–236.
ICGTICGT-2004-BaresiH #graph transformation #perspective #re-engineering #tutorial
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 431–433.
ICGTICGT-2004-HarjuPR #graph transformation #tutorial
Tutorial on DNA Computing and Graph Transformation (TH, IP, GR), pp. 434–436.
ICEISICEIS-v2-2004-LeelawatananonC #information management #representation
The ORM Model as a Knowledge Representation for E-Tutorial Systems (TL, SC), pp. 479–484.
ICSEICSE-2004-Selic #bibliography #named #tutorial #uml
Tutorial: An Overview of UML 2.0 (BS), pp. 741–742.
DACDAC-2003-Hayes #concept #named #quantum #tutorial
Tutorial: basic concepts in quantum circuits (JPH), p. 893.
VLDBVLDB-2003-KoudasS #data type #query #tutorial
Data Stream Query Processing: A Tutorial (NK, DS), p. 1149.
VISSOFTVISSOFT-2003-Ware #interactive #tutorial #visualisation
Thinking with Interactive Visualization (Tutorial/Keynote) (CW), pp. 2–28.
ICSEICSE-2003-Batory #product line #programming #tutorial
A Tutorial on Feature Oriented Programming and Product-Lines (DSB), pp. 753–754.
ICSEICSE-2003-Selic #bibliography #tutorial #uml
Tutorial H2: An Overview of UML 2.0 (BS), pp. 755–756.
CSLCSL-2003-Bouajjani #infinity #tutorial #verification
Verification of Infinite State Systems (Tutorial) (AB), p. 71.
CSLCSL-2003-MoserZ #calculus #tutorial
The Epsilon Calculus (Tutorial) (GM, RZ), p. 455.
CSLCSL-2003-Vorobjov03a #effectiveness #quantifier #tutorial
Effective Quantifier Elimination over Real Closed Fields (Tutorial) (NV), p. 545.
CSLCSL-2003-Walukiewicz #synthesis #tutorial
Winning Strategies and Synthesis of Controllers (Tutorial) (IW), p. 574.
ICLPICLP-2003-BruscoliG #logic programming #proving #tutorial
A Tutorial on Proof Theoretic Foundations of Logic Programming (PB, AG), pp. 109–127.
SIGMODSIGMOD-2002-GarofalakisGR #data type #mining #query #tutorial
Querying and mining data streams: you only get one look a tutorial (MNG, JG, RR), p. 635.
SIGMODSIGMOD-2002-Mohan #named #tutorial
Tutorial: application servers and associated technologies (CM), p. 636.
CSEETCSEET-2002-BernsteinKK02a #comprehension #process #re-engineering #student #towards #tutorial
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
Tutorial 4: Issues in Commmercial Law of Interest to Software Engineering Educators (CK), pp. 273–274.
CSEETCSEET-2002-PortB #tutorial
Tutorial 1: Introducing Software Economics within SWE Project Courses (DP, BWB), p. 266.
CSEETCSEET-2002-TowhidnejadH #education #quality #tutorial
Tutorial 3: Software Quality Across the Curriculum (MT, TBH), pp. 268–272.
FLOPSFLOPS-2002-BandaDMS #tutorial
To the Gates of HAL: A HAL Tutorial (MJGdlB, BD, KM, PJS), pp. 47–66.
ICGTICGT-2002-BaresiH #graph transformation #perspective #re-engineering #tutorial
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 402–429.
ICGTICGT-2002-HarjuPR #assembly #graph transformation #tutorial
Tutorial on DNA Computing and Graph Transformation — Computational Nature of Gene Assembly in Ciliates (TH, IP, GR), pp. 430–434.
SEKESEKE-2002-SweZJ #named #tutorial
XVCL: a tutorial (SMS, HZ, SJ), pp. 341–349.
ICSEICSE-2002-Kruchten #named #tutorial
Tutorial: introduction to the rational unified process® (PK), p. 703.
ICSEICSE-2002-KruchtenSK #architecture #named #tutorial #uml
Tutorial: describing software architecture with UML (PK, BS, WK), pp. 693–694.
ICSEICSE-2002-Larman #design pattern #named #tutorial
Tutorial: mastering design patterns (CL), p. 704.
CAVCAV-2002-Thomas #game studies #infinity #tutorial #verification
Infinite Games and Verification (Extended Abstract of a Tutorial) (WT), pp. 58–64.
DATEDATE-2001-StaaB #design #embedded #roadmap #tutorial
Embedded tutorial: current trends in the design of automotive electronic systems (PvS, TB), pp. 38–39.
DATEDATE-2001-ZorianPTTPDSMR #embedded #tutorial
Embedded tutorial: TRP: integrating embedded test and ATE (YZ, PP, JPT, ICT, CEP, OPD, JS, PM, WR), pp. 34–37.
FSEESEC-FSE-2001-WallnauHS #component #concept #experience #re-engineering #tutorial
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
Tutorial on Fundamental Concepts for Practical Software Architecture (AR), pp. 722–723.
DACDAC-2000-FotyB #design #modelling #tutorial
MOSFET modeling and circuit design: re-establishing a lost connection (tutorial) (DF, DB), p. 560.
DATEDATE-2000-ZorianNMLSV #tutorial
Tutorial Statement (YZ, MN, PM, DYL, CWHS, KV), p. 66.
PODSPODS-2000-Gupta #information management #research #tutorial
Entrepreneurship for Information Systems Researchers (Abstract of Invited Tutorial) (AG0), p. 195.
PODSPODS-2000-Vardi #constraints #database #tutorial
Constraint Satisfaction and Database Theory: a Tutorial (MYV), pp. 76–85.
SIGMODSIGMOD-2000-BlakeleyD #data access #named #tutorial
Tutorial: Data Access (JAB, AD), p. 579.
SIGMODSIGMOD-2000-BratsbergT #design #named #tutorial
Tutorial: Designing an Ultra Highly Available DBMS (SEB, ØT), p. 577.
SIGMODSIGMOD-2000-ShuklaD #database #named #question #tutorial
Tutorial: LDAP Directory Services — Just Another Database Application? (SS, AD), p. 580.
CSEETCSEET-2000-CannonHD #named #process #tutorial
Tutorial: Introduction to the Team Software Process (BC, TBH, JLDH), p. 315–?.
ITiCSEITiCSE-2000-Wright #design #distance
Distance tutorials in a systems design course (JvW), pp. 105–107.
ICSEICSE-2000-BasiliLSR #tutorial #using
Improving software inspections by using reading techniques (tutorial session) (VRB, OL, FS, IR), p. 836.
ICSEICSE-2000-Batory #architecture #aspect-oriented #product line #reuse #tutorial
Product-line architectures, aspects, and reuse (tutorial session) (DSB), p. 832.
ICSEICSE-2000-Bevan #quality #specification #tutorial
Specifying and measuring quality in use (tutorial session) (NB), p. 819.
ICSEICSE-2000-Curtis00a #lessons learnt #process #tutorial
Software process improvement (tutorial session): best practices and lessons learned (BC), p. 828.
ICSEICSE-2000-GilHK #modelling #tutorial #uml #visual notation
Advanced visual modeling (tutorial session): beyond UML (JYG, JH, SK), p. 833.
ICSEICSE-2000-Gomaa #design #distributed #realtime #tutorial #uml
Designing real-time and distributed applications with the UML (tutorial session) (HG), p. 829.
ICSEICSE-2000-Jalote #tutorial
Moving from ISO9000 to higher levels of the CMM (tutorial session) (PJ), p. 823.
ICSEICSE-2000-KazmanK #architecture #design #tutorial #using
Designing and analyzing software architectures using ABASs (tutorial session) (RK, MK), p. 820.
ICSEICSE-2000-KirschS #tutorial
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-LieberherrLM #composition #object-oriented #reuse #tutorial
Building modular object-oriented systems with reusable collaborations (tutorial session) (KJL, DHL, MM), p. 821.
ICSEICSE-2000-LittlewoodS #assessment #concept #reliability #tutorial
Software reliability (tutorial session): basic concepts and assessment methods (BL, LS), p. 831.
ICSEICSE-2000-LittlewoodS00a #assessment #design #fault #fault tolerance #reliability #tutorial
Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment (BL, LS), p. 835.
ICSEICSE-2000-LopesK #aspectj #composition #design #source code #tutorial #using
Improving design and source code modularity using AspectJ (tutorial session) (CVL, GK), p. 825.
ICSEICSE-2000-NordPS #architecture #tutorial #using
Planning realistic schedules using software architecture (tutorial session) (RLN, DJP, DS), p. 824.
ICSEICSE-2000-Picco #comprehension #tutorial
Understanding code mobility (tutorial session) (GPP), p. 834.
ICSEICSE-2000-TakahashiEFG #development #tutorial #using
System development using application services over the Net (tutorial session) (KT, WE, AF, SG), p. 830.
ICSEICSE-2000-Vinoski #corba #tutorial
Introduction to CORBA (tutorial session) (SV), p. 822.
ICSEICSE-2000-Vinoski00a #corba #scalability #tutorial
Scalability issues in CORBA-based systems (tutorial session) (SV), p. 826.
CADECADE-2000-AndrewsB #education #higher-order #logic #named #proving #theorem proving #tutorial #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
Tutorial: Automated Deduction and Natural Language Understanding (SGP), pp. 509–510.
CADECADE-2000-Schurmann #framework #logic #named #tutorial
Tutorial: Meta-logical Frameworks (CS), pp. 507–508.
CAVCAV-2000-AbdullaJ #infinity #tutorial #verification
Invited Tutorial: Verification of Infinite-State and Parameterized Systems (PAA, BJ), p. 4.
CAVCAV-2000-Marques-SilvaS #algorithm #automation #design #satisfiability #tutorial
Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation (JPMS, KAS), p. 3.
SASSAS-1999-Muller-OlmSS #model checking #named #tutorial
Model-Checking: A Tutorial Introduction (MMO, DAS, BS), pp. 330–354.
SASSAS-1999-Soffa #analysis #data flow #named #precise #scalability #tutorial
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis (MLS), pp. 355–356.
ICSEICSE-1999-Fairley #metric #tutorial
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
Tutorial: A Quick Introduction to Software Reliability Modeling (JR), p. 689.
CAVCAV-1999-Sifakis #composition #specification #tutorial
The Compositional Specification of Timed Systems — A Tutorial (JS), pp. 2–7.
DACDAC-1998-Zorian #tutorial
System-Chip Test Strategies (Tutorial) (YZ), pp. 752–757.
SIGMODSIGMOD-1998-AdamY #tutorial
Electronic Commerce: Tutorial (NRA, YY), p. 498.
SIGMODSIGMOD-1998-BerchtoldK #database #tutorial
High-Dimensional Index Structures, Database Support for Next Decade’s Applications (Tutorial) (SB, DAK), p. 501.
SIGMODSIGMOD-1998-ClossmanSHKPB #database #java #relational #tutorial
Java and Relational Databases: SQLJ (Tutorial) (GC, PS, MH, JK, RP, BB), p. 500.
SIGMODSIGMOD-1998-KemperKM #database #tutorial
SAP R/3: A Database Application System (Tutorial) (AK, DK, FM), p. 499.
ITiCSEITiCSE-1998-Ellis98a #multi #tutorial #web
Use of multimedia and World Wide Web resources in a traditional lecture/tutorial environment (poster) (AE), p. 279.
ITiCSEITiCSE-1998-RoweT #education #named #online #programming #tutorial
VINCE — an on-line tutorial tool for teaching introductory programming (poster) (GR, GT), p. 304.
SASSAS-1998-Giacobazzi #abstract interpretation #tutorial
A Tutorial on Domain Theory in Abstract Interpretation (RG), pp. 349–350.
CHICHI-1998-CareyMPL #design #evolution #multi #tutorial
Design Evolution in a Multimedia Tutorial on User-Centered Design (TC, SM, DP, ML), pp. 109–116.
CSCWCSCW-1998-FinholtA #summary
Tutorials (Summary) (TAF, MSA), pp. 427–431.
SIGMODSIGMOD-1997-CareyMN #challenge #database #tutorial
Object-Relational Database Systems: Principles, Products, and Challenges (Tutorial) (MJC, NMM, AN), p. 502.
SIGMODSIGMOD-1997-ChaudhuriD #tutorial
Data Warehousing and OLAP for Decision Support (Tutorial) (SC, UD), pp. 507–508.
SIGMODSIGMOD-1997-Kramer #architecture #case study #database #tutorial #web
Databases on the Web: Technologies for Federation Architectures and Case Studies (Tutorial) (RK), pp. 503–506.
SIGMODSIGMOD-1997-Shasha #case study #lessons learnt #tutorial
Lessons from Wall Street: Case Studies in Configuration, Tuning, and Distribution (Tutorial) (DS), pp. 498–501.
ITiCSEITiCSE-1997-BurkeV #algorithm #optimisation #search-based #tutorial
A genetic algorithms tutorial tool for numerical function optimisation (EKB, DBV), pp. 27–30.
ICSEICSE-1997-ArdisW #analysis #product line #tutorial
Defining Families: The Commonality Analysis (Tutorial) (MAA, DMW), pp. 649–650.
ICSEICSE-1997-BasiliM #experience #how #tutorial
The Experience Factory: How to Build and Run One (Tutorial) (VRB, FEM), pp. 643–644.
ICSEICSE-1997-BrodmanJ #approach #process #tutorial
A Software Process Improvement Approach Tailored for Small Organizations and Small Projects (Tutorial) (JGB, DLJ), pp. 661–662.
ICSEICSE-1997-Bush #maturity #modelling #process #tutorial
European and American Software Process Maturity Models and Assessments (Tutorial) (MWB), pp. 671–672.
ICSEICSE-1997-Curtis #lessons learnt #process #tutorial
Software Process Improvement: Methods and Lessons Learned (Tutorial) (BC), pp. 624–625.
ICSEICSE-1997-Emmerich #corba #tutorial
An Introduction to OMG/CORBA (Tutorial) (WE), pp. 641–642.
ICSEICSE-1997-FaulkH #evolution #realtime #requirements #tutorial
Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (Tutorial) (SRF, CLH), pp. 637–638.
ICSEICSE-1997-FischerL #formal method #multi #tutorial
Formal Methods for Broadband and Multimedia Systems (Tutorial) (SF, SL), pp. 665–666.
ICSEICSE-1997-Fowler #analysis #bibliography #design #object-oriented #tutorial
A Survey of Object Oriented Analysis and Design Methods (Tutorial) (MF), pp. 653–654.
ICSEICSE-1997-Gentleman #component #effectiveness #off the shelf #tutorial
Effective Use of COTS (Commercial-off-the-Shelf) Software Components in Long Lived Systems (Tutorial) (WMG), pp. 635–636.
ICSEICSE-1997-GoelS #data analysis #re-engineering #tutorial
Software Engineering Data Analysis Techniques (Tutorial) (ALG, MS), pp. 667–668.
ICSEICSE-1997-GruhnS #process #tutorial
Software and Business Process Technology (Tutorial) (VG, WS), pp. 639–640.
ICSEICSE-1997-HumphreyO #process #tutorial
The Personal Software Process (PSP): A Full-Day Tutorial (WSH, JWO), pp. 645–646.
ICSEICSE-1997-Korson #development #object-oriented #process #robust #tutorial
A Realistic, Commercially Robust Process for the Development of Object-Oriented Software Systems (Tutorial) (TDK), pp. 626–627.
ICSEICSE-1997-KramerM #architecture #distributed #tutorial
Distributed Software Architectures (Tutorial) (JK, JM), pp. 633–634.
ICSEICSE-1997-Muller #migration #reverse engineering #tutorial
Reverse Engineering Strategies for Software Migration (Tutorial) (HAM), pp. 659–660.
ICSEICSE-1997-Musa #testing #tutorial
Software-Reliability-Engineered Testing Practice (Tutorial) (JDM), pp. 628–629.
ICSEICSE-1997-NuseibehR #requirements #tutorial
Making Requirements Measurable (Tutorial) (BN, SR), pp. 647–648.
ICSEICSE-1997-PerryPV #empirical #tutorial
A Primer on Empirical Studies (Tutorial) (DEP, AAP, LGV), pp. 657–658.
ICSEICSE-1997-Pfleeger #tutorial
Evaluating Software Technology (Tutorial) (SLP), pp. 651–652.
ICSEICSE-1997-PreeS #design pattern #development #object-oriented #tutorial
Design Patterns for Object-Oriented Software Development (Tutorial) (WP, HS), pp. 663–664.
ICSEICSE-1997-Rajlich #comprehension #evolution #legacy #tutorial
Comprehension and Evolution of Legacy Software (Tutorial) (VR), pp. 669–670.
ICSEICSE-1997-SeiterLO #evolution #java #source code #tutorial
Simplifying the Evolution of Java Programs (Tutorial) (LMS, KJL, DO), pp. 655–656.
ICSEICSE-1997-Waldo #java #named #re-engineering #tutorial
Java: A Language for Software Engineering (Tutorial) (JW), p. 630.
ICSEICSE-1997-WiledenK #tutorial
Software Interoperability: Principles and Practice (Tutorial) (JCW, AK), pp. 631–632.
DACDAC-1996-Rudell #design #logic #named #synthesis #tutorial
Tutorial: Design of a Logic Synthesis System (RLR), pp. 191–196.
ASEKBSE-1996-Jullig #composition #named #tutorial
SPECWARE: Formal Support for Software Composition (Tutorial) (RJ), p. 2.
ASEKBSE-1996-LeeG #collaboration #tutorial #using #web
Developing Collaborative Applications Using the World Wide Web “Shell” (Tutorial) (AL, AG), p. 3.
ASEKBSE-1996-LowryJ #knowledge-based #re-engineering #tutorial
Introduction to Knowledge-Based Software Engineering (Tutorial) (ML, WLJ), p. 1.
ITiCSEITiCSE-1996-RosbottomM #interactive #web
Interactive tutorials on the World Wide Web (JR, AM), p. 231.
AFPAFP-1996-Hudak96 #music #tutorial
Haskore Music Tutorial (PH), pp. 38–67.
CSCWCSCW-1996-BennettK #design #framework #tutorial
Working Through Meetings: A Framework for Designing Meeting Support (Tutorial) (JLB, JK), p. 4.
CSCWCSCW-1996-CarrollS #community #network #tutorial
Community Networks (Tutorial) (JC, CS), p. 6.
CSCWCSCW-1996-Dewan #collaboration #design #implementation #tutorial
Designing and Implementing Collaborative Applications (Tutorial) (PD), p. 4.
CSCWCSCW-1996-FinholtOO #behaviour #evaluation #tutorial
Behavioral Evaluation of CSCW Technologies (Tutorial) (TAF, GMO, JSO), p. 5.
CSCWCSCW-1996-FishK #collaboration #network #tutorial #video
Networking for Collaboration: Video Telephony and Media Conferencing (Tutorial) (RSF, REK), p. 6.
CSCWCSCW-1996-GrudinPP #bibliography #tutorial
CSCW Overview (Tutorial) (JG, SEP, JFP), p. 3.
CSCWCSCW-1996-HalversonR #design #distributed #implementation #social #tutorial
An Introduction to Distributed Cognition: Analyzing the Organizational, the Social and the Cognitive for Designing and Implementing CSCW Applications (Tutorial) (CH, YR), p. 4.
CSCWCSCW-1996-HiltzT #collaboration #learning #network #online #theory and practice #tutorial
Asynchronous Learning Networks: The Theory and Practice of Collaborative Learning Online (Tutorial) (SRH, MT), p. 5.
CSCWCSCW-1996-JarkeM #information management #research #tutorial
Cooperative Information Systems: A Research Agenda (Tutorial) (MJ, JM), p. 5.
CSCWCSCW-1996-LeeG #collaboration #tutorial #using #web
Developing Collaborative Applications Using the World Wide Web Shell (Tutorial) (AL, AG), p. 4.
CSCWCSCW-1996-Martial #process #re-engineering #tutorial
Business Process Reengineering and its Role in Developing CSCW Applications (Tutorial) (FvM), p. 6.
CSCWCSCW-1996-MillerR #collaboration #tutorial
A Hands-On Introduction to Collaborative Filtering (Tutorial) (BNM, JR), p. 5.
CSCWCSCW-1996-PoltrockG #case study #experience #roadmap #tutorial #workflow
CSCW, Groupware and Workflow: Experiences, State of Art and Future Trends (Tutorial) (SEP, JG), p. 3.
CSCWCSCW-1996-Post #tutorial
Law in Cyberspace (Tutorial) (DGP), p. 6.
CSCWCSCW-1996-RandallR #bound #development #tutorial
Ethnography and Systems Development: Bounding the Intersection (Tutorial) (DR, MR), p. 5.
CSCWCSCW-1996-Waldo #collaboration #java #programming #tutorial #using
Using the Java Programming Environment to Build Collaborative Applications (Tutorial) (JW), p. 3.
CSCWCSCW-1996-Yankelovich #collaboration #education #how #internet #tutorial
An Introduction to the Internet and How it can be Used for Collaboration for K-12 Teachers (Tutorial) (NY), p. 3.
SACSAC-1996-MengelA #network #protocol #tutorial
A network protocol analyzer with tutorial (SM, SA), pp. 115–119.
PODSPODS-1995-Kanellakis #constraints #database #programming #tutorial
Constraint Programming and Database Languages: A Tutorial (PCK), pp. 46–53.
SIGMODSIGMOD-1995-Faloutsos #database #multi #tutorial
Indexing Multimedia Databases (Tutorial) (CF), p. 467.
SIGMODSIGMOD-1995-MattosM #bibliography #sql #standard #tutorial
An Overview of the Emerging Third-Generation SQL Standard (Tutorial) (NMM, JM), p. 468.
SIGMODSIGMOD-1995-Sheth #automation #research #tutorial #workflow
Workflow Automation: Applications, Technology, and Research (Tutorial) (APS), p. 469.
CAVCAV-1995-Emerson #calculus #model checking #tutorial #μ-calculus
Methods for μ-calculus Model Checking: A Tutorial (Abstract) (EAE), p. 141.
ICLPILPS-1995-Kuchen #functional #implementation #logic programming #tutorial
Implementation Issues for Functional Logic Programming (Tutorial Abstract) (HK), pp. 612–613.
ICLPILPS-1995-Millroth #parallel #trade-off #tutorial
Tradeoffs Explicit and Omplicit Parallelism (Tutorial Abstract) (HM), p. 614.
ICLPILPS-1995-Moss #logic #tutorial
Logic and Objects (Tutorial Abstract) (CM), pp. 609–611.
ICLPILPS-1995-SchreyeLM #tutorial
Tutorial on Program Specialisation (Abstract) (DDS, ML, BM), pp. 615–616.
PODSPODS-1994-Agrawal #database #mining #tutorial
Tutorial Database Mining (RA), pp. 75–76.
PODSPODS-1994-Gonnet #database #experience #named #tutorial
Tutorial: Text Dominated Databases, Theory Practice and Experience (GHG), pp. 301–302.
PODSPODS-1994-Tannen #named #tutorial
Tutorial: Languages for Collection Types (VT), pp. 150–154.
CSEETCSEE-1994-Paulk #maturity #tutorial
The Capability Maturity Model for Software: A Tutorial (MCP), p. 601.
CHICHI-1994-LemaireM94a #interface #tutorial #visual notation
An improved interface for tutorial dialogues: browsing a visual dialogue history (BL, JDM), pp. 16–22.
SACSAC-1994-RuizSG #tutorial
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 #tutorial
A Tutorial on Synthesis of Logic Programs from Specifications (KKL, GAW), pp. 11–14.
ASEKBSE-1993-Johnson #bibliography #knowledge-based #re-engineering #tutorial
A Survey of Knowledge-Based Software Engineering (Tutorial) (WLJ), p. 1.
ASEKBSE-1993-Scacchi #approach #knowledge-based #process #tutorial
A Knowledge-Based Approach To Software Process Engineering (Tutorial) (WS), p. 3.
ASEKBSE-1993-Smith #algorithm #named #synthesis #tutorial
KIDS: An Algorithm Synthesis System (Tutorial) (DRS), p. 2.
PEPMPEPM-1993-Gallagher #logic programming #source code #tutorial
Tutorial on Specialisation of Logic Programs (JPG), pp. 88–98.
POPLPOPL-1993-ConselD #partial evaluation #tutorial
Tutorial Notes on Partial Evaluation (CC, OD), pp. 493–501.
POPLPOPL-1993-Reynolds #logic #morphism #parametricity #polymorphism #tutorial
An Introduction to Logical Relations and Parametric Polymorphism — Tutorial (JCR), pp. 155–156.
DACDAC-1992-HillD #design #tutorial
FPGA Design Principles (A Tutorial) (DDH, ED), pp. 45–46.
DACDAC-1992-Langeler #design #tutorial
Directions to Watch in Design Technology (Tutorial Abstract) (GL), p. 298.
ASEKBSE-1992-Setliff #automation #programming #tutorial
Automatic Programming (Tutorial) (DES), p. 2.
ASEKBSE-1992-SolderitschY #knowledge base #reuse #tool support #tutorial
Knowledge Based Software Reuse Methods and Tools: DoD STARS RLF Technology (Tutorial) (JS, DY), p. 1.
HPDCHPDC-1992-Berra #information management #multi #tutorial
Tutorial II: Multimedia Information Systems (PBB), p. 283.
HPDCHPDC-1992-Sunderam #network #paradigm #tool support #tutorial
Tutorial I: Paradigms and Tools for Heterogeneous Network Computing (VSS), p. 282.
HPDCHPDC-1992-Wittie #distributed #memory management #tutorial
Tutorial III: Distributed Shared Memory Systems (LDW), p. 284.
ICLPJICSLP-1992-Overbeek #analysis #logic programming #search-based #sequence #tutorial
Logic Programming and Genetic Sequence Analysis: a Tutorial (RAO), pp. 32–34.
ICLPJICSLP-1992-Tick #concurrent #logic programming #tutorial
Advanced Tutorial: Concurrent Logic Programming (ET), p. 25.
ICLPJICSLP-1992-Troelstra #linear #logic #tutorial
Tutorial on Linear Logic (AST), pp. 30–31.
FMVDME-1991-2-Airchinnigh #tutorial
Tutorial on the Irish School of the VDM (MMaA), pp. 141–237.
FMVDME-1991-2-George #specification #tutorial
The RAISE Specification Langiage: A Tutorial (CG), pp. 238–319.
FMVDME-1991-2-GuttagH #interface #tutorial
A Tutorial on LARCH and LCL, A LARCH/C Interface Language (JVG, JJH), pp. 1–78.
FMVDME-1991-2-Woodcock #calculus #refinement #tutorial
A Tutorial on the Refinement Calculus (JW), pp. 79–140.
ICLPICLP-1991-Miller91a #logic #logic programming #tutorial
Logics for Logic Programming: A Tutorial (DM), p. 911.
ICGTGG-1990-EhrigKL #algebra #approach #category theory #graph grammar #tutorial
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 #tutorial #λ-calculus
Tutorial on Lambda-Prolog (APF, ELG, DM, FP), p. 682.
CADECADE-1990-HsiangJ #proving #theorem proving #tutorial
Tutorial on Rewrite-Based Theorem Proving (JH, JPJ), p. 684.
CADECADE-1990-Kirchner #equation #tutorial #unification
Tutorial on Equational Unification (CK), p. 682.
CADECADE-1990-LuskM #automation #proving #theorem proving #tutorial
Tutorial on High-Performance Automated Theorem Proving (ELL, WM), p. 681.
CADECADE-1990-MullerBNNS #concept #reasoning #representation #tutorial
Tutorial on Reasoning and Representation with Concept Languages (JM, FB, BN, WN, GS), p. 681.
CADECADE-1990-OhlbachH #compilation #logic #tutorial
Tutorial on Compilation techniques for Logics (HJO, AH), p. 683.
CADECADE-1990-PritchardS #logic #modelling #tutorial
Tutorial on Computing Models of Propositional Logics (PP, JKS), p. 685.
CADECADE-1990-SchumannLK #implementation #parallel #performance #proving #theorem proving #tutorial
Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation (JS, RL, FJK), p. 683.
CADECADE-1990-Waldinger #deduction #tutorial
Tutorial on Program-Synthetic Deduction (RJW), p. 684.
CHICHI-1989-BlackBMC #effectiveness #learning #online #question #what
On-line tutorials: What kind of inference leads to the most effective learning? (JBB, JSB, MM, JMC), pp. 81–83.
DACDAC-1988-McFarlandPC #synthesis #tutorial
Tutorial on High-Level Synthesis (MCM, ACP, RC), pp. 330–336.
DACDAC-1988-Whalen #automation #design #tutorial
Automating the Design of Electronic Packaging (tutorial) (BW), p. 81.
LISPLFP-1988-SussmanH #abstraction #named #tutorial
Tutorial: Abstraction in Numerical Methods (GJS, MH), pp. 1–7.
DACDAC-1987-Parks #analysis #design #named #tutorial
Tutorial: Reading and Reviewing the Common Schema for Electrical Design and Analysis (CHP), pp. 479–483.
FMVDME-1987-Airchinnigh87a #tutorial
Introduction to the VDM Tutorial (MMaA), pp. 356–361.
DACDAC-1986-BirminghamJK #tutorial
Knowlege-based expert systems and their application (tutorial session (WPB, RJ, JK), pp. 531–539.
DACDAC-1986-Eurich #design #tutorial
A tutorial introduction to the electronic design interchange format (tutorial session) (JPE), pp. 327–333.
DACDAC-1986-HancockD #automation #design #parallel #tutorial
Tutorial on parallel processing for design automation applications (tutorial session) (JMH, SD), pp. 69–77.
DACDAC-1986-PreasK #automation #bibliography #tutorial
Automatic placement a review of current techniques (tutorial session) (BP, PGK), pp. 622–629.
ICGTGG-1986-Ehrig #algebra #approach #graph grammar #tutorial
Tutorial introduction to the algebraic approach of graph grammars (HE), pp. 3–14.
AdaCRAI-1986-AstesianoR #approach #programming language #semantics #tutorial
The SMoLCS Approach to the Formal Semantics of Programming Languages — A Tutorial Introduction (EA, GR), pp. 81–116.
DACDAC-1985-Cho #bibliography #tutorial
A subjective review of compaction (tutorial session) (YEC), pp. 396–404.
DACDAC-1985-CollinsK #programmable #tutorial
The impact of technological advances on programmable controller s(tutorial session) (RPC, WJK), pp. 498–502.
DACDAC-1985-Frome #tutorial #video
Course, video, and manual dexterity (tutorial): tailoring training to CAD users (FSF), pp. 226–231.
DACDAC-1985-Grinthal #assurance #quality #tutorial
Software quality assurance for CAD (tutorial) (ETG), pp. 555–561.
DACDAC-1985-LowensteinW #standard #tutorial
Importance of standards (tutorial session) (AL, GW), pp. 88–93.
DACDAC-1985-Simmons #design #prototype #tutorial #verification
Early verification of prototype tooling for IC designs (tutorial) (JPSJ), p. 161.
DACDAC-1985-TaylorBS #design #layout #lessons learnt #tutorial
Layout design-lessons from the Jedi designer (tutorial session) (SLT, RB, TS), p. 337.
DACDAC-1985-Tucker #evolution #tutorial
Electronic CAD/CAM-is it revolution or evolution (tutorial session) (BWT), pp. 830–834.
DACDAC-1984-Scott #design #named #process #tutorial
Tutorial — mechanical workstation software computer aided engineering in the mechanical design process (JS), p. 605.
DACDAC-1983-Haynie #automation #design #named #relational #tutorial
Tutorial: The relational data model for Design Automation (MNH), pp. 599–607.
DACDAC-1983-Prasad #named #tutorial
Tutorial — Group Technology (HRP), p. 128.
DACDAC-1980-CoryC #correctness #design #tutorial #verification
Developments in verification of design correctness (A Tutorial) (WEC, WMvC), pp. 156–164.
VLDBVLDB-1979-Date #database #programming #tutorial
Locking and Recovery in a Shared Database System: An Application Programming Tutorial (CJD), pp. 1–15.
FMVDM-1978-Bjorner #metalanguage #programming #tutorial
Programming in the META-Language: A Tutorial (DB), pp. 24–217.
FMVDM-1978-Bjorner78a #abstraction #operating system #pl-i #specification #tutorial
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 #bibliography #graph grammar #tutorial
A Tutorial and Bibliographical Survey on Graph Grammars (MN), pp. 70–126.
ICSEICSE-1978-King #tutorial #verification
Prospects for Program Verification (Tutorial) (JCK), p. 71.
DACDAC-1977-Smith77a #automation #design #re-engineering #tutorial
Software engineering techniques in design automation&madash;a tutorial (RJSI), pp. 495–507.
VLDBVLDB-1975-Kerr #tutorial
Recent Results on the Attribute Based Data Model — A Tutorial (DSK), pp. 526–528.
DACDAC-1973-Hightower #problem #tutorial
The interconnection problem — a tutorial (DWH), pp. 1–21.
SIGMODSIGFIDET-1971-Codd71a #data type #normalisation #tutorial
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.