Stem tutori$ (all stems)

340 papers:

VLDB-2015-AbadiBOP #named #tutorial

Tutorial: SQL-on-Hadoop Systems (DA, SB, FÖ, IP), pp. 2050–2061.

CHI-2015-NguyenL #tutorial #video

Making Software Tutorial Video Responsive (CN, FL), pp. 1565–1568.

CHI-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.

ECIR-2015-Azzopardi #documentation #tutorial

A Tutorial on Measuring Document Retrievability (LA), pp. 813–816.

KDD-2015-GionisT #tutorial

Dense Subgraph Discovery: KDD 2015 tutorial (AG, CET), pp. 2313–2314.

KDD-2015-SpiliopoulouRR #mining #tutorial

Medical Mining: KDD 2015 Tutorial (MS, PPR, EMR), p. 2325.

RecSys-2015-SteckZJ #interactive #recommendation #tutorial

Interactive Recommender Systems: Tutorial (HS, RvZ, CJ), pp. 359–360.

SIGIR-2015-AzzopardiZ #modelling #retrieval #tutorial #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 #tutorial

Advanced Click Models and their Applications to IR: SIGIR 2015 Tutorial (AC, IM, MdR), pp. 1111–1112.

SIGIR-2015-ChuklinMR15a #modelling #tutorial #web

An Introduction to Click Models for Web Search: SIGIR 2015 Tutorial (AC, IM, MdR), pp. 1113–1115.

SIGIR-2015-KneesS #bibliography #music #perspective #recommendation #retrieval #tutorial

Music Retrieval and Recommendation: A Tutorial Overview (PK, MS), pp. 1133–1136.

LICS-2015-Pitts #symmetry #tutorial

Names and Symmetry in Computer Science (Invited Tutorial) (AMP), pp. 21–22.

LICS-2015-Smith #data flow #tutorial

Recent Developments in Quantitative Information Flow (Invited Tutorial) (GS), pp. 23–31.

CBSE-2014-Bliudze #component #design #tutorial

Rigorous component-based design in BIP: half-day tutorial (SB), pp. 187–188.

DocEng-2014-BagleyH #tutorial

DOCENG 2014: PDF tutorial (SRB, MRBH), pp. 213–214.

VLDB-2014-Gal #named #nondeterminism #tutorial

Tutorial: Uncertain Entity Resolution (AG), pp. 1711–1712.

MSR-2014-TiarksM #development #how #mobile #question #tutorial

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

Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (AG, IK, US, HV, JW), pp. 122–171.

CHI-2014-0002GF #multi #named #tutorial

CADament: a gamified multiplayer software tutorial system (WL, TG, GWF), pp. 3369–3378.

CHI-2014-BuntDLTC #named #online

TaggedComments: promoting and integrating user comments in online application tutorials (AB, PD, BL, MAT, DTC), pp. 4037–4046.

CHI-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.

KDD-2014-AmatriainM #problem #recommendation #tutorial

The recommender problem revisited: morning tutorial (XA, BM), p. 1971.

KDD-2014-BordesG #graph #mining #tutorial

Constructing and mining web-scale knowledge graphs: KDD 2014 tutorial (AB, EG), p. 1967.

KDD-2014-CormodeD #big data #tutorial

Sampling for big data: a tutorial (GC, NGD), p. 1975.

RecSys-2014-CantadorC #recommendation #tutorial

Tutorial on cross-domain recommender systems (IC, PC), pp. 401–402.

RecSys-2014-GuyG #recommendation #social #tutorial

Social recommender system tutorial (IG, WG), pp. 403–404.

PPDP-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.

PPDP-2014-Karczmarczuk #concept #declarative #on the #quantum #tutorial

On the Declarative Structure of Quantum Concepts: States and Observables (Distilled Tutorial) (JK), pp. 105–110.

PPDP-2014-LammelVLSF #declarative #development #tutorial

Declarative Software Development: Distilled Tutorial (RL, AV, ML, TS, JMF), pp. 1–6.

PPDP-2014-NilssonP #declarative #game studies #programming #tutorial

Declarative Game Programming: Distilled Tutorial (HN, IP), pp. 159–160.

SLE-J-2012-PaigeKP #grammarware #metamodelling #research #tutorial

A tutorial on metamodelling for grammar researchers (RFP, DSK, FACP), pp. 396–416.

TAP-2014-KosmatovS #analysis #runtime #tutorial

Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses — Tutorial Synopsis (NK, JS), pp. 165–168.

SIGMOD-2013-HullSV #bibliography #data transformation #perspective #process #tutorial

Data management perspectives on business process management: tutorial overview (RH, JS, RV), pp. 943–948.

CHI-2013-LafreniereGF #community #multi

Community enhanced tutorials: improving tutorials with multiple demonstrations (BJL, TG, GWF), pp. 1779–1788.

HILT-2013-Taft #concurrent #named #parallel #proving #safety #source code #thread #tutorial

Tutorial: proving safety of parallel / multi-threaded programs (STT), pp. 1–2.

RecSys-2013-TsoukiasV #tutorial

Tutorial on preference handling (AT, PV), pp. 497–498.

SIGIR-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.

ICSE-2013-MehlitzRV #java #tutorial

A hands-on Java PathFinder tutorial (PCM, NR, WV), pp. 1493–1495.

ICSE-2013-ZhangX #challenge

Pathways to technology transfer and adoption: achievements and challenges (mini-tutorial) (DZ, TX), pp. 951–952.

SPLC-2013-McGregor #analysis #ecosystem #modelling #tutorial

Ecosystem modeling and analysis: a tutorial (JDM), p. 282.

TAP-2013-KosmatovPS #proving #source code #tutorial

A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper (NK, VP, JS), pp. 168–177.

PODS-2012-Pierce #bidirectional #tutorial

Linguistic foundations for bidirectional transformations: invited tutorial (BCP), pp. 61–64.

VLDB-2012-Dogac #tutorial

Interoperability in eHealth Systems (Invited Tutorial) (AD), pp. 2026–2027.

