Stem aid$ (all stems)

358 papers:

DocEng-2015-FranzeMW #documentation #navigation #question

Does a Split-View Aid Navigation Within Academic Documents? (JF, KM, MW), pp. 211–214.

VLDB-2015-DiaoDLLPPP #automation #data analysis #interactive #named #navigation

AIDE: An Automatic User Navigation System for Interactive Data Exploration (YD, KD, ZL, WL, OP, KP, LP), pp. 1964–1975.

SANER-2015-SassoML #detection #problem

Misery loves company: CrowdStacking traces to aid problem detection (TDS, AM, ML), pp. 131–140.

CHI-2015-BianchiBO #design #physics

Designing a Physical Aid to Support Active Reading on Tablets (AB, SRB, IO), pp. 699–708.

DHM-EH-2015-CheffiRBBS #approach #cost analysis #feedback #optimisation

A Bi-level Optimization Approach to Get an Optimal Combination of Cost Functions for Pilot’s Arm Movement: The Case of Helicopter’s Flying Aid Functions with Haptic Feedback (SC, TR, LB, PB, JCS), pp. 248–257.

DHM-EH-2015-LimaAIA #mobile

Mobile Application to Aid in the Prevention of Pressure Ulcers (AGL, LA, ICI, LVA), pp. 465–473.

HIMI-IKC-2015-GavishN

The Effect of Timing When Introducing a Decision Aid in a Decision Support System for Supply Chain Management (NG, HN), pp. 101–108.

LCT-2015-LambropoulosMFK #design #experience #learning #ontology

Ontological Design to Support Cognitive Plasticity for Creative Immersive Experience in Computer Aided Learning (NL, IM, HMF, IAK), pp. 261–270.

SCSM-2015-KunchiS #social #social media

Talking Circles: Spiritual Aid for Teenagers Through Social Media (MK, SS), pp. 39–47.

SAC-2015-AminikhanghahiS #image #robust

Study of wireless mammography image transmission impacts on robust cyber-aided diagnosis systems (SA, SYS, WW, SIJ, SHS, CP), pp. 2252–2256.

CAV-2015-ZhuPJ #named #proving #smt

Poling: SMT Aided Linearizability Proofs (HZ, GP, SJ), pp. 3–19.

CASE-2014-LyuYCCC #development #monitoring

Development of robotic walking-aid system with mobility assistance and remote monitoring (SRL, WTY, YSC, HHC, YLC), pp. 830–835.

DAC-2014-AlbalawiLL #algorithm #classification #design #fixpoint #implementation #machine learning #power management

Computer-Aided Design of Machine Learning Algorithm: Training Fixed-Point Classifier for On-Chip Low-Power Implementation (HA, YL, XL), p. 6.

VLDB-2014-ZhangTC

Where To: Crowd-Aided Path Selection (CJZ, YT, LC), pp. 2005–2016.

PLDI-2014-PhothilimthanaJSTCB #architecture #compilation #named #power management

Chlorophyll: synthesis-aided compiler for low-power spatial architectures (PMP, TJ, RS, NT, SC, RB), p. 42.

PLDI-2014-TorlakB #lightweight #virtual machine

A lightweight symbolic virtual machine for solver-aided host languages (ET, RB), p. 54.

CHI-2014-JoshiRRESKPSRSSVR #people

Supporting treatment of people living with HIV / AIDS in resource limited settings with IVRs (ANJ, MR, DR, NE, PS, NK, SP, DS, RR, DGS, KS, EV, RR), pp. 1595–1604.

DUXU-ELAS-2014-MedeirosJG #learning #memory management #named #student

Logograms: Memory Aids for Learning, and an Example with Hearing-Impaired Students (LM, MBJ, LVG), pp. 207–216.

DUXU-ELAS-2014-Spinillo #how #usability

How Do Patient Information Leaflets Aid Medicine Usage? A Proposal for Assessing Usability of Medicine Inserts (CGS), pp. 115–124.

HIMI-DE-2014-LeeLS14a #communication #development

Development of Digital-Device-Based Cooperation Support System to Aid Communication between MCR Operators and Field Workers in Nuclear Power Plants (NPPs) (SML, HCL, PHS), pp. 483–490.

ICEIS-v3-2014-RoychoudhuryRKK #enterprise #modelling

Models to Aid Decision Making in Enterprises (SR, AR, VK, DK), pp. 465–471.

ECIR-2014-KasterenUSN #twitter

Analyzing Tweets to Aid Situational Awareness (TvK, BU, VS, MEN), pp. 700–705.

ECIR-2014-ThumaRO #detection #query #retrieval

Detecting Missing Content Queries in an SMS-Based HIV/AIDS FAQ Retrieval System (ET, SR, IO), pp. 247–259.

KMIS-2014-WangABN #recommendation #semantics #towards

Towards a Recommender System from Semantic Traces for Decision Aid (NW, MHA, JPAB, EN), pp. 274–279.

KR-2014-BhattST #analysis #architecture #design #experience #industrial #user interface

Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design (MB, CPLS, MT).

FSE-2014-TaoKKX #automation #debugging

Automatically generated patches as debugging aids: a human study (YT, JK, SK, CX), pp. 64–74.

ISSTA-2014-PastoreMHFSSM #testing

Verification-aided regression testing (FP, LM, AEJH, GF, NS, SS, AM), pp. 37–48.

DHM-SET-2013-LauterbachS #evaluation #implementation #interactive

Implementing Scenarios as an Evaluation Method of the Patient-Physician Interaction in Decision Aids (CVL, JDS), pp. 232–239.

HCI-AMTE-2013-FedericiBM #assessment #evaluation #framework #interactive #process

Environmental Evaluation of a Rehabilitation Aid Interaction under the Framework of the Ideal Model of Assistive Technology Assessment Process (SF, SB, MLM), pp. 203–210.

ICEIS-J-2013-HarbuschP13a #exclamation #optimisation #smarttech #usability #user interface

Optimizing the User Interface of a First-Aid App: A “Realistic” Usability Study with the Smartphone Application “Defi Now!” (KH, JP), pp. 421–437.

ICEIS-v3-2013-HarbuschP #exclamation #smarttech #usability #user interface

The User Interface of a Medical First Aid Application — A Close-to-Realistic Usability Study with the Smartphone Application “Defi Now!” (KH, JP), pp. 91–98.

SEKE-2013-JulianoTSM #assessment #automation #case study #complexity #similarity

Automated Computation of Use Cases Similarity can Aid the Assessment of Cohesion and Complexity of Classes (S) (RCJ, BANT, MSS, MdAM), pp. 494–499.

Onward-2013-TorlakB

Growing solver-aided languages with rosette (ET, RB), pp. 135–152.

GPCE-2013-Bodik #biology #modelling #programming language

Modeling biology with solver-aided programming languages (RB), pp. 1–2.

PPoPP-2013-XiangS #compilation #concurrent #data type #performance

Compiler aided manual speculation for high performance concurrent data structures (LX, MLS), pp. 47–56.

ICST-2013-FryW #analysis #maintenance

Leveraging Light-Weight Analyses to Aid Software Maintenance (ZPF, WW), pp. 507–508.

