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:
test (5)
light (3)
logic (3)
user (3)
visual (3)

Stem adequ$ (all stems)

23 papers:

ICSTICST-2015-HuuhtanenIL #algebra #algorithm #design #testing
Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms (TH, JI, CL), pp. 1–10.
HCIHCI-AS-2013-PlischkeSPK #specification #standard
Human Adequate Lighting in Optimal Healing Environments — Measuring Non-visual Light Effects of a LED Light Source According to German Draft Pre-standard DIN SPEC 5031-100: 2012 (HP, CS, PP, NK), pp. 163–172.
ICEISICEIS-v1-2013-RudraGA #approximate #query
Selecting Adequate Samples for Approximate Decision Support Queries (AR, RPG, NRA), pp. 46–55.
ICEISICEIS-v3-2013-SilvaSH #design
Co-authoring Proto-patterns to Support on Designing Systems to Be Adequate for Users´ Diversity (JCAS, MARS, ECMH), pp. 164–169.
SACSAC-2013-HippMMR #framework #process #visualisation
A framework for the intelligent delivery and user-adequate visualization of process information (MH, BM, BM, MR), pp. 1383–1390.
ESEC-FSEESEC-FSE-2013-BertolinoMM #composition #monitoring
Adequate monitoring of service compositions (AB, EM, AM), pp. 59–69.
ISSTAISSTA-2013-GligoricGZSAM #test coverage #testing #using
Comparing non-adequate test suites using coverage criteria (MG, AG, CZ, RS, MAA, DM), pp. 302–313.
ICSTICST-2012-FraserW #behaviour #testing
Behaviourally Adequate Software Testing (GF, NW), pp. 300–309.
MSRMSR-2011-HirataM
Do comments explain codes adequately?: investigation by text filtering (YH, OM), pp. 242–245.
HCIHCD-2011-NazemiBPBK #adaptation #user interface #visualisation
Adapting User Interfaces by Analyzing Data Characteristics for Determining Adequate Visualizations (KN, DB, AP, MB, AK), pp. 566–575.
CIKMCIKM-2008-DouSYW #learning #question #ranking #web
Are click-through data adequate for learning web search rankings? (ZD, RS, XY, JRW), pp. 73–82.
HCIHIMI-IIE-2007-ParkCHNPCJ #artificial reality #navigation
Disposition of Information Entities and Adequate Level of Information Presentation in an In-Car Augmented Reality Navigation System (KSP, IHC, GBH, TJN, JYP, SIC, IHJ), pp. 1098–1108.
STOCSTOC-2006-PanagiotouS #metric #on the #performance
On adequate performance measures for paging (KP, AS), pp. 487–496.
CSEETCSEET-2004-AlfertPS #education #modelling #re-engineering #tool support
Software Engineering Education Needs Adequate Modeling Tools (KA, JP, JS), pp. 72–77.
ASEASE-2001-RugaberSS #reverse engineering
Adequate Reverse Engineering (SR, TS, KS), p. 232–?.
FMFME-2001-CalderMS #logic
An Adequate Logic for Full LOTOS (MC, SM, CS), pp. 384–395.
TLCATLCA-1997-Brauner #category theory
A Simple Adequate Categorical Model for PCF (TB), pp. 82–98.
LICSLICS-1994-FioreP #axiom #formal method #modelling
An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC (MPF, GDP), pp. 92–102.
ESOPESOP-1992-BernotBK #towards
Towards an Adequate Notion of Observation (GB, MB, TK), pp. 39–55.
ESOPESOP-1992-PurushothamanS #evaluation #lazy evaluation #semantics
An Adequate Operational Semantics for Sharing in Lazy Evaluation (SP, JS), pp. 435–450.
CSLCSL-1991-Oguztuzun #equivalence #first-order #logic
A Fragment of First Order Logic Adequate for Observation Equivalence (HO), pp. 278–292.
ISSTATAV-1991-Harrold #data flow #optimisation #testing
The Effects of Optimizing Transformations on Data-Flow Adequate Test Sets (MJH), pp. 130–138.
LICSLICS-1990-CleavelandS #proving #specification #using
When is “Partial” Adequate? A Logic-Based Proof Technique Using Partial Specifications (RC, BS), pp. 440–449.

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.