Stem introduct$ (all stems)

222 papers:

DAC-2015-Hayes #challenge #probability

Introduction to stochastic computing and its challenges (JPH), p. 3.

DAC-2015-PalerD #fault tolerance #quantum

An introduction into fault-tolerant quantum computing (AP, SJD), p. 6.

DATE-2015-FrancqF #detection #hardware

Introduction to hardware trojan detection methods (JF, FF), pp. 770–775.

PEPM-2015-LiT #concurrent #slicing

Safe Concurrency Introduction through Slicing (HL, SJT), pp. 103–113.

SFM-2015-CoppoDPY #multi

A Gentle Introduction to Multiparty Asynchronous Session Types (MC, MDC, LP, NY), pp. 146–178.

SIGIR-2015-ChuklinMR15a #modelling #tutorial #web

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

SAC-2015-FernandezAQVFZC #multi #off the shelf

Introduction to partial time composability for COTS multicores (GF, JA, EQ, TV, LF, MZ, FJC), pp. 1955–1956.

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

ICSE-v2-2015-Inozemtseva #comprehension #fault #process

Understanding the Software Fault Introduction Process (LI), pp. 843–846.

DATE-2014-RuhrmairS #bibliography #modelling #perspective

PUF modeling attacks: An introduction and overview (UR, JS), pp. 1–6.

CSEET-2014-Ackerman #learning #re-engineering

An active learning module for an introduction to software engineering course (AFA), pp. 190–191.

ITiCSE-2014-PiccioniEM #programming

SPOC-supported introduction to programming (MP, HCE, BM), pp. 3–8.

TFPIE-2014-Winter #authentication #functional #named #programming language

Bricklayer: An Authentic Introduction to the Functional Programming Language SML (VLW), pp. 33–49.

ILC-2014-Cooper #knowledge base #lisp

A Gentle Introduction to Gendl®, a Common Lisp-based Knowledge Based Engineering Environment (DC), p. 6.

CHI-2014-ForteAPW #design #information management

Designing information savvy societies: an introduction to assessability (AF, NA, THP, HWF), pp. 2471–2480.

DUXU-DP-2014-ChapmanP #effectiveness #maturity #user interface

A UX Maturity Model: Effective Introduction of UX into Organizations (LC, SP), pp. 12–22.

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

SAC-2014-HusemannR #multi #predict #scalability #video

Introduction of a multi-layer predictive search strategy for scalable video coding (RH, VR), pp. 985–986.

DocEng-2013-Barabucci

Introduction to the universal delta model (GB), pp. 47–56.

ITiCSE-2013-LiLMZ #programming #question

Introduction to programming: science or art? (TL, WL, XM, HZ), p. 324.

CEFP-2013-AchtenKP #programming

An Introduction to Task Oriented Programming (PA, PWMK, RP), pp. 187–245.

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

SPLC-2013-Donohoe #product line

Introduction to software product lines (PD), p. 274.

SPLC-2013-NorthropJ #product line

Introduction to software product lines adoption (LMN, LGJ), p. 286.

CSEET-2012-BareissS

A Gentle Introduction to Learn by Doing (RB, TS), pp. 81–84.

ITiCSE-2012-ChorH #topic

CS1001.py: a topic-based introduction to computer science (BC, RH), pp. 215–220.

SFM-2012-BroschKLSWW #version control

An Introduction to Model Versioning (PB, GK, PL, MS, KW, MW), pp. 336–398.

ICPR-2012-NafchiK #dataset #image #representation

Rectangular based binary image representation: Theory, applications, and dataset introduction (HZN, HRK), pp. 190–193.

RecSys-2012-Kohavi #online #statistics

Online controlled experiments: introduction, learnings, and humbling statistics (RK), pp. 1–2.

LOPSTR-2012-SchrijversTWSS #combinator

An Introduction to Search Combinators (TS, GT, PW, HS, PJS), pp. 2–16.

CASE-2011-Soressi #industrial #safety

Introduction of safety rule IEC EN62061 in Metal Industry (ES), pp. 195–200.

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

DRR-2011-MaronezeCL #documentation #image #recognition #statistics

Introduction of statistical information in a syntactic analyzer for document image recognition (AOM, BC, AL), pp. 1–10.

ITiCSE-2011-CamachoM #learning #programming

Facilitating learning dynamic programming through a previous introduction of exhaustive search (AC, AM), p. 355.