ASE-2012-CicchettiCMPPZV #development #industrial #modelling #named

CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems (AC, FC, SM, SP, MP, AZ, TV), pp. 362–365.

CSMR-2012-HurdugaciZ #developer #maintenance #testing

Aiding Software Developers to Maintain Developer Tests (VH, AZ), pp. 11–20.

SAS-2012-BartheGB #encryption #proving

Computer-Aided Cryptographic Proofs (GB, BG, SZB), pp. 1–2.

CHI-2012-ChilanaKW #crowdsourcing #named #web

LemonAid: selection-based crowdsourced contextual help for web applications (PKC, AJK, JOW), pp. 1549–1558.

CHI-2012-GuyT #named #navigation #visual notation

CrossingGuard: exploring information content in navigation aids for visually impaired pedestrians (RTG, KNT), pp. 405–414.

CHI-2012-VitakIDEG #learning

Gaze-augmented think-aloud as an aid to learning (SAV, JEI, ATD, SE, AKG), pp. 2991–3000.

ICPR-2012-GhoshC #analysis #automation #classification

Feature analysis for automatic classification of HEp-2 florescence patterns : Computer-Aided Diagnosis of Auto-immune diseases (SG, VC), pp. 174–177.

KEOD-2012-SongJ #experience

A Context Sensitive Experience Feeder for Computer Aided Engineering (BS, ZJ), pp. 343–346.

RecSys-2012-SheehanP #named #personalisation #predict #student

pGPA: a personalized grade prediction tool to aid student success (MS, YP), pp. 309–310.

MoDELS-2012-PfeifferW #development

Cross-Language Support Mechanisms Significantly Aid Software Development (RHP, AW), pp. 168–184.

MoDELS-2012-PfeifferW #development

Cross-Language Support Mechanisms Significantly Aid Software Development (RHP, AW), pp. 168–184.

SAT-2012-ErmonLGSD #combinator

SMT-Aided Combinatorial Materials Discovery (SE, RL, CPG, BS, RBvD), pp. 172–185.

DATE-2011-QiaoCL

A 0.964mW digital hearing aid system (PQ, HC, ML), pp. 883–886.

DUXU-v2-2011-Cai #assessment #human-computer #interactive #protocol

A Camera-Aided Legibility Assessment Protocol of Displays for Enhanced Human-Computer Interaction (HC), pp. 359–367.

DUXU-v2-2011-ShankarVE #challenge #comparative #usability

A Fitting Software Comparative Usability Study to Investigate Transition Challenges Faced by Hearing-Aid Practitioners (AS, SV, BE), pp. 517–526.

HCI-DDA-2011-Fernandez-LlatasMSN #interactive #process #simulation

Process Choreography for Human Interaction Computer-Aided Simulation (CFL, JBM, PS, JCN), pp. 214–220.

HCI-DDA-2011-ParkSCH #image #in memory #memory management #named

ColoriT: Color Based Image Code Application to Aid in Memory Restoration of Offline Photo Artifacts (JP, JS, JHC, TDH), pp. 637–642.

HCI-UA-2011-BellegoBBT #smarttech #using

Using a Smart Phone for Information Rendering in Computer-Aided Surgery (GLB, MB, IB, JT), pp. 202–209.

HIMI-v1-2011-NamPKLW #authentication

Server-Aided Password-Authenticated Key Exchange: From 3-Party to Group (JN, JP, JK, YL, DW), pp. 339–348.

ICEIS-v1-2011-AbdelhediPTZ #design

Computer-aided Data-mart Design (FA, GP, OT, GZ), pp. 239–246.

CIKM-2011-LuLYYH #classification #modelling #parametricity

Coarse-to-fine classification via parametric and nonparametric models for computer-aided diagnosis (ML, LL, XY, SY, HH), pp. 2509–2512.

KEOD-2011-Grabska #concept #design #ontology #visual notation

Computer Aided Conceptual Visual Design based on Ontology (EG), pp. 396–399.

SEKE-2011-SouzaESVH #project management #web

Web System to Aid Project Management (RCGdS, AMNE, ABS, CRV, MTH), pp. 325–330.

SIGIR-2011-Chang #information management #mobile #retrieval

Sensor-aided mobile information management and retrieval (EYC), pp. 1333–1334.

ICSE-2011-BoddenSSOM #static analysis

Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders (EB, AS, JS, HO, MM), pp. 241–250.

VLDB-2010-MahPC #algorithm #functional #named #realtime #set

UASMAs: a set of algorithms to instantaneously map SNPs in real time to aid functional SNP discovery (JM, DP, SC), pp. 1406–1413.

ICPC-2010-Berman #architecture #comprehension #low level

Sound as an Aid in Understanding Low-Level Program Architecture (LB), pp. 58–59.

ICPC-2010-JablonskiH10a #maintenance

Aiding Software Maintenance with Copy-and-Paste Clone-Awareness (PJ, DH), pp. 170–179.

WCRE-2010-MarxBD #component

Computer-Aided Extraction of Software Components (AM, FB, SD), pp. 183–192.

CHI-2010-HourcadeNPD

Pointassist for older adults: analyzing sub-movement characteristics to aid in pointing tasks (JPH, CMN, KBP, NLD), pp. 1115–1124.

ICPR-2010-MezghaniPMLG #network #order

A Computer-Aided Method for Scoliosis Fusion Level Selection by a Topologicaly Ordered Self Organizing Kohonen Network (NM, PP, AM, HL, JAdG), pp. 4012–4015.

KMIS-2010-ChateauBM

Computer Aided System for Managing Domain Knowledge — Application to Cultural Patrimony (SdC, DB, EML), pp. 240–245.

KMIS-2010-FogliP #collaboration #development #web

End-user Development for Knowledge Sharing — A Collaborative Web Mapping Application in the First Aid Domain (DF, LPP), pp. 5–14.

SEKE-2010-AdderleyDT #framework #implementation #rule-based

An Examination of a Rule-Based Expert System to Aid in the Implementation of the CMMI Framework (TA, SD, FT), pp. 599–603.

REFSQ-2010-SakhniniBM #effectiveness #elicitation #requirements #validation

Validation of the Effectiveness of an Optimized EPMcreate as an Aid for Creative Requirements Elicitation (VS, DMB, LM), pp. 91–105.

PPoPP-2010-MannarswamyCRS #compilation #memory management #performance #transaction

Compiler aided selective lock assignment for improving the performance of software transactional memory (SM, DRC, KR, SS), pp. 37–46.

HT-2009-BruckschenVR #navigation #ontology #ranking #topic

Named entities for hot topics ranking and ontology navigation aid (MB, RV, SJR), pp. 373–374.

SIGMOD-2009-JiangYCC #ad hoc #detection #named #query

AIDE: ad-hoc intents detection engine over query logs (YJ, HTY, KCCC, YSC), pp. 1091–1094.

CSEET-2009-GB #education #ontology #re-engineering #using

Using Ontologies to Aid the Teaching of Software Engineering (SPG, AB), pp. 224–231.

FASE-2009-CalinescuK #development #self

CADS*: Computer-Aided Development of Self-* Systems (RC, MZK), pp. 421–424.