LATA-2012-Downey #complexity #tutorial

A Parameterized Complexity Tutorial (RD), pp. 38–56.

CHI-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.

HILT-2012-Nilsen #bibliography #comprehension #java #memory management #safety #tutorial

Tutorial overview: understanding dynamic memory management in safety critical java (KN), pp. 15–22.

HILT-2012-Sanden #approach #bibliography #design #modelling #multi #tutorial

Design of Multitask Software: The Entity-life Modeling Approach (tutorial overview) (BIS), pp. 1–2.

HILT-2012-Taft #divide and conquer #manycore #named #programming #tutorial #using

Tutorial: multicore programming using divide-and-conquer and work stealing (STT), pp. 13–14.

ICSE-2012-ZhangX #tutorial

Software analytics in practice: Mini tutorial (DZ, TX), p. 997.

TAP-2012-KosmatovW #automation #testing #tutorial

Tutorial on Automated Structural Testing with PathCrawler — (Extended Abstract) (NK, NW), p. 176.

DATE-2011-KapoorJ #design #embedded #power management #tutorial #verification

Embedded tutorial: Addressing critical power management verification issues in low power designs (BK, KMJ), p. 124.

SIGMOD-2011-HuangGL #datalog #interactive #tutorial

Datalog and emerging applications: an interactive tutorial (SSH, TJG, BTL), pp. 1213–1216.

CSEET-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.

CSEET-2011-Jazayeri #education #re-engineering #summary #tutorial

Structuring a software engineering-based curriculum tutorial presentation summary (MJ), pp. 543–545.

ECMFA-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.

CAV-2011-Platzer #composition #hybrid #logic #tutorial #verification

Logic and Compositional Verification of Hybrid Systems — (Invited Tutorial) (AP), pp. 28–43.

LICS-2011-Atserias #finite #tutorial

A Why-on-Earth Tutorial on Finite Model Theory (AA), p. 3.

PODS-2010-Jayram #complexity #tutorial

Information complexity: a tutorial (TSJ), pp. 159–168.

ITiCSE-2010-AydinolG10a #learning #spreadsheet #video

The effect of video tutorials on learning spreadsheets (ABA, ÖG), p. 323.

ICSM-2010-Dig #parallel #refactoring #tutorial

A practical tutorial on refactoring for parallelism (DD), pp. 1–2.

KR-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).

RecSys-2010-Shani #recommendation #tutorial

Tutorial on evaluating recommender systems (GS), p. 1.

SEKE-2010-ZhangHZJM #automation #eclipse #execution #synthesis #towards

Towards Automated Synthesis of Executable Eclipse Tutorials (NZ, GH, YZ, NJ, HM), pp. 591–598.

ICSE-2010-Firesmith #requirements #summary #tutorial

Engineering safety- and security-related requirements for software-intensive systems: tutorial summary (DGF), pp. 489–490.

ICSE-2010-HazzanD10a #agile #tutorial

Coaching agile software projects: tutorial proposal — ICSE 2010 (OH, YD), pp. 481–482.

DATE-2009-JerrayaN #comprehension #embedded #manycore #tutorial

Embedded tutorial — Understanding multicore technologies (AAJ, GN), p. 1051.

PODS-2009-Arge #performance #tutorial #worst-case

Worst-case efficient range search indexing: invited tutorial (LA), pp. 175–176.

ICPC-2009-Bartho #maintenance

Creating and maintaining tutorials with DEFT (AB), pp. 309–310.

CAiSE-2009-Wiederhold #how #named #question #tutorial

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

Tutorial summary: Machine learning in IR: recent successes and new opportunities (PNB, MB, KCT), p. 17.

ICML-2009-BeygelzimerLZ #machine learning #reduction #summary #tutorial

Tutorial summary: Reductions in machine learning (AB, JL, BZ), p. 12.

ICML-2009-DasguptaL #learning #summary #tutorial

Tutorial summary: Active learning (SD, JL), p. 18.

ICML-2009-Even-DarM #convergence #summary #tutorial

Tutorial summary: Convergence of natural dynamics to equilibria (EED, VSM), p. 13.

ICML-2009-Leskovec #ml #network #scalability #social #summary #tutorial

Tutorial summary: Large social and information networks: opportunities for ML (JL), p. 19.

ICML-2009-Niv #learning #summary #tutorial

Tutorial summary: The neuroscience of reinforcement learning (YN), p. 16.

ICML-2009-Smith #natural language #predict #summary #tutorial

Tutorial summary: Structured prediction for natural language processing (NAS), p. 20.

ICML-2009-TrespY #dependence #learning #summary #tutorial

Tutorial summary: Learning with dependencies between several response variables (VT, KY), p. 14.

ICML-2009-WarmuthV #bibliography #optimisation #perspective #summary #tutorial

Tutorial summary: Survey of boosting from an optimization perspective (MKW, SVNV), p. 15.

RecSys-2009-Golbeck #recommendation #social #trust #tutorial #using

Tutorial on using social trust for recommender systems (JG), pp. 425–426.

GTTSE-2009-Hedin #attribute grammar #jastadd #tutorial

An Introductory Tutorial on JastAdd Attribute Grammars (GH), pp. 166–200.

GTTSE-2009-JorgesSM #code generation #tutorial

Building Code Generators with Genesys: A Tutorial Introduction (SJ, BS, TMS), pp. 364–385.

ICSE-2009-ZhangHZM #ide #interactive #named

SmartTutor: Creating IDE-based interactive tutorials via editable replay (YZ, GH, NZ, HM), pp. 559–562.

CAV-2009-KrivineDB #maintenance #modelling #tutorial

Modelling Epigenetic Information Maintenance: A Kappa Tutorial (JK, VD, AB), pp. 17–32.

ICLP-2009-Raedt #learning #logic #probability #tutorial

Probabilistic Logic Learning — A Tutorial Abstract (LDR), p. 39.

DATE-2008-BeutelBDL #embedded #tutorial

Embedded Tutorial — Software for Wireless Networked Embedded Systems (JB, MB, AD, KL), p. 372.