SCAM-J-2009-Ross11 #editing #quality

Guest Editor’s Introduction to the Special Section on the 2009 Software Quality Management conference (MR), pp. 379–380.

WCRE-2011-NonnenSI #research #source code

Locating the Meaning of Terms in Source Code Research on “Term Introduction” (JN, DS, PI), pp. 99–108.

ICALP-v2-2011-Shaltiel

An Introduction to Randomness Extractors (RS), pp. 21–41.

SFM-2011-SteffenHM #automaton #learning #perspective

Introduction to Active Automata Learning from a Practical Perspective (BS, FH, MM), pp. 256–296.

SIGAda-2011-Feldman #ada

Introduction to Ada (MF), pp. 9–10.

ICEIS-v2-2011-Hu #enterprise

Business “Blood Circulation” — A Brief Introduction on the Construction Enterprise Cash Flow Management (YH), pp. 307–310.

SPLC-2011-Donohoe #product line

Introduction to Software Product Lines (PD), p. 350.

SPLC-2011-NorthropJ #product line

Introduction to Software Product Lines Adoption (LMN, LGJ), p. 359.

FoSSaCS-2010-Stirling #decidability #higher-order

Introduction to Decidability of Higher-Order Matching (CS), p. 1.

SEKE-2010-SieglGH #modelling #testing #variability

Introduction of Time and Timing Variability in Usage Model based Testing (SS, RG, KSJH), pp. 61–66.

SIGIR-2010-Lavrenko #information retrieval #modelling #probability

Introduction to probabilistic models in IR (VL), p. 905.

MoDELS-v2-2010-MorinKKJ #aspect-oriented #flexibility #modelling #policy

Flexible Model Element Introduction Policies for Aspect-Oriented Modeling (BM, JK, JK, JMJ), pp. 63–77.

PADL-2010-Marti-Oliet #maude

An Introduction to Maude and Some of Its Applications (NMO), pp. 4–9.

RE-2010-CalleleNS #experience #requirements

An Introduction to Experience Requirements (DC, EN, KS), pp. 395–396.

SAC-2010-MengB #component #towards

Towards the introduction of QoS information in a component model (SM, LSB), pp. 2045–2046.

SPLC-2010-Northrop #product line

Introduction to Software Product Lines (LMN), pp. 521–522.

SPLC-2010-NorthropJ #product line

Introduction to Software Product Lines Adoption (LMN, LGJ), pp. 519–520.

IFM-2009-LammelZ #convergence

An Introduction to Grammar Convergence (RL, VZ), pp. 246–260.

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

SIGAda-2009-Brosgol #c# #dot-net #framework

An introduction to the C# language and .NET infrastructure (BB), pp. 3–4.

SIGAda-2009-Feldman #ada

Introduction to Ada (MBF), pp. 1–2.

CAiSE-2009-Ghazarian #case study #fault

A Case Study of Defect Introduction Mechanisms (AG), pp. 156–170.

ICEIS-J-2009-StruskaP #named #testing

BORM-points: Introduction and Results of Practical Testing (ZS, RP), pp. 590–599.

KDD-2009-Wasserman #network #statistics

Network science: an introduction to recent statistical approaches (SW), pp. 9–10.

ECOOP-2009-Vitek #object-oriented

Introduction to: The Myths of Object-Orientation (JV), p. 618.

GTTSE-2009-Borba #product line #refactoring

An Introduction to Software Product Line Refactoring (PB), pp. 1–26.

GTTSE-2009-JorgesSM #code generation #tutorial

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

SPLC-2009-Donohoe #product line

Introduction to software product lines (PD), p. 305.

SPLC-2009-NorthropJ #product line

Introduction to software product line adoption (LMN, LGJ), p. 313.

SIGMOD-2008-Konstan #recommendation

Introduction to recommender systems (JAK), pp. 1373–1374.

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

ITiCSE-2008-Rubio-Sanchez #combinator #equivalence #problem

An introduction to problem equivalence with combinatorics (MRS), p. 313.

ITiCSE-2008-Rubio-SanchezUP #recursion

A gentle introduction to mutual recursion (MRS, JUF, CPF), pp. 235–239.

CSMR-2008-Retalis #industrial

Industrial Track Session — Introduction (SR), p. 307.

SFM-2008-Zavattaro #automaton #probability