ICPC-2009-StefikG #debugging #empirical #using

Using spoken text to aid debugging: An empirical study (AS, EG), pp. 110–119.

CHI-2009-KimD #artificial reality #navigation

Simulated augmented reality windshield display as a cognitive mapping aid for elder driver navigation (SK, AKD), pp. 133–142.

CHI-2009-LoveJTH #assessment #learning #predict

Learning to predict information needs: context-aware display as a cognitive aid and an assessment tool (BCL, MJ, MTT, MH), pp. 1351–1360.

DHM-2009-DemirelD #analysis #feedback

Impact of Force Feedback on Computer Aided Ergonomic Analyses (HOD, VGD), pp. 608–613.

DHM-2009-TianDBAH #implementation #performance

The Performance of BCMA-Aided Healthcare Service: Implementation Factors and Results (RT, VGD, CB, SRA, KH), pp. 560–568.

HCI-VAD-2009-IwabuchiNS #smarttech

Smart Makeup Mirror: Computer-Augmented Mirror to Aid Makeup Application (EI, MN, IS), pp. 495–503.

HIMI-II-2009-RingardDPC #approach #collaboration

Computer-Aided Collaborative Work into War Rooms: A New Approach of Collaboration (JR, SD, SLDP, CC), pp. 835–844.

OCSC-2009-WuO #bibliography #online

Medication Adherence among the Elderly and Technology Aids: Results from an Online Survey Study (HW, AAO), pp. 719–727.

KEOD-2009-DolsakN #analysis #design #process

Intelligent Analytical Aids in Design — Decision Support to Engineering Analysis Process (BD, MN), pp. 129–134.

RE-2009-MaxwellA #modelling #requirements

Developing Production Rule Models to Aid in Acquiring Requirements from Legal Texts (JCM, AIA), pp. 101–110.

ITiCSE-2008-Jenkins #education #re-engineering

Teaching computer aided software engineering at the graduate level (MJ), pp. 63–67.

CHI-2008-ChengET #source code #towards

Participant and interviewer attitudes toward handheld computers in the context of HIV/AIDS programs in sub-Saharan Africa (KGC, FE, KNT), pp. 763–766.

CHI-2008-DugganP #topic #using #web

Knowledge in the head and on the web: using topic expertise to aid search (GBD, SJP), pp. 39–48.

CHI-2008-EvansC #algorithm #social #web

Augmented information assimilation: social and algorithmic web aids for the information long tail (BE, SC), pp. 989–998.

CHI-2008-LanirBF #design #visual notation

Observing presenters’ use of visual aids to inform the design of classroom presentation software (JL, KSB, LF), pp. 695–704.

CHI-2008-ShenoyT #image

Human-aided computing: utilizing implicit human processing to classify images (PS, DST), pp. 845–854.

CAiSE-2008-NiknafsR #analysis

Computer-Aided Method Engineering: An Analysis of Existing Environments (AN, RR), pp. 525–540.

ICPR-2008-SuzukiSZ #network

Supervised enhancement of lung nodules by use of a massive-training artificial neural network (MTANN) in computer-aided diagnosis (CAD) (KS, ZS, JZ), pp. 1–4.

ICPR-2008-YaoADTHM #using

Computer-aided grading of lymphangioleiomyomatosis (LAM) using HRCT (JY, NA, AD, AMTD, OMH, JM), pp. 1–4.

SIGIR-2008-LehtonenD #documentation #hypermedia

XML-aided phrase indexing for hypertext documents (ML, AD), pp. 843–844.

SAC-2008-CorreaLSM #composition #learning #network

Neural network based systems for computer-aided musical composition: supervised x unsupervised learning (DCC, ALML, JHS, JFM), pp. 1738–1742.

SAC-2008-OliveiraMWS #analysis #locality

Brain registration and subtraction — improved localization for SPECT analysis (B.R.A.S.I.L.): a computer-aided diagnosis in epilepsy tool kit (LFdO, PMdAM, LWA, ACS), pp. 1390–1394.

DAC-2007-RajnakK #architecture #design #distributed #implementation

Computer-aided Architecture Design & Optimized Implementation of Distributed Automotive EE Systems (AR, AK), pp. 556–561.

CSMR-2007-CornelissenDMZ #comprehension #visualisation

Visualizing Testsuites to Aid in Software Understanding (BC, AvD, LM, AZ), pp. 213–222.

DHM-2007-EndoKKMKM #assessment #design #using

A Computer-Aided Ergonomic Assessment and Product Design System Using Digital Hands (YE, SK, TK, NM, MK, MM), pp. 833–842.

DHM-2007-FrohriepP #design

Computer Aided Lumbar Support Design and Application (SF, JP), pp. 586–594.

DHM-2007-LeeFCBEAP #finite #modelling #using

Finite Element Modeling to Aid in Refining the Rehabilitation of Amputees Using Osseointegrated Prostheses (WL, LF, NJC, RB, JE, CA, MJP), pp. 655–658.

HCI-AS-2007-LeeS #estimation #process

Experimental Effect Estimation of an Integrated Decision Support System to Aid Operator’s Cognitive Activities for Nuclear Power Plants (SJL, PHS), pp. 620–628.

HCI-IDU-2007-TranMC #independence #memory management #using

Using Memory Aid to Build Memory Independence (QTT, EDM, GC), pp. 959–965.

HCI-IPT-2007-WuZHZ #evaluation #interface

Evaluation of Wayfinding Aids Interface in Virtual Environment (AW, WZ, BH, XZ), pp. 700–709.

HCI-MIE-2007-KimKK #algorithm #architecture #low cost

Human-Aided Cleaning Algorithm for Low-Cost Robot Architecture (SK, KK, THK), pp. 366–375.

SAC-2007-Dufourd #framework #proving #theorem

A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler’s formula (JFD), pp. 757–761.

ICSE-2007-XieKS #comprehension #concept #concurrent #design #diagrams #evaluation

Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts (SX, EK, REKS), pp. 727–731.

PPoPP-2007-SpearSHDS #communication #memory management #multi #named

Alert-on-update: a communication aid for shared memory multiprocessors (MFS, AS, HH, SD, MLS), pp. 132–133.

DAC-2006-BurginCHMMSKFF #adaptation #algorithm #architecture #implementation #power management #trade-off

Low-power architectural trade-offs in a VLSI implementation of an adaptive hearing aid algorithm (FB, FC, MH, HM, RMP, RS, HK, NF, WF), pp. 558–561.

DATE-2006-CarbognaniBFKF #power management

Two-phase resonant clocking for ultra-low-power hearing aid applications (FC, FB, NF, HK, WF), pp. 73–78.

ITiCSE-2006-WintersP #assessment

Computer aided assessment with human oversight (TW, TP), p. 320.

ICPC-2006-BermanDGG #comprehension #using

The Sound of Software: Using Sonification to Aid Comprehension (LIB, SD, KBG, NG), pp. 225–229.

ICSM-2006-LiuT #approach #comprehension #maintenance #validation

An Approach to Aid the Understanding and Maintenance of Input Validation (HL, HBKT), pp. 370–379.

ICSM-2006-NgoT #fault #maintenance