DATE-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.

SIGMOD-2008-PeiHTL #nondeterminism #probability #query #summary #tutorial

Query answering techniques on uncertain and probabilistic data: tutorial summary (JP, MH, YT, XL), pp. 1357–1364.

VLDB-2008-FranklinHM #tutorial

A first tutorial on dataspaces (MJF, AYH, DM), pp. 1516–1517.

SFM-2008-DemattePR #tutorial

The BlenX Language: A Tutorial (LD, CP, AR), pp. 313–365.

AFP-2008-JonesS08 #concurrent #haskell #parallel #programming #tutorial

A Tutorial on Parallel and Concurrent Programming in Haskell (SLPJ, SS), pp. 267–305.

ICGT-2008-Heckel #graph transformation #tutorial

Tutorial Introduction to Graph Transformation (RH), pp. 458–459.

ECIR-2008-Hiemstra

ECIR 2008 Tutorials (DH), pp. 714–715.

RecSys-2008-Koren #collaboration #tutorial

Tutorial on recent progress in collaborative filtering (YK), pp. 333–334.

BX-2008-Glueck1 #programming language #tutorial

Reversible Programming Languages (tutorial) (RG), p. 35.

BX-2008-Schuerr1 #graph grammar #tutorial

Triple Graph Grammar (tutorial) (AS), p. 29.

CAV-2008-Foster #industrial #tutorial #verification

Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial) (HF), pp. 5–10.

CAV-2008-Harrison #proving #theorem proving #tutorial #verification

Theorem Proving for Verification (Invited Tutorial) (JH), pp. 11–18.

CAV-2008-OHearn #logic #tutorial

Tutorial on Separation Logic (Invited Tutorial) (PWO), pp. 19–21.

ICLP-2008-OHearn #logic #tutorial

Separation Logic Tutorial (PWO), pp. 15–21.

ASE-2007-Leavens #java #ml #modelling #tutorial

Tutorial on JML, the java modeling language (GTL), p. 573.

WCRE-2007-Germaa #research #tutorial

Intellectual Property for Software (Re-)Engineers and Researchers: A Tutorial (DMG), p. 297.

CEFP-2007-Pop #functional #object-oriented #programming #tutorial

A Tutorial on Object-Oriented Functional Programming (HFP), pp. 228–249.

GTTSE-2007-Jarzabek #component #reuse #tutorial

Software Reuse beyond Components with XVCL (Tutorial) (SJ), pp. 47–77.

CAV-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.

CAV-2007-MouraDS #modulo theories #satisfiability #tutorial

A Tutorial on Satisfiability Modulo Theories (LMdM, BD, NS), pp. 20–36.

VMCAI-2007-Madhusudan #algorithm #learning #tutorial #verification

Learning Algorithms and Formal Verification (Invited Tutorial) (PM), p. 214.

ASE-2006-Singer #evaluation #testing #tool support

Testing Tools and Techniques: A Mini-Tutorial on Evaluation Methods for ASE (JS), pp. 371–374.

PODS-2006-FranconiT #logic #rdf #tutorial

The logic of RDF and SPARQL: a tutorial (EF, ST), p. 355.

CSEET-2006-Kay #named #re-engineering #tutorial

Tutorial: Intellectual Property Law Basicsc For Software Engineering Educators (DGK), pp. 242–244.

FASE-2006-IwataSF #automation #development #generative #specification #tutorial

Automatic Generation of Tutorial Systems from Development Specification (HI, JS, YF), pp. 79–92.

SEFM-2006-Banach #tutorial

Retrenchment Tutorial (RB), p. 259.

SEFM-2006-Rushby06a #automation #formal method #named #tutorial

Tutorial: Automated Formal Methods with PVS, SAL, and Yices (JMR), p. 262.

ICGT-2006-Heckel #graph transformation #tutorial

Introductory Tutorial on Foundations and Applications of Graph Transformation (RH), pp. 461–462.

ICSE-2006-BaresiG #named #towards #tutorial #web #web service

Tutorial: towards dynamic web services (LB, SG), pp. 1067–1068.

ICSE-2006-Selic #bibliography #named #tutorial #uml

Tutorial: an overview of UML 2 (BS), pp. 1069–1070.

SPLC-2006-Czarnecki #development #generative #tutorial

Tutorial on Generative Software Development (KC), p. 227.

SPLC-2006-Krueger06a #generative #named #product line #tutorial

Tutorial: New Methods Behind the New Generation of Software Product Line Success Stories (CWK), p. 216.

PODS-2005-Gehrke #analysis #modelling #privacy #tutorial

Models and methods for privacy-preserving data publishing and analysis: invited tutorial (JG), p. 316.

ITiCSE-2005-BerginW #tutorial

Test-first pair-programming tutorial (JB, EW), p. 416.

CEFP-2005-Kozsik #tutorial #type system

Tutorial on Subtype Marks (TK), pp. 191–222.

CHI-2005-KelleherP #design #evaluation

Stencils-based tutorials: design and evaluation (CK, RP), pp. 541–550.

GTTSE-2005-Batory #programming #tutorial

A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite (DSB), pp. 3–35.

RTA-2005-Felty #approach #semantics #tutorial

A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code (APF), pp. 394–406.

TLCA-2005-Felty #approach #semantics #tutorial

A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract (APF), p. 10.

CSEET-2004-Kaner04a #education #testing #tutorial

Teaching the Software Testing Course: A Tutorial (CK), pp. 170–171.

IFM-2004-WoodcockC #design #programming #tutorial

A Tutorial Introduction to Designs in Unifying Theories of Programming (JW, AC), pp. 40–66.

SFM-2004-BehrmannDL #tutorial

A Tutorial on Uppaal (GB, AD, KGL), pp. 200–236.

ICGT-2004-BaresiH #graph transformation #perspective #re-engineering #tutorial

Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 431–433.

ICGT-2004-HarjuPR #graph transformation #tutorial

Tutorial on DNA Computing and Graph Transformation (TH, IP, GR), pp. 434–436.

