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 (33)
tutori (23)
program (21)
product (17)
line (17)

Stem introduct$ (all stems)

222 papers:

DACDAC-2015-Hayes #challenge #probability
Introduction to stochastic computing and its challenges (JPH), p. 3.
DACDAC-2015-PalerD #fault tolerance #quantum
An introduction into fault-tolerant quantum computing (AP, SJD), p. 6.
DATEDATE-2015-FrancqF #detection #hardware
Introduction to hardware trojan detection methods (JF, FF), pp. 770–775.
PEPMPEPM-2015-LiT #concurrent #slicing
Safe Concurrency Introduction through Slicing (HL, SJT), pp. 103–113.
SFMSFM-2015-CoppoDPY #multi
A Gentle Introduction to Multiparty Asynchronous Session Types (MC, MDC, LP, NY), pp. 146–178.
SIGIRSIGIR-2015-ChuklinMR15a #modelling #tutorial #web
An Introduction to Click Models for Web Search: SIGIR 2015 Tutorial (AC, IM, MdR), pp. 1113–1115.
SACSAC-2015-FernandezAQVFZC #multi #off the shelf
Introduction to partial time composability for COTS multicores (GF, JA, EQ, TV, LF, MZ, FJC), pp. 1955–1956.
SACSAC-2015-SousaS #domain-specific language #simulation #tool support
A domain specific language for spatial simulation scenarios (DSL3S): introduction and tool support (LdS, ARdS), pp. 1854–1856.
ICSEICSE-v2-2015-Inozemtseva #comprehension #fault #process
Understanding the Software Fault Introduction Process (LI), pp. 843–846.
DATEDATE-2014-RuhrmairS #bibliography #modelling #perspective
PUF modeling attacks: An introduction and overview (UR, JS), pp. 1–6.
CSEETCSEET-2014-Ackerman #learning #re-engineering
An active learning module for an introduction to software engineering course (AFA), pp. 190–191.
ITiCSEITiCSE-2014-PiccioniEM #programming
SPOC-supported introduction to programming (MP, HCE, BM), pp. 3–8.
TFPIETFPIE-2014-Winter #authentication #functional #named #programming language
Bricklayer: An Authentic Introduction to the Functional Programming Language SML (VLW), pp. 33–49.
LISPILC-2014-Cooper #knowledge base #lisp
A Gentle Introduction to Gendl®, a Common Lisp-based Knowledge Based Engineering Environment (DC), p. 6.
CHICHI-2014-ForteAPW #design #information management
Designing information savvy societies: an introduction to assessability (AF, NA, THP, HWF), pp. 2471–2480.
HCIDUXU-DP-2014-ChapmanP #effectiveness #maturity #user interface
A UX Maturity Model: Effective Introduction of UX into Organizations (LC, SP), pp. 12–22.
ICEISICEIS-v2-2014-BarretoFSJ #formal method #petri net #using
A Straightforward Introduction to Formal Methods Using Coloured Petri Nets (FMB, JCJdF, MSS, SJ), pp. 145–152.
SACSAC-2014-HusemannR #multi #predict #scalability #video
Introduction of a multi-layer predictive search strategy for scalable video coding (RH, VR), pp. 985–986.
DocEngDocEng-2013-Barabucci
Introduction to the universal delta model (GB), pp. 47–56.
ITiCSEITiCSE-2013-LiLMZ #programming #question
Introduction to programming: science or art? (TL, WL, XM, HZ), p. 324.
CEFPCEFP-2013-AchtenKP #programming
An Introduction to Task Oriented Programming (PA, PWMK, RP), pp. 187–245.
HCIHIMI-LCCB-2013-NarumiKHATH #approach
Digital Railway Museum: An Approach to Introduction of Digital Exhibition Systems at the Railway Museum (TN, TK, TH, KA, TT, MH), pp. 238–247.
SPLCSPLC-2013-Donohoe #product line
Introduction to software product lines (PD), p. 274.
SPLCSPLC-2013-NorthropJ #product line
Introduction to software product lines adoption (LMN, LGJ), p. 286.
CSEETCSEET-2012-BareissS
A Gentle Introduction to Learn by Doing (RB, TS), pp. 81–84.
ITiCSEITiCSE-2012-ChorH #topic
CS1001.py: a topic-based introduction to computer science (BC, RH), pp. 215–220.
SFMSFM-2012-BroschKLSWW #version control
An Introduction to Model Versioning (PB, GK, PL, MS, KW, MW), pp. 336–398.
ICPRICPR-2012-NafchiK #dataset #image #representation
Rectangular based binary image representation: Theory, applications, and dataset introduction (HZN, HRK), pp. 190–193.
RecSysRecSys-2012-Kohavi #online #statistics
Online controlled experiments: introduction, learnings, and humbling statistics (RK), pp. 1–2.
LOPSTRLOPSTR-2012-SchrijversTWSS #combinator
An Introduction to Search Combinators (TS, GT, PW, HS, PJS), pp. 2–16.
CASECASE-2011-Soressi #industrial #safety
Introduction of safety rule IEC EN62061 in Metal Industry (ES), pp. 195–200.
DocEngDocEng-2011-PortierC #documentation #multi #process
Introduction of a dynamic assistance to the creative process of adding dimensions to multistructured documents (PEP, SC), pp. 167–170.
DRRDRR-2011-MaronezeCL #documentation #image #recognition #statistics
Introduction of statistical information in a syntactic analyzer for document image recognition (AOM, BC, AL), pp. 1–10.
ITiCSEITiCSE-2011-CamachoM #learning #programming
Facilitating learning dynamic programming through a previous introduction of exhaustive search (AC, AM), p. 355.
SCAMSCAM-J-2009-Ross11 #editing #quality
Guest Editor’s Introduction to the Special Section on the 2009 Software Quality Management conference (MR), pp. 379–380.
WCREWCRE-2011-NonnenSI #research #source code
Locating the Meaning of Terms in Source Code Research on “Term Introduction” (JN, DS, PI), pp. 99–108.
ICALPICALP-v2-2011-Shaltiel
An Introduction to Randomness Extractors (RS), pp. 21–41.
SFMSFM-2011-SteffenHM #automaton #learning #perspective
Introduction to Active Automata Learning from a Practical Perspective (BS, FH, MM), pp. 256–296.
AdaSIGAda-2011-Feldman #ada
Introduction to Ada (MF), pp. 9–10.
ICEISICEIS-v2-2011-Hu #enterprise
Business “Blood Circulation” — A Brief Introduction on the Construction Enterprise Cash Flow Management (YH), pp. 307–310.
SPLCSPLC-2011-Donohoe #product line
Introduction to Software Product Lines (PD), p. 350.
SPLCSPLC-2011-NorthropJ #product line
Introduction to Software Product Lines Adoption (LMN, LGJ), p. 359.
FoSSaCSFoSSaCS-2010-Stirling #decidability #higher-order
Introduction to Decidability of Higher-Order Matching (CS), p. 1.
SEKESEKE-2010-SieglGH #modelling #testing #variability
Introduction of Time and Timing Variability in Usage Model based Testing (SS, RG, KSJH), pp. 61–66.
SIGIRSIGIR-2010-Lavrenko #information retrieval #modelling #probability
Introduction to probabilistic models in IR (VL), p. 905.
MODELSMoDELS-v2-2010-MorinKKJ #aspect-oriented #flexibility #modelling #policy
Flexible Model Element Introduction Policies for Aspect-Oriented Modeling (BM, JK, JK, JMJ), pp. 63–77.
PADLPADL-2010-Marti-Oliet #maude
An Introduction to Maude and Some of Its Applications (NMO), pp. 4–9.
RERE-2010-CalleleNS #experience #requirements
An Introduction to Experience Requirements (DC, EN, KS), pp. 395–396.
SACSAC-2010-MengB #component #towards
Towards the introduction of QoS information in a component model (SM, LSB), pp. 2045–2046.
SPLCSPLC-2010-Northrop #product line
Introduction to Software Product Lines (LMN), pp. 521–522.
SPLCSPLC-2010-NorthropJ #product line
Introduction to Software Product Lines Adoption (LMN, LGJ), pp. 519–520.
IFMIFM-2009-LammelZ #convergence
An Introduction to Grammar Convergence (RL, VZ), pp. 246–260.
HCIHCD-2009-SanchezZG #development #game studies #process #usability #video
From Usability to Playability: Introduction to Player-Centred Video Game Development Process (JLGS, NPZ, FLG), pp. 65–74.
AdaSIGAda-2009-Brosgol #c# #dot-net #framework
An introduction to the C# language and .NET infrastructure (BB), pp. 3–4.
AdaSIGAda-2009-Feldman #ada
Introduction to Ada (MBF), pp. 1–2.
CAiSECAiSE-2009-Ghazarian #case study #fault
A Case Study of Defect Introduction Mechanisms (AG), pp. 156–170.
ICEISICEIS-J-2009-StruskaP #named #testing
BORM-points: Introduction and Results of Practical Testing (ZS, RP), pp. 590–599.
KDDKDD-2009-Wasserman #network #statistics
Network science: an introduction to recent statistical approaches (SW), pp. 9–10.
ECOOPECOOP-2009-Vitek #object-oriented
Introduction to: The Myths of Object-Orientation (JV), p. 618.
GTTSEGTTSE-2009-Borba #product line #refactoring
An Introduction to Software Product Line Refactoring (PB), pp. 1–26.
GTTSEGTTSE-2009-JorgesSM #code generation #tutorial
Building Code Generators with Genesys: A Tutorial Introduction (SJ, BS, TMS), pp. 364–385.
SPLCSPLC-2009-Donohoe #product line
Introduction to software product lines (PD), p. 305.
SPLCSPLC-2009-NorthropJ #product line
Introduction to software product line adoption (LMN, LGJ), p. 313.
SIGMODSIGMOD-2008-Konstan #recommendation
Introduction to recommender systems (JAK), pp. 1373–1374.
CSEETCSEET-2008-ThompsonE #bibliography #experience #student
Overview and Introduction to the Workshop: The Roles of Student Projects and Work Experience in Undergraduate and Taught Postgraduate Programmes (JBT, HME), pp. 267–270.
ITiCSEITiCSE-2008-Rubio-Sanchez #combinator #equivalence #problem
An introduction to problem equivalence with combinatorics (MRS), p. 313.
ITiCSEITiCSE-2008-Rubio-SanchezUP #recursion
A gentle introduction to mutual recursion (MRS, JUF, CPF), pp. 235–239.
CSMRCSMR-2008-Retalis #industrial
Industrial Track Session — Introduction (SR), p. 307.
SFMSFM-2008-Zavattaro #automaton #probability
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form (GZ), pp. 507–523.
ICGTICGT-2008-Heckel #graph transformation #tutorial
Tutorial Introduction to Graph Transformation (RH), pp. 458–459.
AdaSIGAda-2008-Feldman #ada #named
SF1: introduction to ada (MBF), pp. 1–2.
EDOCEDOC-2008-Gitzel #industrial
Introduction to Service Issues in Industrial IT Infrastructures (RG).
BXBX-2008-Kato1
Introduction to UnQL+ (HK), p. 42.
RERE-2008-Rashid #aspect-oriented #requirements
Aspect-Oriented Requirements Engineering: An Introduction (AR), pp. 306–309.
SPLCSPLC-2008-Donohoe #product line
Introduction to Software Product Lines (PD), p. 370.
SPLCSPLC-2008-NorthropJ #product line
Introduction to Software Product Line Adoption (LMN, LGJ), pp. 371–372.
WICSAWICSA-2007-BassN #architecture #effectiveness
An Introduction to Effectively Evaluating Software Architectures (LB, RLN), p. 34.
SFMSFM-2007-Balbo #petri net #probability
Introduction to Generalized Stochastic Petri Nets (GB), pp. 83–131.
SFMSFM-2007-Smith #performance #problem
Introduction to Software Performance Engineering: Origins and Outstanding Problems (CUS), pp. 395–428.
CEFPCEFP-2007-CsornyeiD #λ-calculus
An Introduction to the λ Calculus (ZC, GD), pp. 87–111.
CEFPCEFP-2007-PlasmeijerAK #interactive #web
An Introduction to iTasks: Defining Interactive Work Flows for the Web (RP, PA, PWMK), pp. 1–40.
HCIHCI-MIE-2007-ChakavehB #convergence
Media Convergence, an Introduction (SC, MB), pp. 811–814.
GTTSEGTTSE-2007-ChellappaFP #how #performance
How to Write Fast Numerical Code: A Small Introduction (SC, FF, MP), pp. 196–259.
GTTSEGTTSE-2007-HirschfeldCH #programming
An Introduction to Context-Oriented Programming with ContextS (RH, PC, MH), pp. 396–407.
GTTSEGTTSE-2007-Taha #multi #programming
A Gentle Introduction to Multi-stage Programming, Part II (WT), pp. 260–290.
CASECASE-2006-JangC #automation
Introduction to Automated Material Handling Systems in LCD Panel Production Lines (YJJ, GHC), pp. 223–229.
ITiCSEITiCSE-2006-MarkovR #data mining #mining
An introduction to the WEKA data mining system (ZM, IR), pp. 367–368.
ITiCSEITiCSE-2006-Radenski #python #quote
“Python first”: a lab-based digital introduction to computer science (AR), pp. 197–201.
SFMSFM-2006-ClaessenR #evaluation
An Introduction to Symbolic Trajectory Evaluation (KC, JWR), pp. 56–77.
ICEISICEIS-ISAS-2006-QueirosR #approach #information management #social
Structured Approach for the Introduction of Information Services into the Private Social Solidarity Institutions (AQ, NPdR), pp. 343–348.
CIKMCIKM-2006-MokhtaripourJ
Introduction to a new Farsi stemmer (AM, SJ), pp. 826–827.
SACSAC-2006-DjelloulD #constraints #finite #first-order #formal method #infinity
Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories (KD, TBHD), pp. 7–14.
SPLCSPL-BOOK-2006-Mansell #case study #experience #reuse
Experiences and Expectations Regarding the Introduction of Systematic Reuse in Small- and Medium-Sized Companies (JXM), pp. 91–124.
SPLCSPLC-2006-Berenbach #product line #requirements
Introduction to Product Line Requirements Engineering (BB), p. 215.
SPLCSPLC-2006-Donohoe #product line
Introduction to Software Product Lines (PD), p. 217.
SPLCSPLC-2006-NorthropJ #product line
Introduction to Software Product Line Adoption (LMN, LGJ), p. 222.
ICLPICLP-2006-WittocxVMDB #semantics
Predicate Introduction Under Stable and Well-Founded Semantics (JW, JV, MM, MD, MB), pp. 242–256.
CASECASE-2005-AlenljungL #graph #modelling
Simplified modeling of manufacturing systems: an introduction to sensor activation graphs (TA, BL), pp. 261–266.
ICALPICALP-2005-CastagnaF #semantics #type system
A Gentle Introduction to Semantic Subtyping (GC, AF), pp. 30–34.
SFMSFM-2005-MontanariP #automaton
History-Dependent Automata: An Introduction (UM, MP), pp. 1–28.
PPDPPPDP-2005-CastagnaF #semantics #type system
A gentle introduction to semantic subtyping (GC, AF), pp. 198–199.
ICSEICSE-2005-GriswoldN #research
Introduction to Research Papers (WGG, BN), p. 48.
ICSEICSE-2005-HeitmeyerP #case study #experience
Introduction to the experience reports track (CLH, KP), p. 480.
ICSEICSE-2005-InverardiJ #education
Introduction to education and training track (PI, MJ), p. 606.
DACDAC-2004-BiswasCAPID #memory management #set
Introduction of local memory elements in instruction set extensions (PB, VC, KA, LP, PI, ND), pp. 729–734.
CSEETCSEET-2004-Cowling #re-engineering
The Crossover Project as an Introduction to Software Engineering (AJC), pp. 12–17.
CSEETCSEET-2004-Endicott-PopovskyF #agile #assurance #case study #education #re-engineering
A Case Study in Rapid Introduction of an Information Assurance Track into a Software Engineering Curriculum (BEP, DAF), pp. 118–123.
IFMIFM-2004-WoodcockC #design #programming #tutorial
A Tutorial Introduction to Designs in Unifying Theories of Programming (JW, AC), pp. 40–66.
ICGTICGT-2004-BaresiH #graph transformation #perspective #re-engineering #tutorial
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 431–433.
CSCWCSCW-2004-BrignullIFRR #interactive
The introduction of a shared interactive surface into a communal space (HB, SI, GF, YR, TR), pp. 49–58.
ICPRICPR-v2-2004-BouchaffraT #concept #design #mining
Introduction to the Concept of Structural HMM: Application to Mining Customers’ Preferences in Automotive Design (DB, JT), pp. 493–496.
ICSEICSE-2004-Knight #dependence
An Introduction to Computing System Dependability (JCK), pp. 730–731.
SPLCSPLC-2004-NorthropC #product line
An Introduction to Software Product Lines (LMN, PCC), p. 322.
DATEDATE-2003-YooJ #abstraction #hardware
Introduction to Hardware Abstraction Layers for SoC (SY, AAJ), pp. 10336–10337.
ICGTICGT-2002-BaresiH #graph transformation #perspective #re-engineering #tutorial
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 402–429.
ICEISICEIS-2002-GhasemiyehL
Introduction to Information Technology and its Effects on Organisational Control (RG, FL), pp. 1122–1125.
SEKESEKE-2002-CanonicoDFRV #legacy #on the #quality
On the introduction of quality of service awareness in legacy ditributed applications (RC, MD, BF, SPR, GV), pp. 659–664.
SEKESEKE-2002-KarlstromR #programming
Decision support for extreme programming introduction and practice selection (DK, PR), pp. 835–841.
ICSEICSE-2002-Kruchten #named #tutorial
Tutorial: introduction to the rational unified process® (PK), p. 703.
ICSEICSE-2002-Newkirk #agile #process #programming
Introduction to agile processes and extreme programming (JN), pp. 695–696.
SPLCSPLC-2002-SimonE #product line
Evolutionary Introduction of Software Product Lines (DS, TE), pp. 272–282.
SASSAS-2001-BertranBCN #communication #concurrent #imperative #parallel #source code
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs (MB, FXB, AC, MN), pp. 20–39.
DLTDLT-2001-Thomas #automaton #infinity
A Short Introduction to Infinite Automata (WT), pp. 130–144.
VISSOFTSVIS-2001-Diehl
Future Perspectives — Introduction (SD0), pp. 347–353.
VISSOFTSVIS-2001-Domingue #education #visualisation
Software Visualization and Education — Introduction (JD), pp. 205–212.
VISSOFTSVIS-2001-KerrenS #algorithm #animation
Algorithm Animation — Introduction (AK, JTS), pp. 1–15.
VISSOFTSVIS-2001-MiliS #re-engineering
Software Engineering — Introduction (RM, RS), pp. 129–137.
VISSOFTSVIS-2001-MutzelE #graph #visualisation
Graphs in Software Visualization — Introduction (PM, PE), pp. 285–294.
ICSEICSE-2001-BachmannB #design
Introduction to the Attribute Driven Design Method (FB, LJB), pp. 745–746.
ICSEICSE-2001-White #java
An Introduction to Java 2 Micro Edition (J2ME); Java in Small Things (JW), pp. 724–725.
CSEETCSEET-2000-CannonHD #named #process #tutorial
Tutorial: Introduction to the Team Software Process (BC, TBH, JLDH), p. 315–?.
FASEFASE-2000-PadbergHG #algebra #safety
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems (JP, KH, MG), pp. 249–265.
WCREWCRE-2000-HoltW
A Short Introduction to the GXL Software Exchange Format (RCH, AW), p. 299–?.
TOOLSTOOLS-EUROPE-2000-HolmesL #concurrent #java #object-oriented #programming
Introduction to Concurrent Object-Oriented Programming in Java (DH, DL), p. 457.
TOOLSTOOLS-EUROPE-2000-KleppeW00a #constraints #ocl
An Introduction to the Object Constraint Language (OCL) (AK, JW), p. 456.
TOOLSTOOLS-USA-2000-MorabitoSB #information management
An Introduction to Knowledge Binding (JM, IS, AB), pp. 543–548.
TOOLSTOOLS-USA-2000-NebeshT00a #mobile
Introduction to Mobile Agent Systems and Applications (DN, RT), pp. 457–458.
ICSEICSE-2000-NishiyamaIN #effectiveness
Technology transfer macro-process: a practical guide for the effective introduction of technology (TN, KI, TN), pp. 577–586.
ICSEICSE-2000-Vinoski #corba #tutorial
Introduction to CORBA (tutorial session) (SV), p. 822.
ICSMEICSM-1999-CinneideN #automation #design pattern
A Methodology for the Automated Introduction of Design Patterns (MÓC, PN), p. 463–?.
SASSAS-1999-Muller-OlmSS #model checking #named #tutorial
Model-Checking: A Tutorial Introduction (MMO, DAS, BS), pp. 330–354.
HCIHCI-CCAD-1999-NiwaT
An introduction of the accident recovery by the agent in nuclear power plants (YN, MT), pp. 357–361.
TOOLSTOOLS-EUROPE-1999-Henderson-Sellers99b #uml
Introduction to the OPEN Method with UML (BHS), p. 399.
TOOLSTOOLS-EUROPE-1999-WarmerK #ocl
Introduction to OCL (JW, AK), p. 405.
TOOLSTOOLS-USA-1999-Henderson-Sellers99a #uml
Introduction to the OPEN Method with UML (BHS), p. 504.
ICSEICSE-1999-Rosenberg #modelling #named #reliability #tutorial
Tutorial: A Quick Introduction to Software Reliability Modeling (JR), p. 689.
ITiCSEITiCSE-1998-Holliday #network
A Web-based introduction to computer networks (poster) (MAH), p. 282.
AFPAFP-1998-BackhouseJJM98 #programming
Generic Programming: An Introduction (RCB, PJ, JJ, LGLTM), pp. 28–115.
TOOLSTOOLS-ASIA-1998-SchulzGMZ #design pattern #object-oriented #on the
On the Computer Aided Introduction of Design Pattern into Object-Oriented Systems (BS, TG, BM, WZ), pp. 258–267.
TOOLSTOOLS-USA-1998-Mitchell #analysis #constraints #contract #ocl #uml
Analysis by Contract: An Introduction to UML’s Object Constraint Language (OCL) (RM), p. 448–?.
REICRE-1998-FowlerCM #empirical #requirements
Transition Packages: An Experiment in Expediting the Introduction of Requirements Management (PJF, ADC, BM), p. 138–?.
ICSEICSE-1998-MahonyD #csp
Blending Object-Z and Timed CSP: An Introduction to TCOZ (BPM, JSD), pp. 95–104.
ISMMISMM-1998-Tofte
A Brief Introduction to Regions (MT), pp. 186–195.
ITiCSEITiCSE-WGR-1997-DagdilelisS #programming #using
Using Emil Post’s machine for an introduction to formal programming (poster) (VD, MS), p. 147.
TACASTACAS-1997-Jensen #petri net
A Brief Introduction to Coloured Petri Nets (KJ), pp. 203–208.
TOOLSTOOLS-PACIFIC-1997-Outhred
Introduction to COM (GHO), p. 353.
TOOLSTOOLS-PACIFIC-1997-Thomas #modelling
Introduction to the Unified Modeling Language (RT), p. 354.
ICSEICSE-1997-Emmerich #corba #tutorial
An Introduction to OMG/CORBA (Tutorial) (WE), pp. 641–642.
ICLPILPS-1997-Kifer #logic #transaction
Transaction Logic: An Introduction (Abstract) (MK), pp. 47–48.
ASEKBSE-1996-LowryJ #knowledge-based #re-engineering #tutorial
Introduction to Knowledge-Based Software Engineering (Tutorial) (ML, WLJ), p. 1.
ITiCSEITiCSE-1996-Miller #video
Mistakes to avoid in the introduction of compressed video (JEM), pp. 150–152.
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-MillerR #collaboration #tutorial
A Hands-On Introduction to Collaborative Filtering (Tutorial) (BNM, JR), p. 5.
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.
ICPRICPR-1996-RitterS #network
An introduction to morphological neural networks (GXR, PS), pp. 709–717.
CADECADE-1996-ChouGZ #geometry
An Introduction to Geometry Expert (SCC, XSG, JZZ), pp. 235–239.
AdaEuropeAdaEurope-1995-Simoens #analysis #design #development #lifecycle #metric #object-oriented
The Introduction of an Object-Oriented Analysis/Design Method and Object-Oriented Metrics in the Software Development Life-Cycle (RS), pp. 271–283.
DATEEDAC-1994-RohfleischB #logic #optimisation
Introduction of Permissible Bridges with Application to Logic Optimization after Technology Mapping (BR, FB), pp. 87–93.
ICMLICML-1994-HsuK #optimisation #query #semantics
Rule Introduction for Semantic Query Optimization (CNH, CAK), pp. 112–120.
TOOLSTOOLS-EUROPE-1994-Dittrich #database #object-oriented
Introduction to Object-Oriented Database Management Systems (KRD), p. 537.
SACSAC-1994-Arango #analysis
A brief introduction to domain analysis (GA), pp. 42–46.
SACSAC-1994-Goblirsch #haskell
An introduction to Haskell with applications to digital signal processing (DMG), pp. 425–430.
DLTDLT-1993-EhrenfeuchtHPR #context-free grammar
An Introduction to Context-free Text Grammars (AE, HJH, PtP, GR), pp. 357–369.
TOOLSTOOLS-PACIFIC-1993-Adam
An Introduction to NEXTSTEP (BA), p. 323.
TOOLSTOOLS-PACIFIC-1993-Wall #c++
Introduction to C++ (PW), p. 332.
POPLPOPL-1993-Reynolds #logic #morphism #parametricity #polymorphism #tutorial
An Introduction to Logical Relations and Parametric Polymorphism — Tutorial (JCR), pp. 155–156.
SACSAC-1993-Yalcinalp #logic programming #named
Ushell: An Environment for Introduction to Logic Programming (LÜY), pp. 598–603.
ICLPILPS-1993-Ait-Kaci #equation #inheritance #logic #programming
An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations (HAK), pp. 52–68.
ICLPILPS-1993-Raedt #induction #logic programming
A Brief Introduction to Inductive Logic Programming (LDR), pp. 45–51.
ICALPICALP-1992-Buchberger
Gröbner Bases: An Introduction (BB), pp. 378–379.
CHICHI-1992-Brown #algorithm #parallel #sorting #visualisation
An Introduction to Zeus: Audiovisualization of Some Elementary Sequential and Parallel Sorting Algorithms (MHB), pp. 663–664.
AdaTRI-Ada-T1-1992-GonzalezC #ada
Introduction to Ada for Programmers (DG, DAC), pp. 59–104.
SEKESEKE-1992-CookeG
An Introduction to BagL (DEC, AG), pp. 479–486.
TOOLSTOOLS-PACIFIC-1992-Kim92c #database #object-oriented
Introduction to Object-Oriented Database Systems (WK), p. 240.
TOOLSTOOLS-PACIFIC-1992-NobleG #animation
An Introduction to the Tarraingím Program Animation Environment (JN, LG), pp. 37–50.
TOOLSTOOLS-PACIFIC-1992-Ratjens92a #concept #object-oriented
Introduction to Object-Oriented Concepts (MR), p. 235.
TOOLSTOOLS-USA-1992-Kim #database #object-oriented
Introduction to Object-Oriented Database Systems (WK), p. 273.
FMVDME-1991-2-Woodcock91b #refinement
An Introduction to Refinement in Z (JW), pp. 96–117.
TOOLSTOOLS-USA-1991-Lippman #c++
An Introduction to C++ (SBL), pp. 435–436.
TOOLSTOOLS-USA-1991-Sarkela #smalltalk
Smalltalk/V An Introduction (JS), pp. 433–434.
TOOLSTOOLS-USA-1991-Wolf
Introduction to CLOS (LW), pp. 441–442.
CSEETSEI-1990-Scoy #ada #concept #re-engineering
Introduction of Software Engineering Concepts in an Ada-Based Introductory Computer Science Course (FLVS), pp. 67–76.
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.
ICGTGG-1990-EngelfrietR #graph grammar
Graph Grammars Based on Node Rewriting: An Introduction to NLC Graph Grammars (JE, GR), pp. 12–23.
SEKESEKE-1990-GatesC #automation #recognition
An Introduction To The Recognition of Iterative Structures by a CASE Tool (AQG, DEC), pp. 202–208.
CAVCAV-1990-Pixley #equivalence #hardware #implementation
Introduction to a Computational Theory and Implementation of Sequential Hardware Equivalence (CP), pp. 54–64.
FMVDME-1987-Airchinnigh87a #tutorial
Introduction to the VDM Tutorial (MMaA), pp. 356–361.
HCIHCI-SES-1987-SeppalaTK #case study #experience #industrial
Psychosocial Factors in the Introduction of Computerized Technology: Experiences from the Finnish Engineering Industry (PKS, ET, PK), pp. 51–58.
DACDAC-1986-Eurich #design #tutorial
A tutorial introduction to the electronic design interchange format (tutorial session) (JPE), pp. 327–333.
SIGMODSIGMOD-1986-BancilhonR #query #recursion
An Amateur’s Introduction to Recursive Query Processing Strategies (FB, RR), pp. 16–52.
ICGTGG-1986-Ehrig #algebra #approach #graph grammar #tutorial
Tutorial introduction to the algebraic approach of graph grammars (HE), pp. 3–14.
ICGTGG-1986-Lindenmayer #generative #parallel
An introduction to parallel map generating systems (AL), pp. 27–40.
ICGTGG-1986-Rozenberg #graph
An introduction to the NLC way of rewriting graphs (GR), pp. 55–66.
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.
OOPSLAOOPSLA-1986-SchaffertCBKW #owl
An Introduction to Trellis/Owl (CS, TC, BB, MK, CW), pp. 9–16.
DACDAC-1984-Cavin #design
Introduction to the SRC design sciences program (RKCI), pp. 216–217.
VLDBVLDB-1983-Schiel
An Abstract Introduction to the Temporal-Hierarchic Data Model (THM) (US), pp. 322–330.
DACDAC-1982-Pfister #simulation
The Yorktown Simulation Engine: Introduction (GFP), pp. 51–54.
VLDBVLDB-1982-BernsteinG #concurrent #distributed
A Sophisticate’s Introduction to Distributed Concurrency Control (Invited Paper) (PAB, NG), pp. 62–76.
SIGMODSIGMOD-1981-Levin #algebra #graph
Introduction to the DIAM Theory of Algebraic Access Graph (ML), pp. 40–48.
DACDAC-1980-AbramoviciB #analysis #fault
Fault diagnosis based on effect-cause analysis: An introduction (MA, MAB), pp. 69–76.
DACDAC-1980-Hassler
Chairman’s introduction (EBHJ), p. 1.
VLDBVLDB-1980-Date #database
An Introduction to the Unified Database Language (UDL) (CJD), pp. 15–32.
DACDAC-1979-Gray #compilation
Introduction to silicon compilation (JPG), pp. 305–306.
DACDAC-1979-Parke #design
An introduction to the N. mPc design environment (FIP), pp. 513–519.
VLDBVLDB-1978-BeeriBG #database #normalisation
A Sophisticate’s Introduction to Database Normalization Theory (CB, PAB, NG), pp. 113–124.
ICGTGG-1978-Ehrig #algebra #bibliography #graph grammar
Introduction to the Algebraic Theory of Graph Grammars (A Survey) (HE), pp. 1–69.
ICSEICSE-1978-BoydP #design
Introduction to the Wellmade Design Methodology (DLB, AP), pp. 94–100.
DACDAC-1977-CorreiaP
Introduction to an LSI test system (MC, FBP), pp. 460–461.
ICSEICSE-1976-DolottaM
An Introduction to the Programmer’s Workbench (TAD, JRM), pp. 164–168.
ICSEICSE-1976-WulfLS #source code #verification
An Introduction to the Construction and Verification of Alphard Programs (Abstract) (WAW, RLL, MS), p. 390.
SIGMODSIGFIDET-1970-Fry
Introduction to Storage Structure Definition (JPF), pp. 315–328.

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.