A Method to Aid Recovery and Maintenance of the Input Error Correction Features (MNN, HBKT), pp. 360–369.

KDD-2006-BiPOKFSR #classification #detection #symmetry

Computer aided detection via asymmetric cascade of sparse hyperplane classifiers (JB, SP, KO, TK, GF, MS, RBR), pp. 837–844.

GPCE-2006-LeavensABBCFHJMJSSS #roadmap #verification

Roadmap for enhanced languages and methods to aid verification (GTL, JRA, DSB, MJB, AC, KF, ECRH, CBJ, DM, SLPJ, MS, DRS, AS), pp. 221–236.

ICSE-2006-SongHMRNHG #case study #challenge #comprehension #experience #requirements #workflow

Understanding requirements for computer-aided healthcare workflows: experiences and challenges (XS, BH, GM, AR, CN, MH, AG), pp. 930–934.

FM-2005-Joseph

Formal Aids for the Growth of Software Systems (MJ), p. 1.

CHI-2005-WuBR #design

Participatory design of an orientation aid for amnesics (MW, RB, BR), pp. 511–520.

VISSOFT-2005-CoxFM #comprehension #visual notation

User Perspectives on a Visual Aid to Program Comprehension (AC, MF, JM), pp. 70–75.

SAC-2005-SartorPV

Computer-aided law and advanced technologies (GS, JVP, AV), pp. 280–281.

CSEET-2004-HassonC #case study #re-engineering #requirements #specification

A Case Study Involving the Use of Z to Aid Requirements Specification in the Software Engineering Course (PH, SC), pp. 84–90.

ICEIS-v3-2004-BonacinBL #analysis #design #diagrams #ontology #semantics

From Ontology Charts to Class Diagrams: Semantic Analysis Aiding Systems Design (RB, MCCB, KL), pp. 389–395.

CIKM-2004-ZhangLPY #enterprise #named #taxonomy

InfoAnalyzer: a computer-aided tool for building enterprise taxonomies (LZ, SL, YP, LY), pp. 477–483.

ICSM-2003-MensPG #maintenance #source code #using

Using Intentional Source-Code Views to Aid Software Maintenance (KM, BP, SG), pp. 169–178.

ICEIS-v3-2003-DelgadoMSM

Aggregating Expert Profiles for Ser Quering Aid (MD, MJMB, DS, MAVM), pp. 278–285.

ICEIS-v4-2003-StanojevicTV #named

FIDES — A Financial Decision Aid That Can Be Trusted (MS, VT, SV), pp. 103–110.

PADL-2003-TomasL #generative

A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises (APT, JPL), pp. 223–240.

ICSE-2003-RayC #architecture #diagrams #interactive #modelling

Architectural Interaction Diagrams: AIDs for System Modeling (AR, RC), pp. 396–407.

VMCAI-2003-PnueliZ #abstraction #model checking

Model-Checking and Abstraction to the Aid of Parameterized Systems (AP, LDZ), p. 4.

DAC-2002-MaloneyBM #design

Computer aided design of long-haul optical transmission systems (JGM, BEB, CRM), p. 235.

ICGT-2002-LaraV #modelling #multi #petri net #process

Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts (JdL, HV), pp. 239–253.

ICEIS-2002-RuizEGG

A System Based on Preferences for Aid to the Purchase Decision (ILR, ELE, GCG, MÁGN), pp. 1058–1063.

ICEIS-2002-VallsMS #multi

A Multi-Criteria Decision Aid Agent Applied to the Selection of the Best Receiver in a Transplant (AV, AM, DS), pp. 431–438.

TestCom-2002-HeikkilaTV #automation #generative #testing

Position Statement: Testing Automation with Computer Aided Test Case Generation (TH, PT, JV), p. 209–?.

DAC-2001-KirovskiDP #design

Hypermedia-Aided Design (DK, MD, MP), pp. 407–412.

TACAS-2001-Castillo #analysis #modelling #state machine #tool support #validation

The ASM Workbench — A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration (GDC), pp. 578–581.

ICSM-2001-EisenbarthKS #analysis #comprehension

Aiding Program Comprehension by Static and Dynamic Feature Analysis (TE, RK, DS), pp. 602–611.

SIGAda-2001-EhresmanF

Electronic maneuvering board and dead reckoning tracer decision aid for the officer of the deck (KLE, JLF), pp. 61–70.

HT-2000-Hascoet #navigation #user interface

A user interface combining navigation aids (MH), pp. 224–225.

ITiCSE-2000-Exton #comprehension #concurrent #execution #named #object-oriented

Elucidate: a tool to aid comprehension of concurrent object oriented execution (CE), pp. 33–36.

ITiCSE-2000-SheneL00a #design

DesignMentor (poster session): a pedagogical tool for graphics and computer-aided design (CKS, JLL), p. 193.

CHI-2000-ParkK #navigation #web

Effects of contextual navigation aids on browsing diverse Web systems (JP, JK), pp. 257–264.

CAiSE-2000-RollandSPLPG #approach #development #empirical

Evaluating a Pattern Approach as an Aid for the Development of Organisational Knowledge: An Empirical Study (CR, JS, NP, PL, AP, GG), pp. 176–191.

ICPR-v4-2000-MatsumotoOHT #3d #fuzzy #image #logic #testing

Three-Dimensional Image Construction for Non-Destructive Testing Aided by Fuzzy Logic (TM, KO, YH, KT), pp. 4603–4606.

TOOLS-USA-2000-LuqiBSRN #prototype

Evolutionary Computer Aided Prototyping System (CAPS) (L, VB, MtS, RR, JN), pp. 363–372.

ISSTA-2000-KolanoK #analysis #classification #realtime

Classification schemes to aid in the analysis of real-time systems (PZK, RAK), pp. 86–95.

ASE-1999-HendersonW #component #design #validation

Component-based Systems as an Aid to Design Validation (PH, RJW), pp. 303–306.

CHI-1999-SalberDA #development #tool support

The Context Toolkit: Aiding the Development of Context-Enabled Applications (DS, AKD, GDA), pp. 434–441.

HCI-CCAD-1999-RashevOS #design #education #towards

Computer aided design in medical domain: a new viewpoint towards computer aided education (RR, RO, HS), pp. 621–625.

HCI-EI-1999-ChenC #case study #interface #visual notation

A study on tactile interfaces as an aid to home electronic appliance operation for the visually impaired (WZC, WKC), pp. 740–744.

TOOLS-EUROPE-1999-OrtigosaC #framework #named

SmartBooks: A Step Beyond Active-Cookbooks to Aid in Framework Instantiation (AO, MC), pp. 131–140.

ICSE-1999-ConcepcionLS #concurrent #development #monitoring #multi #predict #re-engineering #recursion #thread

The RMT (Recursive Multi-Threaded) Tool: A Computer Aided Software Engineering Tool for Monitoring and Predicting Software Development Progress (AIC, SL, SJS), pp. 660–663.

DATE-1998-DroegeTH #named

EASY — a System for Computer-Aided Examination of Analog Circuits (GD, MT, EHH), pp. 644–648.

ITiCSE-1998-RodgerG #automaton #theorem

JFLAP (poster): an aid to studying theorems in automata theory (SHR, EG), p. 302.