ICEIS-v2-2004-LeelawatananonC #information management #representation

The ORM Model as a Knowledge Representation for E-Tutorial Systems (TL, SC), pp. 479–484.

ICSE-2004-Selic #bibliography #named #tutorial #uml

Tutorial: An Overview of UML 2.0 (BS), pp. 741–742.

DAC-2003-Hayes #concept #named #quantum #tutorial

Tutorial: basic concepts in quantum circuits (JPH), p. 893.

VLDB-2003-KoudasS #data type #query #tutorial

Data Stream Query Processing: A Tutorial (NK, DS), p. 1149.

VISSOFT-2003-Ware #interactive #tutorial #visualisation

Thinking with Interactive Visualization (Tutorial/Keynote) (CW), pp. 2–28.

ICSE-2003-Batory #product line #programming #tutorial

A Tutorial on Feature Oriented Programming and Product-Lines (DSB), pp. 753–754.

ICSE-2003-Selic #bibliography #tutorial #uml

Tutorial H2: An Overview of UML 2.0 (BS), pp. 755–756.

CSL-2003-Bouajjani #infinity #tutorial #verification

Verification of Infinite State Systems (Tutorial) (AB), p. 71.

CSL-2003-MoserZ #calculus #tutorial

The Epsilon Calculus (Tutorial) (GM, RZ), p. 455.

CSL-2003-Vorobjov03a #effectiveness #quantifier #tutorial

Effective Quantifier Elimination over Real Closed Fields (Tutorial) (NV), p. 545.

CSL-2003-Walukiewicz #synthesis #tutorial

Winning Strategies and Synthesis of Controllers (Tutorial) (IW), p. 574.

ICLP-2003-BruscoliG #logic programming #proving #tutorial

A Tutorial on Proof Theoretic Foundations of Logic Programming (PB, AG), pp. 109–127.

SIGMOD-2002-GarofalakisGR #data type #mining #query #tutorial

Querying and mining data streams: you only get one look a tutorial (MNG, JG, RR), p. 635.

SIGMOD-2002-Mohan #named #tutorial

Tutorial: application servers and associated technologies (CM), p. 636.

CSEET-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.

CSEET-2002-Kaner #re-engineering #tutorial

Tutorial 4: Issues in Commmercial Law of Interest to Software Engineering Educators (CK), pp. 273–274.

CSEET-2002-PortB #tutorial

Tutorial 1: Introducing Software Economics within SWE Project Courses (DP, BWB), p. 266.

CSEET-2002-TowhidnejadH #education #quality #tutorial

Tutorial 3: Software Quality Across the Curriculum (MT, TBH), pp. 268–272.

FLOPS-2002-BandaDMS #tutorial

To the Gates of HAL: A HAL Tutorial (MJGdlB, BD, KM, PJS), pp. 47–66.

ICGT-2002-BaresiH #graph transformation #perspective #re-engineering #tutorial

Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 402–429.

ICGT-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.

SEKE-2002-SweZJ #named #tutorial

XVCL: a tutorial (SMS, HZ, SJ), pp. 341–349.

ICSE-2002-Kruchten #named #tutorial

Tutorial: introduction to the rational unified process® (PK), p. 703.

ICSE-2002-KruchtenSK #architecture #named #tutorial #uml

Tutorial: describing software architecture with UML (PK, BS, WK), pp. 693–694.

ICSE-2002-Larman #design pattern #named #tutorial

Tutorial: mastering design patterns (CL), p. 704.

CAV-2002-Thomas #game studies #infinity #tutorial #verification

Infinite Games and Verification (Extended Abstract of a Tutorial) (WT), pp. 58–64.

DATE-2001-StaaB #design #embedded #roadmap #tutorial

Embedded tutorial: current trends in the design of automotive electronic systems (PvS, TB), pp. 38–39.

DATE-2001-ZorianPTTPDSMR #embedded #tutorial

Embedded tutorial: TRP: integrating embedded test and ATE (YZ, PP, JPT, ICT, CEP, OPD, JS, PM, WR), pp. 34–37.

ESEC-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.

ICSE-2001-Ran #architecture #concept #tutorial

Tutorial on Fundamental Concepts for Practical Software Architecture (AR), pp. 722–723.

DAC-2000-FotyB #design #modelling #tutorial

MOSFET modeling and circuit design: re-establishing a lost connection (tutorial) (DF, DB), p. 560.

DATE-2000-ZorianNMLSV #tutorial

Tutorial Statement (YZ, MN, PM, DYL, CWHS, KV), p. 66.

PODS-2000-Gupta #information management #research #tutorial

Entrepreneurship for Information Systems Researchers (Abstract of Invited Tutorial) (AG0), p. 195.

PODS-2000-Vardi #constraints #database #tutorial

Constraint Satisfaction and Database Theory: a Tutorial (MYV), pp. 76–85.

SIGMOD-2000-BlakeleyD #data access #named #tutorial

Tutorial: Data Access (JAB, AD), p. 579.

SIGMOD-2000-BratsbergT #design #named #tutorial

Tutorial: Designing an Ultra Highly Available DBMS (SEB, ØT), p. 577.

SIGMOD-2000-ShuklaD #database #named #question #tutorial

Tutorial: LDAP Directory Services — Just Another Database Application? (SS, AD), p. 580.

CSEET-2000-CannonHD #named #process #tutorial

Tutorial: Introduction to the Team Software Process (BC, TBH, JLDH), p. 315–?.

ITiCSE-2000-Wright #design #distance

Distance tutorials in a systems design course (JvW), pp. 105–107.

ICSE-2000-BasiliLSR #tutorial #using

Improving software inspections by using reading techniques (tutorial session) (VRB, OL, FS, IR), p. 836.

ICSE-2000-Batory #architecture #aspect-oriented #product line #reuse #tutorial

Product-line architectures, aspects, and reuse (tutorial session) (DSB), p. 832.

ICSE-2000-Bevan #quality #specification #tutorial

Specifying and measuring quality in use (tutorial session) (NB), p. 819.

