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:
engin (7)
model (7)
softwar (6)
base (5)
requir (5)

Stem essenti$ (all stems)

52 papers:

ICGTICGT-2015-RadkeABHT #constraints #graph #invariant #ocl #set
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (HR, TA, JSB, AH, GT), pp. 155–170.
HCIHIMI-IKC-2015-AhangamaP15a #empirical #what
What Methodological Attributes Are Essential for Novice Users to Analytics? — An Empirical Study (SA, DCCP), pp. 77–88.
FMFM-2014-Klein #proving
Proof Engineering Considered Essential (GK), pp. 16–21.
EDOCEDOC-2014-SungurBBL #process
Informal Process Essentials (CTS, TB, UB, FL), pp. 200–209.
VLDBVLDB-2013-HuaiMLO0 #clustering #comprehension
Understanding Insights into the Basic Structure and Essential Issues of Table Placement Methods in Clusters (YH, SM, RL, OO, XZ), pp. 1750–1761.
MSRMSR-2013-ManiNMNSN #debugging #identification #repository
Bug resolution catalysts: identifying essential non-committers from bug repositories (SM, SN, DM, RN, VSS, AAN), pp. 193–202.
ICSEICSE-2013-RigbyR #documentation
Discovering essential code elements in informal documentation (PCR, MPR), pp. 832–841.
ASEASE-2011-KamalrudinG #generative #prototype #requirements #user interface #validation
Generating essential user interface prototypes to validate requirements (MK, JCG), pp. 564–567.
ICALPICALP-v2-2011-Kapoutsis #nondeterminism
Nondeterminism Is Essential in Small 2FAs with Few Reversals (CAK), pp. 198–209.
ICSEICSE-2011-KamalrudinHG #case study #interactive #quality #requirements #using
Improving requirements quality using essential use case interaction patterns (MK, JGH, JCG), pp. 531–540.
ICSEICSE-2011-KawrykowR #version control
Non-essential changes in version histories (DK, MPR), pp. 351–360.
HPCAHPCA-2011-ChenLZ #memory management #parallel #performance
Essential roles of exploiting internal parallelism of flash memory based solid state drives in high-speed data processing (FC, RL, XZ), pp. 266–277.
ASEASE-2010-KamalrudinGH #case study #requirements #tool support
Tool support for essential use cases to better capture software requirements (MK, JCG, JGH), pp. 255–264.
ECOOPECOOP-2010-FraineES #aspect-oriented #calculus
Essential AOP: The A Calculus (BDF, EE, MS), pp. 101–125.
WICSA-ECSAWICSA-ECSA-2009-SangwanN #architecture #complexity
Characterizing essential and incidental complexity in software architectures (RSS, CJN), pp. 265–268.
ICEISICEIS-HCI-2009-GarciaDCBSS #design
Scenario-based Design — An Essential Instrument for an Innovative Target Application — Case Report (LSG, AID, MAC, LCEDB, FS, MSS), pp. 113–117.
GT-VMTGT-VMT-2006-LambersEO08 #detection #graph transformation #performance
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (LL, HE, FO), pp. 17–26.
ICMLICML-2008-AllauzenMT #kernel #predict #sequence
Sequence kernels for predicting protein essentiality (CA, MM, AT), pp. 9–16.
KDDKDD-2008-FanZCGYHYV #mining #modelling
Direct mining of discriminative and essential frequent patterns via model-based search tree (WF, KZ, HC, JG, XY, JH, PSY, OV), pp. 230–238.
IFLIFL-2007-DijkstraFS #compilation #complexity #haskell
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity (AD, JF, SDS), pp. 57–74.
STOCSTOC-2006-Szegedy
The DLT priority sampling is essentially optimal (MS), pp. 150–158.
PLDIPLDI-2005-SiekL #programming
Essential language support for generic programming (JGS, AL), pp. 73–84.
ICEISICEIS-v3-2005-CapelH #csp #modelling #specification #visual notation
Transforming SA/RT Graphical Specifications into CSP+T Formalism — Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models (MIC, JAHT), pp. 65–72.
DACDAC-2004-YangM #adaptation #higher-order #modelling
An Essentially Non-Oscillatory (ENO) high-order accurate Adaptive table model for device modeling (BY, BM), pp. 864–867.
ICEISICEIS-v1-2004-UwizeyemunguR #enterprise #flexibility #integration
Integration, Flexibility and Transversality: Essential Characteristics of ERP Systems (SU, LR), pp. 70–77.
ICEISICEIS-v3-2003-AldersonSSS #process
Defending Essential Processes (AA, AS, HS, BS), pp. 197–200.
KDDKDD-2003-ShimazuMF #case study
Experimental study of discovering essential information from customer inquiry (KS, AM, KF), pp. 741–746.
ICSTSAT-2003-BerreS #contest #satisfiability
The Essentials of the SAT 2003 Competition (DLB, LS), pp. 452–467.
ICSEICSE-2002-Rhodes
Systems engineering: an essential engineering discipline for the 21st century (DHR), p. 4.
FSEESEC-FSE-2001-WallnauHS #component #concept #experience #re-engineering #tutorial
Half day tutorial in methods of component-based software engineering essential concepts and classroom experience (KCW, SAH, RCS), pp. 314–315.
ICSEICSE-2001-Wallnau #component #concept #experience #re-engineering
Methods of Component-Based Software Engineering: Essential Concepts and Classroom Experience (KCW), pp. 709–710.
TLCATLCA-2001-MurawskiO #evolution #game studies #morphism #polymorphism
Evolving Games and Essential Nets for Affine Polymorphism (ASM, CHLO), pp. 360–375.
AdaEuropeAdaEurope-2000-ChenL #on the #set
On the Minimal Essential Subsets and Minimal Representative Sets (TYC, MFL), pp. 291–301.
ICPRICPR-v1-2000-WangT #composition #matrix
An SVD Decomposition of Essential Matrix with Eight Solutions for the Relative Positions of Two Perspective Cameras (WW, HTT), pp. 1362–1365.
REICRE-2000-NguyenS #complexity #modelling #requirements
Essential and Incidental Complexity in Requirements Models (LN, PAS), pp. 130–139.
REICRE-2000-Parnas #documentation #requirements #why
Requirements Documentation: Why a Formal Basis is Essential (DLP), pp. 81–84.
STOCSTOC-1999-BeimelIKM #information retrieval
One-Way Functions Are Essential for Single-Server Private Information Retrieval (AB, YI, EK, TM), pp. 89–98.
ICDARICDAR-1997-KatoWN #recognition
Recognition of Essential Folding Operations: A Step for Interpreting Illustrated Books of Origami (JK, TW, TN), pp. 81–85.
TOOLSTOOLS-USA-1997-McKim #eiffel
Eiffel Essentials (JCM), p. 370.
AFPAFP-1996-Tofte96 #ml #standard
Essentials of Standard ML Modules (MT), pp. 208–238.
CSEETCSEE-1995-Zucconi #education #industrial
Essential Knowledge for the Practising Software Engineer and the Responsibilities of University and Industry for Her Education (LZ), pp. 5–13.
FMFME-1994-FencottGLOP #algebra #formal method #modelling #process #semantics #using
Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra (PCF, AG, MAL, SJO, SP), pp. 681–702.
ECOOPECOOP-1994-Pree #design #object-oriented #reuse
Meta Patterns — A Means For Capturing the Essentials of Reusable Object-Oriented Design (WP), pp. 150–162.
TOOLSTOOLS-EUROPE-1994-Cook #development
Essential Techniques for O-O Development (SC), p. 527.
TOOLSTOOLS-EUROPE-1994-Hopkins #smalltalk
Smalltalk Essentials Presentation (TPH), p. 441.
TOOLSTOOLS-EUROPE-1994-McKim #eiffel
Eiffel Essentials Presentation (JCM), p. 333.
ICLPILPS-1993-WassermanYS #deduction #logic programming
The Essential Inadequacy of Deductions in Logic Programming (HCW, KY, ZS), p. 644.
DACDAC-1992-CoudertM #incremental
Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions (OC, JCM), pp. 36–39.
CAiSECAiSE-1991-Dietz
The Essential System Model (JLGD), pp. 441–460.
DACDAC-1986-KuoC #generative #multi
Generating essential primes for a Boolean function with multiple-valued inputs (YSK, WKC), pp. 193–199.
DACDAC-1981-Reitmeyer
CAD for military systems, an essential link to LSI, VLSI and VHSIC technology (RRJ), pp. 3–12.
ICSEICSE-1976-FreemanWF #education #re-engineering
Essential Elements of Software Engineering Education (PF, AIW, REF), pp. 116–122.

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.