WCRE-1998-BurdM #comprehension #re-engineering

Assisting Human Understanding to Aid the Targeting of Necessary Reengineering Work (EB, MM), pp. 2–9.

CHI-1998-RoweSI #human-computer #interactive #variability

Hear Rate Variability: Indicator of User State as an Aid to Human-Computer Interaction (DWR, JLS, DI), pp. 480–487.

ICPR-1998-KanazawaKNSOK #image

Computer-aided diagnosis for pulmonary nodules based on helical CT images (KK, YK, NN, HS, HO, RK), pp. 1683–1685.

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.

DAC-1997-LevitanMKRCFM #design

Computer-Aided Design of Free-Space Opto-Electronic Systems (SPL, PJM, TPK, MAR, DMC, CF, FBM), pp. 768–773.

ITiCSE-1997-TheotokisGGP #data type #education #interactive #named

VIBDaST: a virtual interactive book as a data structures teaching aid (DT, GG, PG, GP), pp. 111–113.

CHI-1997-WilcoxABCC #debugging #feedback #programming #question #visual notation

Does Continuous Visual Feedback Aid Debugging in Direct-Manipulation Programming Systems? (EMW, JWA, MMB, JJC, CRC), pp. 258–265.

HCI-CC-1997-LeporeMMPTCT #analysis

Computer-Aided Analysis in Ophthalmological Imaging (DL, FM, GM, MMP, ST, GC, MT), pp. 753–756.

HCI-SEC-1997-KiyokawaTY #3d #design

Manipulation Aid for Two-Handed 3-D Designing Within a Shared Virtual Environment (KK, HT, NY), pp. 937–940.

HCI-SEC-1997-MurphyKG #interface #learning

Enhancing the Interface to Provide Intelligent Computer Aided Language Learning (MM, AK, AG), pp. 149–152.

HCI-SEC-1997-NakamuraTK #interactive #modelling #scheduling

The Human Scheduler’s Mental Models and Decision Aids of the Interactive Scheduling System (NN, JT, TK), pp. 87–90.

HCI-SEC-1997-SantoniFF #adaptation #design #interface

Aid Methodology for Designing Adaptive Human Computer Interfaces for Supervision Systems (CS, EF, PF), pp. 501–504.

AdaEurope-1997-CoolingDC #development #education #programming language

Computer Aided Teaching of Programming Languages: An Ada-specific Development (JEC, ND, JC), pp. 35–45.

CIKM-1997-LinR #navigation #using

Using a Sequential Index in Terrain-Aided Navigation (LL, TR), pp. 177–184.

CHI-1996-BhavnaniJ

Exploring the Unrealized Potential of Computer-Aided Drafting (SKB, BEJ), pp. 332–339.

CSCW-1996-WattsWCPKH

Voice Loops as Cooperative Aids in Space Shuttle Mission Control (JCW, DDW, JMC, ESP, RLK, LCH), pp. 48–56.

CAiSE-1996-Si-SaidRG #named #requirements

MENTOR: A Computer Aided Requirements Engineering Environment (SSS, CR, GG), pp. 22–43.

ICPR-1996-KanazawaKN #image

Computer aided diagnosis system for lung cancer based on helical CT images (KK, MK, NN), pp. 381–385.

SEKE-1996-CostaPF #design #multi #petri net

A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems (EdBC, AP, JCAdF), pp. 253–260.

SEKE-1995-ArefiMW #automation #editing #graph

The Graph Editor of EdGen, A Tool to Aid the Automated Construction of Customized Graph Editors (FA, MM, AW), pp. 438–445.

SEKE-1995-BerzineLS #prototype

Computer Aided Prototyping System (VB, L, MtS), p. 499.

ICSE-1995-BoehmBHL #approach #requirements

Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach (BWB, PKB, EH, MJL), pp. 243–253.

CAV-1995-GribomontR #named #verification

CAVEAT: Technique and Tool for Computer Aided VErification And Transformation (EPG, DR), pp. 70–83.

DAC-1994-Casavant #design #named #pipes and filters #programmable

MIST — A Design Aid for Programmable Pipelined Processors (AEC), pp. 532–536.

CIKM-1994-RoseG #classification #database

Hierarchical Classification as an Aid to Database and Hit-List Browsing (JRR, JG), pp. 408–414.

SEKE-1994-Dunin-KepliczJLM #development #named

CAProDel: a system for computer aided program development (BDK, JJ, WL, EMB), pp. 470–477.

SEKE-1994-Holm #communication #modelling

The COMMODIOUS method — COMmunication MODelling as an aid to Illustrate the Organisational Use of Software (PH), pp. 10–19.

SEKE-1994-JablonowskiM #development

Procedure handling in computer aided program development (JJ, EMB), pp. 486–492.

ISSTA-1994-Young #analysis #testing

State-Space Analysis as an Aid to Testing (Abstract) (MY), p. 203.

ICDAR-1993-AblameykoBK

Computer-aided cartographical system for map digitizing (SA, BSB, ANK), pp. 115–118.

ICDAR-1993-NardelliFP #image #knowledge base

Raster to object conversion aided by knowledge based image processing (EN, MF, GP), pp. 951–954.

HCI-ACS-1993-AronssonS #perspective

Coping with Malfunctions of Computer Aided Equipment from a Stress Perspective (GA, AS), pp. 804–808.

HCI-ACS-1993-LipnerSS #design #interface

The Relationship Between Task Structure and Choice of Navigational Aid in Human Computer Interface Design (RSL, GWS, KEOS), pp. 522–527.

HCI-SHI-1993-MalinowskiKDS #adaptation #user interface

Computer-Aided Adaptation of User Interfaces with Menus and Dialog Boxes (UM, TK, HD, MSH), pp. 122–127.

HCI-SHI-1993-ScholtzC #development #programming language

The Development of a Plan Based Tutor to Aid in Transfer between Programming Languages (JS, AC), pp. 519–524.

INTERCHI-1993-AlmTEN #people

Computer aided conversation for severely physically impaired non-speaking people (NA, JT, LE, AFN), pp. 236–241.

INTERCHI-1993-NeerincxG #how

How to aid non-experts (MAN, PdG), pp. 165–171.

AdaEurope-1993-Bloch

An Operational Computer Aided Software Environment: ILIADE (MGB), pp. 216–226.

CAiSE-1993-BrockersG #process #verification

Computer-Aided Verification of Software Process Model Properties (AB, VG), pp. 521–546.

CAiSE-1993-Johannesson #integration

Schema Transformations as an Aid in View Integration (PJ), pp. 71–92.

SEKE-1993-Li #development

Transforming Postconditions To Aid Program Development (JL), pp. 689–694.

RE-1993-RyanM #concept #graph #requirements

Matching conceptual graphs as an aid to requirements re-use (KR, BM), pp. 112–120.

IWPTS-1993-EkEW #case study #experience #generative #testing

Experiences with Computer Aided Test Suite Generation (AE, JE, AW), pp. 181–196.

DAC-1992-FranzonSSBMM #generative #tool support

Tools to Aid in Wiring Rule Generation for High Speed Interconnects (PDF, SS, MBS, MB, SM, TM), pp. 466–471.