ICSE-2000-Curtis00a #lessons learnt #process #tutorial

Software process improvement (tutorial session): best practices and lessons learned (BC), p. 828.

ICSE-2000-GilHK #modelling #tutorial #uml #visual notation

Advanced visual modeling (tutorial session): beyond UML (JYG, JH, SK), p. 833.

ICSE-2000-Gomaa #design #distributed #realtime #tutorial #uml

Designing real-time and distributed applications with the UML (tutorial session) (HG), p. 829.

ICSE-2000-Jalote #tutorial

Moving from ISO9000 to higher levels of the CMM (tutorial session) (PJ), p. 823.

ICSE-2000-KazmanK #architecture #design #tutorial #using

Designing and analyzing software architectures using ABASs (tutorial session) (RK, MK), p. 820.

ICSE-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.

ICSE-2000-LieberherrLM #composition #object-oriented #reuse #tutorial

Building modular object-oriented systems with reusable collaborations (tutorial session) (KJL, DHL, MM), p. 821.

ICSE-2000-LittlewoodS #assessment #concept #reliability #tutorial

Software reliability (tutorial session): basic concepts and assessment methods (BL, LS), p. 831.

ICSE-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.

ICSE-2000-LopesK #aspectj #composition #design #source code #tutorial #using

Improving design and source code modularity using AspectJ (tutorial session) (CVL, GK), p. 825.

ICSE-2000-NordPS #architecture #tutorial #using

Planning realistic schedules using software architecture (tutorial session) (RLN, DJP, DS), p. 824.

ICSE-2000-Picco #comprehension #tutorial

Understanding code mobility (tutorial session) (GPP), p. 834.

ICSE-2000-TakahashiEFG #development #tutorial #using

System development using application services over the Net (tutorial session) (KT, WE, AF, SG), p. 830.

ICSE-2000-Vinoski #corba #tutorial

Introduction to CORBA (tutorial session) (SV), p. 822.

ICSE-2000-Vinoski00a #corba #scalability #tutorial

Scalability issues in CORBA-based systems (tutorial session) (SV), p. 826.

CADE-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.

CADE-2000-Pulman #automation #comprehension #deduction #named #natural language #tutorial

Tutorial: Automated Deduction and Natural Language Understanding (SGP), pp. 509–510.

CADE-2000-Schurmann #framework #logic #named #tutorial

Tutorial: Meta-logical Frameworks (CS), pp. 507–508.

CAV-2000-AbdullaJ #infinity #tutorial #verification

Invited Tutorial: Verification of Infinite-State and Parameterized Systems (PAA, BJ), p. 4.

CAV-2000-Marques-SilvaS #algorithm #automation #design #satisfiability #tutorial

Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation (JPMS, KAS), p. 3.

SAS-1999-Muller-OlmSS #model checking #named #tutorial

Model-Checking: A Tutorial Introduction (MMO, DAS, BS), pp. 330–354.

SAS-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.

ICSE-1999-Fairley #metric #tutorial

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

Tutorial: A Quick Introduction to Software Reliability Modeling (JR), p. 689.

CAV-1999-Sifakis #composition #specification #tutorial

The Compositional Specification of Timed Systems — A Tutorial (JS), pp. 2–7.

DAC-1998-Zorian #tutorial

System-Chip Test Strategies (Tutorial) (YZ), pp. 752–757.

SIGMOD-1998-AdamY #tutorial

Electronic Commerce: Tutorial (NRA, YY), p. 498.

SIGMOD-1998-BerchtoldK #database #tutorial

High-Dimensional Index Structures, Database Support for Next Decade’s Applications (Tutorial) (SB, DAK), p. 501.

SIGMOD-1998-ClossmanSHKPB #database #java #relational #tutorial

Java and Relational Databases: SQLJ (Tutorial) (GC, PS, MH, JK, RP, BB), p. 500.

SIGMOD-1998-KemperKM #database #tutorial

SAP R/3: A Database Application System (Tutorial) (AK, DK, FM), p. 499.

ITiCSE-1998-Ellis98a #multi #tutorial #web

Use of multimedia and World Wide Web resources in a traditional lecture/tutorial environment (poster) (AE), p. 279.

ITiCSE-1998-RoweT #education #named #online #programming #tutorial

VINCE — an on-line tutorial tool for teaching introductory programming (poster) (GR, GT), p. 304.

SAS-1998-Giacobazzi #abstract interpretation #tutorial

A Tutorial on Domain Theory in Abstract Interpretation (RG), pp. 349–350.

CHI-1998-CareyMPL #design #evolution #multi #tutorial

Design Evolution in a Multimedia Tutorial on User-Centered Design (TC, SM, DP, ML), pp. 109–116.

CSCW-1998-FinholtA #summary

Tutorials (Summary) (TAF, MSA), pp. 427–431.

SIGMOD-1997-CareyMN #challenge #database #tutorial

Object-Relational Database Systems: Principles, Products, and Challenges (Tutorial) (MJC, NMM, AN), p. 502.

SIGMOD-1997-ChaudhuriD #tutorial

Data Warehousing and OLAP for Decision Support (Tutorial) (SC, UD), pp. 507–508.

SIGMOD-1997-Kramer #architecture #case study #database #tutorial #web

Databases on the Web: Technologies for Federation Architectures and Case Studies (Tutorial) (RK), pp. 503–506.

SIGMOD-1997-Shasha #case study #lessons learnt #tutorial

Lessons from Wall Street: Case Studies in Configuration, Tuning, and Distribution (Tutorial) (DS), pp. 498–501.

ITiCSE-1997-BurkeV #algorithm #optimisation #search-based #tutorial

A genetic algorithms tutorial tool for numerical function optimisation (EKB, DBV), pp. 27–30.

ICSE-1997-ArdisW #analysis #product line #tutorial

Defining Families: The Commonality Analysis (Tutorial) (MAA, DMW), pp. 649–650.

ICSE-1997-BasiliM #experience #how #tutorial

The Experience Factory: How to Build and Run One (Tutorial) (VRB, FEM), pp. 643–644.