A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form (GZ), pp. 507–523.

ICGT-2008-Heckel #graph transformation #tutorial

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

SIGAda-2008-Feldman #ada #named

SF1: introduction to ada (MBF), pp. 1–2.

EDOC-2008-Gitzel #industrial

Introduction to Service Issues in Industrial IT Infrastructures (RG).

BX-2008-Kato1

Introduction to UnQL+ (HK), p. 42.

RE-2008-Rashid #aspect-oriented #requirements

Aspect-Oriented Requirements Engineering: An Introduction (AR), pp. 306–309.

SPLC-2008-Donohoe #product line

Introduction to Software Product Lines (PD), p. 370.

SPLC-2008-NorthropJ #product line

Introduction to Software Product Line Adoption (LMN, LGJ), pp. 371–372.

WICSA-2007-BassN #architecture #effectiveness

An Introduction to Effectively Evaluating Software Architectures (LB, RLN), p. 34.

SFM-2007-Balbo #petri net #probability

Introduction to Generalized Stochastic Petri Nets (GB), pp. 83–131.

SFM-2007-Smith #performance #problem

Introduction to Software Performance Engineering: Origins and Outstanding Problems (CUS), pp. 395–428.

CEFP-2007-CsornyeiD #λ-calculus

An Introduction to the λ Calculus (ZC, GD), pp. 87–111.

CEFP-2007-PlasmeijerAK #interactive #web

An Introduction to iTasks: Defining Interactive Work Flows for the Web (RP, PA, PWMK), pp. 1–40.

HCI-MIE-2007-ChakavehB #convergence

Media Convergence, an Introduction (SC, MB), pp. 811–814.

GTTSE-2007-ChellappaFP #how #performance

How to Write Fast Numerical Code: A Small Introduction (SC, FF, MP), pp. 196–259.

GTTSE-2007-HirschfeldCH #programming

An Introduction to Context-Oriented Programming with ContextS (RH, PC, MH), pp. 396–407.

GTTSE-2007-Taha #multi #programming

A Gentle Introduction to Multi-stage Programming, Part II (WT), pp. 260–290.

CASE-2006-JangC #automation

Introduction to Automated Material Handling Systems in LCD Panel Production Lines (YJJ, GHC), pp. 223–229.

ITiCSE-2006-MarkovR #data mining #mining

An introduction to the WEKA data mining system (ZM, IR), pp. 367–368.

ITiCSE-2006-Radenski #python #quote

“Python first”: a lab-based digital introduction to computer science (AR), pp. 197–201.

SFM-2006-ClaessenR #evaluation

An Introduction to Symbolic Trajectory Evaluation (KC, JWR), pp. 56–77.

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

CIKM-2006-MokhtaripourJ

Introduction to a new Farsi stemmer (AM, SJ), pp. 826–827.

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

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

SPLC-2006-Berenbach #product line #requirements

Introduction to Product Line Requirements Engineering (BB), p. 215.

SPLC-2006-Donohoe #product line

Introduction to Software Product Lines (PD), p. 217.

SPLC-2006-NorthropJ #product line

Introduction to Software Product Line Adoption (LMN, LGJ), p. 222.

ICLP-2006-WittocxVMDB #semantics

Predicate Introduction Under Stable and Well-Founded Semantics (JW, JV, MM, MD, MB), pp. 242–256.

CASE-2005-AlenljungL #graph #modelling

Simplified modeling of manufacturing systems: an introduction to sensor activation graphs (TA, BL), pp. 261–266.

ICALP-2005-CastagnaF #semantics #type system

A Gentle Introduction to Semantic Subtyping (GC, AF), pp. 30–34.

SFM-2005-MontanariP #automaton

History-Dependent Automata: An Introduction (UM, MP), pp. 1–28.

PPDP-2005-CastagnaF #semantics #type system

A gentle introduction to semantic subtyping (GC, AF), pp. 198–199.

ICSE-2005-GriswoldN #research

Introduction to Research Papers (WGG, BN), p. 48.

ICSE-2005-HeitmeyerP #case study #experience

Introduction to the experience reports track (CLH, KP), p. 480.

ICSE-2005-InverardiJ #education

Introduction to education and training track (PI, MJ), p. 606.

DAC-2004-BiswasCAPID #memory management #set

Introduction of local memory elements in instruction set extensions (PB, VC, KA, LP, PI, ND), pp. 729–734.