CSCW-1992-ShuF #3d #case study #design #experience

Groupware Experiences in Three-Dimensional Computer-Aided Design (LS, WF), pp. 179–186.

SEKE-1992-KarssenT #architecture #information management

A Kemel Architecture for a Computer Aided Knowledge Engineering Workbench (ZK, CT), pp. 55–62.

SEKE-1992-Wagner #automation #reverse engineering

The Renaissance of CASE Through Computer Aided Reverse Engineering (CARE) (JW), pp. 551–559.

DAC-1991-BuschV #design #hardware

Proof-Aided Design of Verified Hardware (HB, GV), pp. 391–396.

VDME-1991-1-Jordan #design #named

CADIZ — Computer Aided Design in Z (DJ), pp. 685–686.

ECHT-1990-Bruza #hypermedia #named #novel

Hyperindices: A Novel Aid for Searching in Hypermedia (PB), pp. 109–122.

CC-1990-FedeleL #compilation

Computer-Aided Building of a Compiler: An Example (Abstract) (CF, OL), pp. 212–214.

CAV-1990-ShurekG #composition #framework #verification

The Modular Framework of Computer-Aided Verification (GS, OG), pp. 214–223.

CAiSE-1989-BeckKKW #database #design

Computer Aided Database Design (KB, KK, LKB, BGW).

ML-1989-LeviPS #learning

Learning Tactical Plans for Pilot Aiding (KRL, DLP, VLS), pp. 191–193.

ML-1989-Rose #using

Using Domain Knowledge to Aid Scientific Theory Revision (DR), pp. 272–277.

NACLP-1989-DevilleB #logic programming #source code #towards

Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs (YD, JB), pp. 409–425.

SIGIR-1988-Case #comprehension #how #retrieval #scalability

How Do the Experts Do It? The Use of Ethnographic Methods as an Aid to Understanding the Cognitive Processing and Retrieval of Large Bodies of Text (DOC), pp. 127–133.

POPL-1988-Wadler #analysis #strict

Strictness Analysis Aids Time Analysis (PW), pp. 119–132.

DAC-1987-BhatejaK #design #named #validation

VALKYRIE: A Validation Subsystem of a Version Server for Computer-Aided Design Data (RB, RHK), pp. 321–327.

VLDB-1987-KatzC #database #design

Managing Change in a Computer-Aided Design Database (RHK, EEC), pp. 455–462.

HCI-CE-1987-RussellG #design

Designing Human Factors Design Aids for Designers (AJR, MDG), pp. 289–296.

HCI-CE-1987-YoonH #fault

A Deep-Reasoning Aid for Deep-Reasoning Fault Diagnosis (WCY, JMH), pp. 297–304.

HCI-CE-1987-Zimolong #flexibility #simulation

Decision Aids and Risk Taking in Flexible Manufacturing Systems: A Simulation Study (BZ), pp. 265–272.

HCI-SES-1987-JarvenpaaT #design

Mental Workload in Simple and Complicated Computer Aided Design (EJ, VT), pp. 271–276.

HCI-SES-1987-JenkinsG #development #evaluation #interactive

Development and Evaluation of a Risk Based Interactive Decision Aid (JPJ, JCG), pp. 173–180.

DAC-1986-KatzAC #design

A version server for computer-aided design data (RHK, MA, EEC), pp. 27–33.

DAC-1986-Peng #design #synthesis

Synthesis of VLSI systems with the CAMAD design aid (ZP), pp. 278–284.

SIGMOD-1986-KatzCB #concept #database #design #modelling

Version Modeling Concepts for Computer-Aided Design Databases (RHK, EEC, RB), pp. 379–386.

DAC-1985-Reid-Green #effectiveness #prototype

Cost-effective computer-aided manufacturing of prototype parts (KSRG), pp. 326–329.

POPL-1985-AhoG #code generation #pattern matching #performance

Efficient Tree Pattern Matching: An Aid to Code Generation (AVA, MG), pp. 334–340.

DAC-1984-Biswas

Computer aided minimization procedure for boolean functions (NNB), pp. 699–702.

DAC-1984-DasguptaGRWW #clustering #design #testing

Chip partitioning aid: A design technique for partitionability and testability in VLSI (SD, MCG, RAR, RGW, TWW), pp. 203–208.

DAC-1984-HeidenG #design

Ergonomic studies in computer aided design (GHvdH, EG), pp. 220–227.

DAC-1984-HorstmannS #design #logic programming #using

Computer aided design (CAD) using logic programming (PWH, EPS), pp. 144–151.

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

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

DAC-1983-Bassett #programming

Computer Aided Programming (PB), pp. 527–529.

DAC-1983-BouyatBV #design #development #named

VERDI: A computer aided design system for development and city planning (MB, HB, JCV), pp. 382–385.

DAC-1983-Day #automation #re-engineering

Computer Aided Software Engineering (CASE) (FWD), pp. 129–136.

DAC-1983-EliasW #compilation #design

The IC Module Compiler, a VLSI system design aid (NJE, AWW), pp. 46–49.

DAC-1983-KozakBG #array #design #simulation

Design aids for the simulation of bipolar gate arrays (PK, AKB, AG), pp. 286–292.

DAC-1983-LeathO #architecture #implementation

Software architecture for the implementation of a Computer-Aided Engineering system (CLL, SJO), pp. 137–142.

DAC-1983-McFarland #behaviour #clustering #hardware

Computer-aided partitioning of behavioral hardware descriptions (MCM), pp. 472–478.

DAC-1983-NattrassO #design

Some Computer Aided Engineering System design principles (HLN, GKO), pp. 571–577.

DAC-1983-TervonenLM #design #documentation

Integrated computer aided design, documentation and manufacturing system for PCB electronics (MT, HL, TM), pp. 436–443.

DAC-1982-Levy #design #distributed

Distributed computation for design aids (SYL), pp. 909–915.

DAC-1982-LiuE #design

Design of a graphic processor for computer-aided drafting (CKL, CME), pp. 514–520.

DAC-1982-ShiraishiIKN #design #named

ICAD/PCB: Integrated computer aided design system for printed circuit boards (HS, MI, SK, MN), pp. 727–732.

VLDB-1982-Navathe #database #design

Databases for Computer Aided Design and Manufacturing (SBN), p. 244.

SIGIR-1982-Smith #information retrieval #perspective

Machine Intelligence vs. Machine-Aided Intelligence in Information Retrieval: A Historical Perspective (LCS), pp. 263–274.

ICSE-1982-TakahashiAK #debugging #fortran #visual notation

Visual Aid for FORTRAN Program Debugging (KT, TA, MK), pp. 414–415.

ILPC-1982-JoubertFFR82 #logic

Medical Decision Aid: Logic Bases of the System SPHINX (MJ, MF, DF, MR), pp. 210–214.

DAC-1981-Bergsten #assembly #design

Computer-Aided Design, Manufacturing, Assembly and Test (CADMAT) (FCB), pp. 873–880.

DAC-1981-EllenbergerN #architecture #design #named

AIDE — a tool for computer architecture design (DJE, YWN), pp. 796–803.

DAC-1981-NashW #design #development #re-engineering