ICSE-1997-BrodmanJ #approach #process #tutorial

A Software Process Improvement Approach Tailored for Small Organizations and Small Projects (Tutorial) (JGB, DLJ), pp. 661–662.

ICSE-1997-Bush #maturity #modelling #process #tutorial

European and American Software Process Maturity Models and Assessments (Tutorial) (MWB), pp. 671–672.

ICSE-1997-Curtis #lessons learnt #process #tutorial

Software Process Improvement: Methods and Lessons Learned (Tutorial) (BC), pp. 624–625.

ICSE-1997-Emmerich #corba #tutorial

An Introduction to OMG/CORBA (Tutorial) (WE), pp. 641–642.

ICSE-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.

ICSE-1997-FischerL #formal method #multi #tutorial

Formal Methods for Broadband and Multimedia Systems (Tutorial) (SF, SL), pp. 665–666.

ICSE-1997-Fowler #analysis #bibliography #design #object-oriented #tutorial

A Survey of Object Oriented Analysis and Design Methods (Tutorial) (MF), pp. 653–654.

ICSE-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.

ICSE-1997-GoelS #data analysis #re-engineering #tutorial

Software Engineering Data Analysis Techniques (Tutorial) (ALG, MS), pp. 667–668.

ICSE-1997-GruhnS #process #tutorial

Software and Business Process Technology (Tutorial) (VG, WS), pp. 639–640.

ICSE-1997-HumphreyO #process #tutorial

The Personal Software Process (PSP): A Full-Day Tutorial (WSH, JWO), pp. 645–646.

ICSE-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.

ICSE-1997-KramerM #architecture #distributed #tutorial

Distributed Software Architectures (Tutorial) (JK, JM), pp. 633–634.

ICSE-1997-Muller #migration #reverse engineering #tutorial

Reverse Engineering Strategies for Software Migration (Tutorial) (HAM), pp. 659–660.

ICSE-1997-Musa #testing #tutorial

Software-Reliability-Engineered Testing Practice (Tutorial) (JDM), pp. 628–629.

ICSE-1997-NuseibehR #requirements #tutorial

Making Requirements Measurable (Tutorial) (BN, SR), pp. 647–648.

ICSE-1997-PerryPV #empirical #tutorial

A Primer on Empirical Studies (Tutorial) (DEP, AAP, LGV), pp. 657–658.

ICSE-1997-Pfleeger #tutorial

Evaluating Software Technology (Tutorial) (SLP), pp. 651–652.

ICSE-1997-PreeS #design pattern #development #object-oriented #tutorial

Design Patterns for Object-Oriented Software Development (Tutorial) (WP, HS), pp. 663–664.

ICSE-1997-Rajlich #comprehension #evolution #legacy #tutorial

Comprehension and Evolution of Legacy Software (Tutorial) (VR), pp. 669–670.

ICSE-1997-SeiterLO #evolution #java #source code #tutorial

Simplifying the Evolution of Java Programs (Tutorial) (LMS, KJL, DO), pp. 655–656.

ICSE-1997-Waldo #java #named #re-engineering #tutorial

Java: A Language for Software Engineering (Tutorial) (JW), p. 630.

ICSE-1997-WiledenK #tutorial

Software Interoperability: Principles and Practice (Tutorial) (JCW, AK), pp. 631–632.

DAC-1996-Rudell #design #logic #named #synthesis #tutorial

Tutorial: Design of a Logic Synthesis System (RLR), pp. 191–196.

KBSE-1996-Jullig #composition #named #tutorial

SPECWARE: Formal Support for Software Composition (Tutorial) (RJ), p. 2.

KBSE-1996-LeeG #collaboration #tutorial #using #web

Developing Collaborative Applications Using the World Wide Web “Shell” (Tutorial) (AL, AG), p. 3.

KBSE-1996-LowryJ #knowledge-based #re-engineering #tutorial

Introduction to Knowledge-Based Software Engineering (Tutorial) (ML, WLJ), p. 1.

ITiCSE-1996-RosbottomM #interactive #web

Interactive tutorials on the World Wide Web (JR, AM), p. 231.

AFP-1996-Hudak96 #music #tutorial

Haskore Music Tutorial (PH), pp. 38–67.

CSCW-1996-BennettK #design #framework #tutorial

Working Through Meetings: A Framework for Designing Meeting Support (Tutorial) (JLB, JK), p. 4.

CSCW-1996-CarrollS #community #network #tutorial

Community Networks (Tutorial) (JC, CS), p. 6.

CSCW-1996-Dewan #collaboration #design #implementation #tutorial

Designing and Implementing Collaborative Applications (Tutorial) (PD), p. 4.

CSCW-1996-FinholtOO #behaviour #evaluation #tutorial

Behavioral Evaluation of CSCW Technologies (Tutorial) (TAF, GMO, JSO), p. 5.

CSCW-1996-FishK #collaboration #network #tutorial #video

Networking for Collaboration: Video Telephony and Media Conferencing (Tutorial) (RSF, REK), p. 6.

CSCW-1996-GrudinPP #bibliography #tutorial

CSCW Overview (Tutorial) (JG, SEP, JFP), p. 3.

CSCW-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.

CSCW-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.

CSCW-1996-JarkeM #information management #research #tutorial

Cooperative Information Systems: A Research Agenda (Tutorial) (MJ, JM), p. 5.

CSCW-1996-LeeG #collaboration #tutorial #using #web

Developing Collaborative Applications Using the World Wide Web Shell (Tutorial) (AL, AG), p. 4.

CSCW-1996-Martial #process #re-engineering #tutorial

Business Process Reengineering and its Role in Developing CSCW Applications (Tutorial) (FvM), p. 6.

CSCW-1996-MillerR #collaboration #tutorial

A Hands-On Introduction to Collaborative Filtering (Tutorial) (BNM, JR), p. 5.

CSCW-1996-PoltrockG #case study #experience #roadmap #tutorial #workflow

CSCW, Groupware and Workflow: Experiences, State of Art and Future Trends (Tutorial) (SEP, JG), p. 3.