CSEET-2004-Cowling #re-engineering

The Crossover Project as an Introduction to Software Engineering (AJC), pp. 12–17.

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

IFM-2004-WoodcockC #design #programming #tutorial

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

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

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

CSCW-2004-BrignullIFRR #interactive

The introduction of a shared interactive surface into a communal space (HB, SI, GF, YR, TR), pp. 49–58.

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

ICSE-2004-Knight #dependence

An Introduction to Computing System Dependability (JCK), pp. 730–731.

SPLC-2004-NorthropC #product line

An Introduction to Software Product Lines (LMN, PCC), p. 322.

DATE-2003-YooJ #abstraction #hardware

Introduction to Hardware Abstraction Layers for SoC (SY, AAJ), pp. 10336–10337.

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

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

ICEIS-2002-GhasemiyehL

Introduction to Information Technology and its Effects on Organisational Control (RG, FL), pp. 1122–1125.

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

SEKE-2002-KarlstromR #programming

Decision support for extreme programming introduction and practice selection (DK, PR), pp. 835–841.

ICSE-2002-Kruchten #named #tutorial

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

ICSE-2002-Newkirk #agile #process #programming

Introduction to agile processes and extreme programming (JN), pp. 695–696.

SPLC-2002-SimonE #product line

Evolutionary Introduction of Software Product Lines (DS, TE), pp. 272–282.

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

DLT-2001-Thomas #automaton #infinity

A Short Introduction to Infinite Automata (WT), pp. 130–144.

SVIS-2001-Diehl

Future Perspectives — Introduction (SD0), pp. 347–353.

SVIS-2001-Domingue #education #visualisation

Software Visualization and Education — Introduction (JD), pp. 205–212.

SVIS-2001-KerrenS #algorithm #animation

Algorithm Animation — Introduction (AK, JTS), pp. 1–15.

SVIS-2001-MiliS #re-engineering

Software Engineering — Introduction (RM, RS), pp. 129–137.

SVIS-2001-MutzelE #graph #visualisation

Graphs in Software Visualization — Introduction (PM, PE), pp. 285–294.

ICSE-2001-BachmannB #design

Introduction to the Attribute Driven Design Method (FB, LJB), pp. 745–746.

ICSE-2001-White #java

An Introduction to Java 2 Micro Edition (J2ME); Java in Small Things (JW), pp. 724–725.

CSEET-2000-CannonHD #named #process #tutorial

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

FASE-2000-PadbergHG #algebra #safety

Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems (JP, KH, MG), pp. 249–265.

WCRE-2000-HoltW

A Short Introduction to the GXL Software Exchange Format (RCH, AW), p. 299–?.

TOOLS-EUROPE-2000-HolmesL #concurrent #java #object-oriented #programming

Introduction to Concurrent Object-Oriented Programming in Java (DH, DL), p. 457.

TOOLS-EUROPE-2000-KleppeW00a #constraints #ocl

An Introduction to the Object Constraint Language (OCL) (AK, JW), p. 456.

TOOLS-USA-2000-MorabitoSB #information management

An Introduction to Knowledge Binding (JM, IS, AB), pp. 543–548.

TOOLS-USA-2000-NebeshT00a #mobile

Introduction to Mobile Agent Systems and Applications (DN, RT), pp. 457–458.

ICSE-2000-NishiyamaIN #effectiveness

Technology transfer macro-process: a practical guide for the effective introduction of technology (TN, KI, TN), pp. 577–586.

ICSE-2000-Vinoski #corba #tutorial

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

ICSM-1999-CinneideN #automation #design pattern

A Methodology for the Automated Introduction of Design Patterns (MÓC, PN), p. 463–?.

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

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

HCI-CCAD-1999-NiwaT

An introduction of the accident recovery by the agent in nuclear power plants (YN, MT), pp. 357–361.

TOOLS-EUROPE-1999-Henderson-Sellers99b #uml

Introduction to the OPEN Method with UML (BHS), p. 399.

TOOLS-EUROPE-1999-WarmerK #ocl

Introduction to OCL (JW, AK), p. 405.

TOOLS-USA-1999-Henderson-Sellers99a #uml

Introduction to the OPEN Method with UML (BHS), p. 504.

ICSE-1999-Rosenberg #modelling #named #reliability #tutorial

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