Software engineering applied to computer-aided design (CAD) software development (DCN, HW), pp. 530–539.

DAC-1981-RobertsBJ #database #design

A vertically organized computer-aided design data base (KAR, TEB, DHJ), pp. 595–602.

DAC-1981-SuwaK

A computer-aided-design system for segmented-folded PLA macro-cells (IS, WJK), pp. 398–405.

DAC-1981-TanakaMNOTK #array #design #logic

An integrated computer aided design system for gate array masterslices: Part 1. Logic reorganization system LORES-2 (CT, SM, SN, TO, MT, KK), pp. 59–65.

DAC-1981-TanakaMTYOTKT #array #design #layout

An integrated computer aided design system for gate array masterslices: Part 2 the layout design system MARS-M3 (CT, SM, HT, TY, KO, MT, RK, MT), pp. 812–819.

DAC-1981-Wong #design

Computer-aided computer-aided design: Improving CAD programmer productivity (SW), pp. 540–545.

ICSE-1981-Wilson #database #design #relational #requirements

A Requirements and Design Aid for Relational Data Bases (MLW), pp. 282–294.

DAC-1980-MacdonaldPP #composition #documentation

Technical documentation by “MAGIC” (Machine Aided Graphics for Illustration and Composition (JBM, MKP, MJP), pp. 440–445.

DAC-1980-Patel

Computer-aided assignment of manufacturing tolerances (AMP), pp. 129–133.

DAC-1979-CarlsonPC #3d #data transformation #design

The use of color and 3-D temporal and spatial data management techniques in computer-aided design (WEC, REP, CC), pp. 32–38.

DAC-1979-Lichten #design #parametricity #scalability

A partial solution to fitting large parametric surfaces in computer-aided design systems (LL), pp. 222–228.

DAC-1979-ONeillSTFFWMBE #design #performance

Designers Workbench — efficient and economical design aids (LAO, CGS, TJT, JMF, RAF, EDW, PHM, JRB, DSE), pp. 185–199.

DAC-1979-RogersRS #design #modelling

Computer Aided Ship Design and numerically controlled production of towing tank models (DFR, FR, SGS), pp. 207–214.

DAC-1979-SucherW #component #database #design

A design aids data base for digital components (DJS, DFW), pp. 414–420.

DAC-1979-WongB #database #design

A Computer-Aided Design data base (SW, WAB), pp. 398–402.

DAC-1979-Zimmermann #design

The MIMOLA design system a computer aided digital processor design method (GZ), pp. 53–58.

ICSE-1979-Cohen #source code

Computer-Aided Micro-Analysis of Programs (JC), pp. 79–84.

ICSE-1979-Gomez #fortran #interactive

An Interactive FORTRAN Structuring Aid (JG), pp. 241–244.

ICSE-1979-Rohmer #re-engineering

The APL2M System : A General Computer-Aided Software Engineering Environment for Mini and Microcomputers (JR), pp. 403–411.

ICSE-1979-WillisJ #design

Computer Aided Design of Software Systems (RRW, EPJ), pp. 116–125.

DAC-1978-Bennettson

Computer aids systems map-based record systems (AVB), pp. 34–47.

DAC-1978-Fraser #design

Circuit design aids on unix (AGF), p. 234.

DAC-1978-McWilliamsW #design #logic #named

SCALD: Structured Computer-Aided Logic Design (TMM, LCWJ), pp. 271–277.

DAC-1978-Olson #automation #experience

“A user’s experience in Computer Aided Manufacturing” or “CAM” at GTE — Automatic Electric (HTO), pp. 23–25.

DAC-1978-RossL #design

Computer aided design of microprocessor-based systems (AAR, HHLJ), pp. 227–230.

DAC-1978-Schechter

Data preparation and entry for computer-aided mapping (BS), pp. 48–52.

DAC-1978-ShahY #cost analysis #design

A practical technique for benefit-cost analysis of Computer-Aided Design and Drafting Systems (RRS, GYY).

DAC-1978-SnowST #design #trade-off

A technology-relative computer-aided design system: Abstract representations, transformations, and design tradeoffs (EAS, DPS, DET), pp. 220–226.

ICSE-1978-StephensT #requirements #verification

Requirements Expression and Verification Aid (SAS, LLT), pp. 101–108.

DAC-1977-Bayegan #named

CASS: Computer aided schematic system (HMB), pp. 396–404.

DAC-1977-Brown #component #design #using

Using a computer aided graphics system to help design and draft automotive components (NLB), pp. 112–117.

DAC-1977-Christley #design #interactive

Thick film substrate (Micropackage) design utilizing interactive Computer Aided Design systems (FMC), pp. 450–459.

DAC-1977-Frew #architecture #design

Computer aided design in North American Schools of Architecture (RSF), pp. 275–276.

DAC-1977-Gebert #architecture #design

Computer-aided design and practice in city college school of architecture (GAG), pp. 277–278.

DAC-1977-Kennedy77a #architecture #design

Computer aided design college of architecture University of Kentucky (MK), p. 281.

DAC-1977-KollerL #design #standard

The siemens-avesta-system for computer-aided design of MOS-standard cell circuits (KWK, UL), pp. 153–157.

DAC-1977-Pfeuffer #generative

Computer aided test pattern generation for digital processors (KP), pp. 68–77.

DAC-1977-Smith #architecture #education

THE SITE MACHINE Computer-aided instruction in architectural education (EFS), pp. 266–274.

DAC-1977-Teicholz #architecture #design

Computer-aided architectural design (ET), p. 279.

DAC-1977-Walsh #named #network

SPIDER — a Computer Aided Manufacturing Network (MEW), pp. 431–436.

SIGMOD-1977-SorensonW #named

PICASSO — An Aid to an End-User Facility (PGS, JAW), pp. 30–39.

DAC-1976-DobesB #automation #design #geometry #recognition

The automatic recognition of silicon gate transistor geometries: An LSI design aid program (ID, RB), pp. 327–335.

DAC-1976-Lerman #design #using

Computer aided design of printed circuit boards using remote graphics and TSO (HNL), pp. 104–108.

DAC-1976-PaulT #concept #evaluation #fault tolerance #named #simulation

SEGMA — A simulation package for conception aid and fault tolerance evaluation of computing systems (JLP, RT), pp. 278–284.

DAC-1976-RozeboomC #generative #implementation #testing

An implementation of computer aided test generation techniques (RWR, JJC), pp. 194–202.

ICALP-1976-Cartwright #data type #lisp #source code #verification

User-Defined Data Types as an Aid to Verifying LISP Programs (RC), pp. 228–256.

POPL-1976-Geller #correctness #proving #testing

Test Data as an Aid in Proving Program Correctness (MMG), pp. 209–218.

ICSE-1976-BellBD #approach #requirements

An Extendable Approach to Computer-Aided Software Requirements Engineering (Abstract) (TEB, DCB, MED), p. 70.

ICSE-1976-MohanG

An Environmental Simulator for the FDNY Computer Aided Dispatch System (JM, MG), pp. 577–584.

ICSE-1976-TeichroewH #analysis #documentation #information management #named

PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems (Abstract) (DT, EAHI), p. 2.

DAC-1975-BrinsfieldT #design #multi

Computer aids for multilayer printed wiring board design (JGB, SRT), pp. 296–305.

DAC-1975-ChienSTR #design #layout

A computer-aided minimum cost transfer machine layout design (TTC, SS, WAT, PR), pp. 202–209.

DAC-1975-Losleben #design #performance

Computer aided LSI circuit design: A relationship between topology and performance (PL), pp. 102–104.

DAC-1975-PrunetFD #design #industrial

Computer aided design of industrial control systems (FP, DF, JMD), pp. 210–219.

DAC-1975-Robertson #design

Computer Aided Design in D. P. W (JKR), pp. 355–360.

SIGMOD-1975-BandurskiJ #design

Data Description for Computer-Aided Design (AEB, DKJ), pp. 193–202.

POPL-1975-Symes

New Control Structures to Aid Gotolessness (DMS), pp. 194–203.

DAC-1974-AkgermanK #design #process #simulation

Computer-aided process design and simulation for forging of turbine blades (NA, DJK), pp. 47–51.

DAC-1974-DudnikS

A computer aided land use study technique (EED, WS), pp. 237–247.

DAC-1974-Hays

Computer aided schematics (GGH), pp. 143–148.

DAC-1974-JacquartRV #design #named #towards

GERMINAL: Towards a general and integrated system for computer aided design (RJ, PR, FRV), pp. 352–358.

DAC-1974-OzawaMS #design #slicing

Master slice LSI Computer Aided Design system (YO, MM, KS), pp. 19–25.

DAC-1974-Ressler

A simple computer-aided artwork system that works (DGR), pp. 92–97.

DAC-1974-ShapiraF #design #generative

A procedure for generating floor plans computer aided design (HBjS, RSF), pp. 229–236.

DAC-1974-SogaTTSKT #data transformation #design

Engineering Data Management System (EDMS) for computer aided design of digital computers (MS, CT, KT, KS, MK, HT), pp. 372–379.

DAC-1974-Summers #design #documentation

A Computer Aided System (CAS) for the design, manufacture, test, and documentation of digital Printed Circuit Boards (RJS), pp. 273–278.

DAC-1974-Woodyard #design

Computer aided ship design at MarAd (AHW), pp. 279–283.

DAC-1973-HiranoH #design #logic

Computer aided design system for logic equipment applied to design of electronic switching equipment (TH, KH), pp. 205–212.

DAC-1973-PillingS #logic #predict

Computer-aided prediction of delays in LSI logic systems (DJP, HBS), pp. 182–186.

DAC-1973-Ruehli #design #logic

Electrical considerations in the computer aided design of logic circuit interconnections (AER), pp. 262–266.

DAC-1972-Bliss #design #logic

Computer aided logic design (FWB), pp. 259–263.

DAC-1972-Grant #architecture #design #problem #proximity #using

Combining proximity criteria with nature-of-the-spot criteria in architectural and urban design space planning problems using a computer-aided space allocation technique: A proposed technique and an example of its application (DPG), pp. 197–202.

DAC-1972-GreenbergOS #architecture #design #named

SYNARC: A computer — aided model for architectural design (JIG, SLO, SAS), pp. 190–196.

DAC-1972-Kliman

Computer generated artwork — the aide system (MK), p. 15.

DAC-1972-LeeCH #health #interactive

A mental health project programmed and designed with the aid of interactive computer graphics (KL, RC, OFHJ), pp. 5–10.

DAC-1972-Roberts #approach #comparison

A heathkit approach for computer-aided comparison of building alternatives (RDR), pp. 220–228.

DAC-1971-Schnarsky

Some computer-aided approaches to housing (AS), pp. 57–67.

DAC-1971-Veit #named

Analyze — Compose — Display computer aided space planning (FSV), pp. 180–192.

DAC-1970-CampagnaF #design

Computer aided design of high density printed circuit boards (RC, PRF), p. 335.

DAC-1970-Farlow #design

Machine aids to the design of ceramic substrates containing integrated circuit chips (CWF), pp. 274–285.

DAC-1970-Flomenhoft #design #logic #testing

A system of computer aids for designing logic circuit tests (MJF), pp. 128–131.

DAC-1970-Goetz #design

Computer aided diagnostic design for electronic switching systems (FMG), pp. 178–189.

DAC-1970-Meles #design

Computer aided centrifugal pump design (MM), pp. 138–144.

DAC-1970-Miller

Computer-aided space planning (WRM), pp. 28–34.

DAC-1970-Murray-LassoE #design

Computer-aided design of nonlinear dynamic systems (MAML, SE), pp. 295–309.

DAC-1970-RockwellP #analysis #finite

Computer aided input/output for use with the finite element method of structural analysis (RDR, DSP), pp. 315–334.

DAC-1970-Sr70a #approach #design #network

Digital network design aids — an integrated approach (EKBS), pp. 220–229.

DAC-1970-Urban #design #effectiveness

Effective use of a computer aided design system (SJU), pp. 243–249.

DAC-1969-Cowan #design

Time-shared computer aided design with the digital plotters (RJC), pp. 395–401.

DAC-1969-HornbuckleTSD #design #logic

Computer-aided logic design on the TX-2 computer (GDH, ELT, RNS, RJD), pp. 357–369.

DAC-1969-Lewallen #design

Mos LSI computer aided design system (DRL), pp. 91–101.

DAC-1969-Srinivasan #design

A discussion of CDLI, a computer description language and associated design aid systems (CVS), p. 383.

DAC-1969-Wilson

A computer aided interconnection system (RWW), pp. 281–289.

DAC-1968-AakhusSMP #design #named

ACCLAIM — a computer aided design system (MDA, DMS, DCM, EJP).

DAC-1968-LewisS #approach #design

Dames an integrated systems approach to computer-aided design of electronic systems (RL, RS).

DAC-1968-Martin #design #layout

Computer-aided circuit layout and design (LCM).

DAC-1968-Sass #design

GLEAM/1130-a production system base for computer-aided design (WHS).

DAC-1968-Taxin #agile #generative #precise

A facility for rapid computer-aided generation of precision graphics (HMT).

DAC-1967-Alaimo

A graphics aided drafting system (GRAD) (CA).

DAC-1967-CoinA #design

Computer aided design projects (HC, MUA).

DAC-1967-FiskCW #design #simulation

Topographic simulation as an aid to printed circuit board design (CJF, DLC, LEW).

DAC-1967-FreemanGRW #design #multi

Multilayer printed wiring — computer aided design (MFF, AG, MR, EAW).

DAC-1967-SpitalnyG #design #online

On-line operation of CADIC (Computer aided design of integrated circuits) (AS, MJG).

SHARE-1966-Lerman #named

MADS — a machine aided drafting system (HNL).

SHARE-1966-Robinson #data type #design

A data structure for a computer aided design system (CER).

SHARE-1965-BitontiCFH #analysis

A computer-aided linkage analysis system (FB, DWC, DNF, HHH).

SHARE-1965-SpitalnyMH #design

Computer aided design of integrated circuits (AS, WSM, GH).

LISP-1963-Russell #debugging

Debugging aids (SR), p. 15.