CSCW-1996-Post #tutorial

Law in Cyberspace (Tutorial) (DGP), p. 6.

CSCW-1996-RandallR #bound #development #tutorial

Ethnography and Systems Development: Bounding the Intersection (Tutorial) (DR, MR), p. 5.

CSCW-1996-Waldo #collaboration #java #programming #tutorial #using

Using the Java Programming Environment to Build Collaborative Applications (Tutorial) (JW), p. 3.

CSCW-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.

SAC-1996-MengelA #network #protocol #tutorial

A network protocol analyzer with tutorial (SM, SA), pp. 115–119.

PODS-1995-Kanellakis #constraints #database #programming #tutorial

Constraint Programming and Database Languages: A Tutorial (PCK), pp. 46–53.

SIGMOD-1995-Faloutsos #database #multi #tutorial

Indexing Multimedia Databases (Tutorial) (CF), p. 467.

SIGMOD-1995-MattosM #bibliography #sql #standard #tutorial

An Overview of the Emerging Third-Generation SQL Standard (Tutorial) (NMM, JM), p. 468.

SIGMOD-1995-Sheth #automation #research #tutorial #workflow

Workflow Automation: Applications, Technology, and Research (Tutorial) (APS), p. 469.

CAV-1995-Emerson #calculus #model checking #tutorial #μ-calculus

Methods for μ-calculus Model Checking: A Tutorial (Abstract) (EAE), p. 141.

ILPS-1995-Kuchen #functional #implementation #logic programming #tutorial

Implementation Issues for Functional Logic Programming (Tutorial Abstract) (HK), pp. 612–613.

ILPS-1995-Millroth #parallel #trade-off #tutorial

Tradeoffs Explicit and Omplicit Parallelism (Tutorial Abstract) (HM), p. 614.

ILPS-1995-Moss #logic #tutorial

Logic and Objects (Tutorial Abstract) (CM), pp. 609–611.

ILPS-1995-SchreyeLM #tutorial

Tutorial on Program Specialisation (Abstract) (DDS, ML, BM), pp. 615–616.

PODS-1994-Agrawal #database #mining #tutorial

Tutorial Database Mining (RA), pp. 75–76.

PODS-1994-Gonnet #database #experience #named #tutorial

Tutorial: Text Dominated Databases, Theory Practice and Experience (GHG), pp. 301–302.

PODS-1994-Tannen #named #tutorial

Tutorial: Languages for Collection Types (VT), pp. 150–154.

CSEE-1994-Paulk #maturity #tutorial

The Capability Maturity Model for Software: A Tutorial (MCP), p. 601.

CHI-1994-LemaireM94a #interface #tutorial #visual notation

An improved interface for tutorial dialogues: browsing a visual dialogue history (BL, JDM), pp. 16–22.

SAC-1994-RuizSG #tutorial

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 #tutorial

A Tutorial on Synthesis of Logic Programs from Specifications (KKL, GAW), pp. 11–14.

KBSE-1993-Johnson #bibliography #knowledge-based #re-engineering #tutorial

A Survey of Knowledge-Based Software Engineering (Tutorial) (WLJ), p. 1.

KBSE-1993-Scacchi #approach #knowledge-based #process #tutorial

A Knowledge-Based Approach To Software Process Engineering (Tutorial) (WS), p. 3.

KBSE-1993-Smith #algorithm #named #synthesis #tutorial

KIDS: An Algorithm Synthesis System (Tutorial) (DRS), p. 2.

PEPM-1993-Gallagher #logic programming #source code #tutorial

Tutorial on Specialisation of Logic Programs (JPG), pp. 88–98.

POPL-1993-ConselD #partial evaluation #tutorial

Tutorial Notes on Partial Evaluation (CC, OD), pp. 493–501.

POPL-1993-Reynolds #logic #morphism #parametricity #polymorphism #tutorial

An Introduction to Logical Relations and Parametric Polymorphism — Tutorial (JCR), pp. 155–156.

DAC-1992-HillD #design #tutorial

FPGA Design Principles (A Tutorial) (DDH, ED), pp. 45–46.

DAC-1992-Langeler #design #tutorial

Directions to Watch in Design Technology (Tutorial Abstract) (GL), p. 298.

KBSE-1992-Setliff #automation #programming #tutorial

Automatic Programming (Tutorial) (DES), p. 2.

KBSE-1992-SolderitschY #knowledge base #reuse #tool support #tutorial

Knowledge Based Software Reuse Methods and Tools: DoD STARS RLF Technology (Tutorial) (JS, DY), p. 1.

HPDC-1992-Berra #information management #multi #tutorial

Tutorial II: Multimedia Information Systems (PBB), p. 283.

HPDC-1992-Sunderam #network #paradigm #tool support #tutorial

Tutorial I: Paradigms and Tools for Heterogeneous Network Computing (VSS), p. 282.

HPDC-1992-Wittie #distributed #memory management #tutorial

Tutorial III: Distributed Shared Memory Systems (LDW), p. 284.

JICSLP-1992-Overbeek #analysis #logic programming #search-based #sequence #tutorial

Logic Programming and Genetic Sequence Analysis: a Tutorial (RAO), pp. 32–34.

JICSLP-1992-Tick #concurrent #logic programming #tutorial

Advanced Tutorial: Concurrent Logic Programming (ET), p. 25.

JICSLP-1992-Troelstra #linear #logic #tutorial

Tutorial on Linear Logic (AST), pp. 30–31.

VDME-1991-2-Airchinnigh #tutorial

Tutorial on the Irish School of the VDM (MMaA), pp. 141–237.

VDME-1991-2-George #specification #tutorial

The RAISE Specification Langiage: A Tutorial (CG), pp. 238–319.

VDME-1991-2-GuttagH #interface #tutorial

A Tutorial on LARCH and LCL, A LARCH/C Interface Language (JVG, JJH), pp. 1–78.

VDME-1991-2-Woodcock #calculus #refinement #tutorial