ITiCSE-1998-Holliday #network

A Web-based introduction to computer networks (poster) (MAH), p. 282.

AFP-1998-BackhouseJJM98 #programming

Generic Programming: An Introduction (RCB, PJ, JJ, LGLTM), pp. 28–115.

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

TOOLS-USA-1998-Mitchell #analysis #constraints #contract #ocl #uml

Analysis by Contract: An Introduction to UML’s Object Constraint Language (OCL) (RM), p. 448–?.

ICRE-1998-FowlerCM #empirical #requirements

Transition Packages: An Experiment in Expediting the Introduction of Requirements Management (PJF, ADC, BM), p. 138–?.

ICSE-1998-MahonyD #csp

Blending Object-Z and Timed CSP: An Introduction to TCOZ (BPM, JSD), pp. 95–104.

ISMM-1998-Tofte

A Brief Introduction to Regions (MT), pp. 186–195.

ITiCSE-WGR-1997-DagdilelisS #programming #using

Using Emil Post’s machine for an introduction to formal programming (poster) (VD, MS), p. 147.

TACAS-1997-Jensen #petri net

A Brief Introduction to Coloured Petri Nets (KJ), pp. 203–208.

TOOLS-PACIFIC-1997-Outhred

Introduction to COM (GHO), p. 353.

TOOLS-PACIFIC-1997-Thomas #modelling

Introduction to the Unified Modeling Language (RT), p. 354.

ICSE-1997-Emmerich #corba #tutorial

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

ILPS-1997-Kifer #logic #transaction

Transaction Logic: An Introduction (Abstract) (MK), pp. 47–48.

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

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

ITiCSE-1996-Miller #video

Mistakes to avoid in the introduction of compressed video (JEM), pp. 150–152.

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

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

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.

ICPR-1996-RitterS #network

An introduction to morphological neural networks (GXR, PS), pp. 709–717.

CADE-1996-ChouGZ #geometry

An Introduction to Geometry Expert (SCC, XSG, JZZ), pp. 235–239.

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

EDAC-1994-RohfleischB #logic #optimisation

Introduction of Permissible Bridges with Application to Logic Optimization after Technology Mapping (BR, FB), pp. 87–93.

ICML-1994-HsuK #optimisation #query #semantics

Rule Introduction for Semantic Query Optimization (CNH, CAK), pp. 112–120.

TOOLS-EUROPE-1994-Dittrich #database #object-oriented

Introduction to Object-Oriented Database Management Systems (KRD), p. 537.

SAC-1994-Arango #analysis

A brief introduction to domain analysis (GA), pp. 42–46.

SAC-1994-Goblirsch #haskell

An introduction to Haskell with applications to digital signal processing (DMG), pp. 425–430.

DLT-1993-EhrenfeuchtHPR #context-free grammar

An Introduction to Context-free Text Grammars (AE, HJH, PtP, GR), pp. 357–369.

TOOLS-PACIFIC-1993-Adam

An Introduction to NEXTSTEP (BA), p. 323.

TOOLS-PACIFIC-1993-Wall #c++

Introduction to C++ (PW), p. 332.

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

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

SAC-1993-Yalcinalp #logic programming #named

Ushell: An Environment for Introduction to Logic Programming (LÜY), pp. 598–603.

ILPS-1993-Ait-Kaci #equation #inheritance #logic #programming

An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations (HAK), pp. 52–68.

ILPS-1993-Raedt #induction #logic programming

A Brief Introduction to Inductive Logic Programming (LDR), pp. 45–51.

ICALP-1992-Buchberger

Gröbner Bases: An Introduction (BB), pp. 378–379.

CHI-1992-Brown #algorithm #parallel #sorting #visualisation

An Introduction to Zeus: Audiovisualization of Some Elementary Sequential and Parallel Sorting Algorithms (MHB), pp. 663–664.

TRI-Ada-T1-1992-GonzalezC #ada

Introduction to Ada for Programmers (DG, DAC), pp. 59–104.

SEKE-1992-CookeG

An Introduction to BagL (DEC, AG), pp. 479–486.

TOOLS-PACIFIC-1992-Kim92c #database #object-oriented

Introduction to Object-Oriented Database Systems (WK), p. 240.

TOOLS-PACIFIC-1992-NobleG #animation

An Introduction to the Tarraingím Program Animation Environment (JN, LG), pp. 37–50.