A Tutorial on the Refinement Calculus (JW), pp. 79–140.

ICLP-1991-Miller91a #logic #logic programming #tutorial

Logics for Logic Programming: A Tutorial (DM), p. 911.

GG-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.

CADE-1990-FeltyGMP #prolog #tutorial #λ-calculus

Tutorial on Lambda-Prolog (APF, ELG, DM, FP), p. 682.

CADE-1990-HsiangJ #proving #theorem proving #tutorial

Tutorial on Rewrite-Based Theorem Proving (JH, JPJ), p. 684.

CADE-1990-Kirchner #equation #tutorial #unification

Tutorial on Equational Unification (CK), p. 682.

CADE-1990-LuskM #automation #proving #theorem proving #tutorial

Tutorial on High-Performance Automated Theorem Proving (ELL, WM), p. 681.

CADE-1990-MullerBNNS #concept #reasoning #representation #tutorial

Tutorial on Reasoning and Representation with Concept Languages (JM, FB, BN, WN, GS), p. 681.

CADE-1990-OhlbachH #compilation #logic #tutorial

Tutorial on Compilation techniques for Logics (HJO, AH), p. 683.

CADE-1990-PritchardS #logic #modelling #tutorial

Tutorial on Computing Models of Propositional Logics (PP, JKS), p. 685.

CADE-1990-SchumannLK #implementation #parallel #performance #proving #theorem proving #tutorial

Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation (JS, RL, FJK), p. 683.

CADE-1990-Waldinger #deduction #tutorial

Tutorial on Program-Synthetic Deduction (RJW), p. 684.

CHI-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.

DAC-1988-McFarlandPC #synthesis #tutorial

Tutorial on High-Level Synthesis (MCM, ACP, RC), pp. 330–336.

DAC-1988-Whalen #automation #design #tutorial

Automating the Design of Electronic Packaging (tutorial) (BW), p. 81.

LFP-1988-SussmanH #abstraction #named #tutorial

Tutorial: Abstraction in Numerical Methods (GJS, MH), pp. 1–7.

DAC-1987-Parks #analysis #design #named #tutorial

Tutorial: Reading and Reviewing the Common Schema for Electrical Design and Analysis (CHP), pp. 479–483.

VDME-1987-Airchinnigh87a #tutorial

Introduction to the VDM Tutorial (MMaA), pp. 356–361.

DAC-1986-BirminghamJK #tutorial

Knowlege-based expert systems and their application (tutorial session (WPB, RJ, JK), pp. 531–539.

DAC-1986-Eurich #design #tutorial

A tutorial introduction to the electronic design interchange format (tutorial session) (JPE), pp. 327–333.

DAC-1986-HancockD #automation #design #parallel #tutorial

Tutorial on parallel processing for design automation applications (tutorial session) (JMH, SD), pp. 69–77.

DAC-1986-PreasK #automation #bibliography #tutorial

Automatic placement a review of current techniques (tutorial session) (BP, PGK), pp. 622–629.

GG-1986-Ehrig #algebra #approach #graph grammar #tutorial

Tutorial introduction to the algebraic approach of graph grammars (HE), pp. 3–14.

CRAI-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.

DAC-1985-Cho #bibliography #tutorial

A subjective review of compaction (tutorial session) (YEC), pp. 396–404.

DAC-1985-CollinsK #programmable #tutorial

The impact of technological advances on programmable controller s(tutorial session) (RPC, WJK), pp. 498–502.

DAC-1985-Frome #tutorial #video

Course, video, and manual dexterity (tutorial): tailoring training to CAD users (FSF), pp. 226–231.

DAC-1985-Grinthal #assurance #quality #tutorial

Software quality assurance for CAD (tutorial) (ETG), pp. 555–561.

DAC-1985-LowensteinW #standard #tutorial

Importance of standards (tutorial session) (AL, GW), pp. 88–93.

DAC-1985-Simmons #design #prototype #tutorial #verification

Early verification of prototype tooling for IC designs (tutorial) (JPSJ), p. 161.

DAC-1985-TaylorBS #design #layout #lessons learnt #tutorial

Layout design-lessons from the Jedi designer (tutorial session) (SLT, RB, TS), p. 337.

DAC-1985-Tucker #evolution #tutorial

Electronic CAD/CAM-is it revolution or evolution (tutorial session) (BWT), pp. 830–834.

DAC-1984-Scott #design #named #process #tutorial

Tutorial — mechanical workstation software computer aided engineering in the mechanical design process (JS), p. 605.

DAC-1983-Haynie #automation #design #named #relational #tutorial

Tutorial: The relational data model for Design Automation (MNH), pp. 599–607.

DAC-1983-Prasad #named #tutorial

Tutorial — Group Technology (HRP), p. 128.

DAC-1980-CoryC #correctness #design #tutorial #verification

Developments in verification of design correctness (A Tutorial) (WEC, WMvC), pp. 156–164.

VLDB-1979-Date #database #programming #tutorial

Locking and Recovery in a Shared Database System: An Application Programming Tutorial (CJD), pp. 1–15.

VDM-1978-Bjorner #metalanguage #programming #tutorial

Programming in the META-Language: A Tutorial (DB), pp. 24–217.

VDM-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.

GG-1978-Nagl #bibliography #graph grammar #tutorial

A Tutorial and Bibliographical Survey on Graph Grammars (MN), pp. 70–126.

ICSE-1978-King #tutorial #verification

Prospects for Program Verification (Tutorial) (JCK), p. 71.

DAC-1977-Smith77a #automation #design #re-engineering #tutorial

Software engineering techniques in design automation&madash;a tutorial (RJSI), pp. 495–507.

VLDB-1975-Kerr #tutorial

Recent Results on the Attribute Based Data Model — A Tutorial (DSK), pp. 526–528.

DAC-1973-Hightower #problem #tutorial

The interconnection problem — a tutorial (DWH), pp. 1–21.

SIGFIDET-1971-Codd71a #data type #normalisation #tutorial

Normalized Data Structure: A Brief Tutorial (EFC), pp. 1–17.