TOOLS-PACIFIC-1992-Ratjens92a #concept #object-oriented

Introduction to Object-Oriented Concepts (MR), p. 235.

TOOLS-USA-1992-Kim #database #object-oriented

Introduction to Object-Oriented Database Systems (WK), p. 273.

VDME-1991-2-Woodcock91b #refinement

An Introduction to Refinement in Z (JW), pp. 96–117.

TOOLS-USA-1991-Lippman #c++

An Introduction to C++ (SBL), pp. 435–436.

TOOLS-USA-1991-Sarkela #smalltalk

Smalltalk/V An Introduction (JS), pp. 433–434.

TOOLS-USA-1991-Wolf

Introduction to CLOS (LW), pp. 441–442.

SEI-1990-Scoy #ada #concept #re-engineering

Introduction of Software Engineering Concepts in an Ada-Based Introductory Computer Science Course (FLVS), pp. 67–76.

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.

GG-1990-EngelfrietR #graph grammar

Graph Grammars Based on Node Rewriting: An Introduction to NLC Graph Grammars (JE, GR), pp. 12–23.

SEKE-1990-GatesC #automation #recognition

An Introduction To The Recognition of Iterative Structures by a CASE Tool (AQG, DEC), pp. 202–208.

CAV-1990-Pixley #equivalence #hardware #implementation

Introduction to a Computational Theory and Implementation of Sequential Hardware Equivalence (CP), pp. 54–64.

VDME-1987-Airchinnigh87a #tutorial

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

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

DAC-1986-Eurich #design #tutorial

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

SIGMOD-1986-BancilhonR #query #recursion

An Amateur’s Introduction to Recursive Query Processing Strategies (FB, RR), pp. 16–52.

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

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

GG-1986-Lindenmayer #generative #parallel

An introduction to parallel map generating systems (AL), pp. 27–40.

GG-1986-Rozenberg #graph

An introduction to the NLC way of rewriting graphs (GR), pp. 55–66.

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.

OOPSLA-1986-SchaffertCBKW #owl

An Introduction to Trellis/Owl (CS, TC, BB, MK, CW), pp. 9–16.

DAC-1984-Cavin #design

Introduction to the SRC design sciences program (RKCI), pp. 216–217.

VLDB-1983-Schiel

An Abstract Introduction to the Temporal-Hierarchic Data Model (THM) (US), pp. 322–330.

DAC-1982-Pfister #simulation

The Yorktown Simulation Engine: Introduction (GFP), pp. 51–54.

VLDB-1982-BernsteinG #concurrent #distributed

A Sophisticate’s Introduction to Distributed Concurrency Control (Invited Paper) (PAB, NG), pp. 62–76.

SIGMOD-1981-Levin #algebra #graph

Introduction to the DIAM Theory of Algebraic Access Graph (ML), pp. 40–48.

DAC-1980-AbramoviciB #analysis #fault

Fault diagnosis based on effect-cause analysis: An introduction (MA, MAB), pp. 69–76.

DAC-1980-Hassler

Chairman’s introduction (EBHJ), p. 1.

VLDB-1980-Date #database

An Introduction to the Unified Database Language (UDL) (CJD), pp. 15–32.

DAC-1979-Gray #compilation

Introduction to silicon compilation (JPG), pp. 305–306.

DAC-1979-Parke #design

An introduction to the N. mPc design environment (FIP), pp. 513–519.

VLDB-1978-BeeriBG #database #normalisation

A Sophisticate’s Introduction to Database Normalization Theory (CB, PAB, NG), pp. 113–124.

GG-1978-Ehrig #algebra #bibliography #graph grammar

Introduction to the Algebraic Theory of Graph Grammars (A Survey) (HE), pp. 1–69.

ICSE-1978-BoydP #design

Introduction to the Wellmade Design Methodology (DLB, AP), pp. 94–100.

DAC-1977-CorreiaP

Introduction to an LSI test system (MC, FBP), pp. 460–461.

ICSE-1976-DolottaM

An Introduction to the Programmer’s Workbench (TAD, JRM), pp. 164–168.

ICSE-1976-WulfLS #source code #verification

An Introduction to the Construction and Verification of Alphard Programs (Abstract) (WAW, RLL, MS), p. 390.

SIGFIDET-1970-Fry

Introduction to Storage Structure Definition (JPF), pp. 315–328.