Stem report$ (all stems)

593 papers:

PODS-2015-RahulT #2d #on the

On Top-k Range Reporting in 2D Space (SR, YT), pp. 265–275.

TACAS-2015-Beyer #verification

Software Verification and Verifiable Witnesses — (Report on SV-COMP 2015) (DB), pp. 401–416.

ICPC-2015-LeVLP #automation #commit #information management #named

RCLinker: automated linking of issue reports and commits leveraging rich contextual information (TDBL, MLV, DL, DP), pp. 36–47.

ICPC-2015-WhiteVJBP #android #debugging #generative

Generating reproducible and replayable bug reports from Android application crashes (MW, MLV, PJ, CBC, DP), pp. 48–59.

ICSME-2015-MaigaHNSL #case study #empirical #experience #scalability

An empirical study on the handling of crash reports in a large software company: An experience report (AM, AHL, MN, KKS, AL), pp. 342–351.

MSR-2015-OhiraKYYMLFHIM #classification #dataset #debugging

A Dataset of High Impact Bugs: Manually-Classified Issue Reports (MO, YK, YY, HY, YM, NL, KF, HH, AI, KiM), pp. 518–521.

SANER-2015-AggarwalRTHGS #debugging #detection #re-engineering

Detecting duplicate bug reports with software engineering domain knowledge (KA, TR, FT, AH, RG, ES), pp. 211–220.

SANER-2015-TianL #case study #comparative #debugging #effectiveness

A comparative study on the effectiveness of part-of-speech tagging techniques on bug reports (YT, DL), pp. 570–574.

HIMI-IKC-2015-LiangG #approach #information management #ontology #safety #semantics #web

Improving Knowledge Management in Patient Safety Reporting: A Semantic Web Ontology Approach (CL, YG), pp. 118–128.

ICEIS-v1-2015-Kozmina #empirical #recommendation

An Empirical Study of Recommendations in OLAP Reporting Tool (NK), pp. 303–312.

SEKE-2015-HughesDH #detection #streaming

Detecting Reporting Anomalies in Streaming Sensing Systems (SH, YD, JOH), pp. 427–432.

SEKE-2015-LaserRDOZ #architecture #case study #evolution #experience #product line

Architectural Evolution of a Software Product Line: an experience report (ML, EMR, ARPD, FMdO, AFZ), pp. 217–222.

SEKE-2015-SantosODN #experience #quality

Reporting an Experience on the Establishment of a Quality Model for Systems-of-Systems (DSS, BRNO, AD, EYN), pp. 304–309.

SIGIR-2015-Carterette #effectiveness #random #testing

The Best Published Result is Random: Sequential Testing and its Effect on Reported Effectiveness (BC), pp. 747–750.

SIGIR-2015-Gupta #named

CricketLinking: Linking Event Mentions from Cricket Match Reports to Ball Entities in Commentaries (MG), pp. 1033–1034.

AMT-2015-SelimCDLO #case study #debugging #experience #model transformation #verification

Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report (GMKS, JRC, JD, LL, BJO), pp. 26–35.

SAC-2015-ZhangYLC #concept #debugging #mining #predict #repository

Predicting severity of bug report by mining bug repository with concept profile (TZ, GY, BL, ATSC), pp. 1553–1558.

ESEC-FSE-2015-FengCJFX #crowdsourcing #testing

Test report prioritization to assist crowdsourced testing (YF, ZC, JAJ, CF, BX), pp. 225–236.

ESEC-FSE-2015-Moran #android #debugging

Enhancing Android application bug reporting (KM), pp. 1045–1047.

ESEC-FSE-2015-MoranVBP #android #debugging

Auto-completing bug reports for Android applications (KM, MLV, CBC, DP), pp. 673–686.

ICSE-v2-2015-DoligezFHM #development #functional #programming #security #validation #xml

Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator (DD, CF, TH, MM), pp. 209–218.

ICSE-v2-2015-Jazayeri #case study #experience #learning #programming

Combining Mastery Learning with Project-Based Learning in a First Programming Course: An Experience Report (MJ), pp. 315–318.

ICSE-v2-2015-LindvallGAW #case study #experience #modelling #testing

Metamorphic Model-Based Testing Applied on NASA DAT — An Experience Report (ML, DG, RA, REW), pp. 129–138.

ICSE-v2-2015-RupakhetiC #architecture #case study #education #experience #student

Teaching Software Architecture to Undergraduate Students: An Experience Report (CRR, SVC), pp. 445–454.

SPLC-2015-ChavarriagaRNCJ #case study #configuration management #experience #feature model #modelling #multi #using

Using multiple feature models to specify configuration options for electrical transformers: an experience report (JC, CR, CN, RC, VJ), pp. 216–224.

SPLC-2015-YueAS #analysis #case study #cyber-physical #experience #product line

Cyber-physical system product line engineering: comprehensive domain analysis and experience report (TY, SA, BS), pp. 338–347.

ISSTA-2015-DahseH #case study #empirical #experience #php #security

Experience report: an empirical study of PHP security mechanism usage (JD, TH), pp. 60–70.

ISSTA-2015-WangZT #case study #execution #experience #how #symbolic computation #testing

Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE (XW, LZ, PT), pp. 199–210.

TAP-2015-GogollaHHS #case study #consistency #experience #ocl #uml

Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study (MG, LH, FH, MS), pp. 129–136.

ASE-2014-Borg #debugging #re-engineering #using

Embrace your issues: compassing the software engineering landscape using bug reports (MB), pp. 891–894.

ASE-2014-SeguraSC #analysis #automation #case study #e-commerce #experience #testing #variability

Automated variability analysis and testing of an E-commerce site.: an experience report (SS, ABS, ARC), pp. 139–150.

ASE-2014-ThungKL #debugging #detection #named #tool support

DupFinder: integrated tool support for duplicate bug report detection (FT, PSK, DL), pp. 871–874.

PODS-2014-Tao

A dynamic I/O-efficient structure for one-dimensional top-k range reporting (YT), pp. 256–265.

VLDB-2014-ShirakawaHN #independence #named #realtime #twitter

MLJ: Language-Independent Real-Time Search of Tweets Reported by Media Outlets and Journalists (MS, TH, SN), pp. 1605–1608.

CSEET-2014-RongZS #case study #education #experience #matter #process

Where does experience matter in software process education? An experience report (GR, HZ, DS), pp. 129–138.

TFPIE-2014-IshiiA #debugging

Report on a User Test and Extension of a Type Debugger for Novice Programmers (YI, KA), pp. 1–18.

ESOP-2014-MatosGR #fault #named #using

REAP: Reporting Errors Using Alternative Paths (JM, JG, PR), pp. 453–472.

TACAS-2014-Beyer #contest #summary #verification

Status Report on Software Verification — (Competition Summary SV-COMP 2014) (DB0), pp. 373–388.

CSMR-WCRE-2014-AntinyanSMOWWHH #agile #case study #development #experience #identification #industrial #risk management

Identifying risky areas of software code in Agile/Lean software development: An industrial experience report (VA, MS, WM, PÖ, EW, JW, AH, JH), pp. 154–163.

CSMR-WCRE-2014-XiaLWSZ #debugging #empirical

An empirical study of bug report field reassignment (XX, DL, MW, ES, BZ), pp. 174–183.

ICPC-2014-WangL #debugging #locality #version control

Version history, similar report, and structure: putting them together for improved bug localization (SW, DL), pp. 53–63.

ICSME-2014-HabringerMP #case study #experience #legacy #reverse engineering #sql

Reverse Engineering PL/SQL Legacy Code: An Experience Report (MH, MM, JP), pp. 553–556.

ICSME-2014-HuoDMG #debugging #empirical

An Empirical Study of the Effects of Expert Knowledge on Bug Reports (DH, TD, CM, MG), pp. 1–10.

ICSME-2014-WongXZHZM #analysis #fault #locality #segmentation

Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis (CPW, YX, HZ, DH, LZ, HM), pp. 181–190.

ICSME-2014-YeasminRS #debugging #evolution #interactive #summary #topic #using #visualisation

Interactive Visualization of Bug Reports Using Topic Evolution and Extractive Summaries (SY, CKR, KAS), pp. 421–425.

ICSME-2014-ZhouTGG #classification #data mining #debugging #mining

Combining Text Mining and Data Mining for Bug Report Classification (YZ, YT, RG, HCG), pp. 311–320.

MSR-2014-CampbellHA #fault #modelling #syntax

Syntax errors just aren’t natural: improving error reporting with language models (JCC, AH, JNA), pp. 252–261.

MSR-2014-JoorabchiMM #debugging #exclamation

Works for me! characterizing non-reproducible bug reports (MEJ, MM, AM), pp. 62–71.

MSR-2014-LazarRS #debugging #detection #metric #similarity #using

Improving the accuracy of duplicate bug report detection using textual similarity measures (AL, SR, BS), pp. 308–311.

ICALP-v1-2014-AfshaniCT #ram

Deterministic Rectangle Enclosure and Offline Dominance Reporting on the RAM (PA, TMC, KT), pp. 77–88.

DUXU-TMT-2014-AvilaL #usability

Relationship between Elements of the Usability and Emotions Reported after Use: A Mexican Case (ICLÁ, LRPL), pp. 285–295.

DUXU-TMT-2014-BansemirHLWG #case study #effectiveness #experience #interactive #prototype #visualisation

Experience Report: The Effectiveness of Paper Prototyping for Interactive Visualizations (BB, FH, BL, JW, RG), pp. 3–13.

DUXU-TMT-2014-KojoHV #mobile #self #testing

Customer Journey Mapping of an Experience-Centric Service by Mobile Self-reporting: Testing the Qualiwall Tool (IK, MH, JPV), pp. 261–272.

DUXU-TMT-2014-MasipOG #evaluation #heuristic #industrial #user interface

Common Industry Format (CIF) Report Customization for UX Heuristic Evaluation (LM, MO, TG), pp. 475–483.

HIMI-AS-2014-TomotoH

Report on Practice of Note-Rebuilding Support System (TT, TH), pp. 127–136.

ICEIS-v3-2014-CarreiraDAD #perspective

Environmental Disclosure — From the Accounting to the Report Perspective (FC, AD, RA, FD), pp. 496–501.

KDD-2014-AvvenutiCMMT #realtime

EARS (earthquake alert and report system): a real time decision support system for earthquake crisis management (MA, SC, AM, CM, MT), pp. 1749–1758.

KDIR-2014-KurasEAH #data mining #mining #security

The GDR Through the Eyes of the Stasi — Data Mining on the Secret Reports of the State Security Service of the former German Democratic Republic (CK, TE, CA, GH), pp. 360–365.

SEKE-2014-XavierMM #comprehension #git

Understanding the popularity of reporters and assignees in the Github (JX, AM, MdAM), pp. 484–489.

ICMT-2014-BlouinPDSD #case study #experience #graph grammar #modelling

Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report (DB, AP, PD, FS, JPD), pp. 106–121.

RE-2014-BonfimNDS #case study #experience #modelling

Modelling sustainability in a procurement system: An experience report (CB, WN, LD, MS), pp. 402–411.

RE-2014-PorterLS #case study #experience #feedback #framework #requirements #using

Building a National E-Service using Sentire experience report on the use of Sentire: A volere-based requirements framework driven by calibrated personas and simulated user feedback (CP, EL, MAS), pp. 374–383.

REFSQ-2014-HerrmannHLW #case study #education #experience #requirements

Experience-Oriented Approaches for Teaching and Training Requirements Engineering: An Experience Report (AH, AH, DL, RW), pp. 254–267.

REFSQ-2014-KossakMGI #case study #experience #specification

Improving the Understandability of Formal Specifications: An Experience Report (FK, AM, VG, CI), pp. 184–199.

REFSQ-2014-MaidenLZBAL #approach #case study #experience #specification

A Requirements-Led Approach for Specifying QoS-Aware Service Choreographies: An Experience Report (NAMM, JL, KZ, AB, GDA, FL), pp. 239–253.

FSE-2014-YeBL #debugging #learning #rank #using

Learning to rank relevant files for bug reports using domain knowledge (XY, RCB, CL), pp. 689–699.

SPLC-2014-DomisSGAK #analysis #case study #experience #industrial #reuse

Customizing domain analysis for assessing the reuse potential of industrial software systems: experience report (DD, SS, TG, MA, HK), pp. 310–319.

ASPLOS-2014-RuanVLS #case study #experience #legacy #transaction #using

Transactionalizing legacy code: an experience report using GCC and Memcached (WR, TV, YL, MFS), pp. 399–412.

ICST-2014-PatelK #case study #enterprise #experience #implementation #reuse #testing

Test Case Reuse in Enterprise Software Implementation — An Experience Report (SP, RKK), pp. 99–102.

CBSE-2013-GortonLLED #case study #component #experience #using

Build less code deliver more science: an experience report on composing scientific environments using component-based and commodity software platforms (IG, YL, CL, TE, KKvD), pp. 159–168.

ASE-2013-LouLDFZX #case study #experience #online

Software analytics for incident management of online services: An experience report (JGL, QL, RD, QF, DZ, TX), pp. 475–485.

SIGMOD-2013-DeshpandeLTDSRHD #knowledge base #maintenance #using

Building, maintaining, and using knowledge bases: a report from the trenches (OD, DSL, MT, SD, SS, AR, VH, AD), pp. 1209–1220.

CSEET-2013-DebGG #case study #experience #re-engineering #social

Software engineering projects with social significance: An experience report at a minority university (DD, LG, MG), pp. 314–318.

CSEET-2013-ScharfK #agile #re-engineering

Scrum in a software engineering course: An in-depth praxis report (AS, AK), pp. 159–168.

CSMR-2013-BhattacharyaUNK #analysis #android #debugging #empirical #open source

An Empirical Analysis of Bug Reports and Bug Fixing in Open Source Android Apps (PB, LU, IN, SCK), pp. 133–143.

CSMR-2013-BorgPR #network

Analyzing Networks of Issue Reports (MB, DP, PR), pp. 79–88.

CSMR-2013-LamkanfiD #debugging #predict

Predicting Reassignments of Bug Reports — An Exploratory Investigation (AL, SD), pp. 327–330.

CSMR-2013-LerchM #debugging

Finding Duplicates of Your Yet Unwritten Bug Report (JL, MM), pp. 69–78.

CSMR-2013-SneedE #java #migration

Migrating AS400-COBOL to Java: A Report from the Field (HMS, KE), pp. 231–240.

ICPC-2013-PruijtKB #analysis #architecture #dependence #on the

On the accuracy of Architecture Compliance Checking support Accuracy of dependency analysis and violation reporting (LP, CK, SB), pp. 172–181.

ICSM-2013-MorenoBHM #debugging #on the #source code

On the Relationship between the Vocabulary of Bug Reports and Source Code (LM, WB, SH, AM), pp. 452–455.

ICSM-2013-TianLS #analysis #debugging #multi #named #predict

DRONE: Predicting Priority of Reported Bugs by Multi-factor Analysis (YT, DL, CS), pp. 200–209.

MSR-2013-AlipourHS #approach #debugging #detection #towards

A contextual approach towards more accurate duplicate bug report detection (AA, AH, ES), pp. 183–192.

MSR-2013-NaguibNBH #debugging #process #recommendation #using

Bug report assignee recommendation using activity profiles (HN, NN, BB, DH), pp. 22–30.

MSR-2013-NistorJT #debugging #performance

Discovering, reporting, and fixing performance bugs (AN, TJ, LT), pp. 237–246.

MSR-2013-ShokripourAKZ #debugging #recommendation #why

Why so complicated? simple term filtering and weighting for location-based bug report assignment recommendation (RS, JA, ZMK, SZ), pp. 2–11.

MSR-2013-WangKZ #correlation #debugging #locality #using

Improving bug localization using correlations in crash reports (SW, FK, YZ), pp. 247–256.

WCRE-2013-AeschlimannLNW #case study #ecosystem #experience #legacy #pl-i

Analyzing PL/1 legacy ecosystems: An experience report (EA, ML, ON, CFW), pp. 441–448.

WCRE-2013-FryW #clustering #fault #maintenance #static analysis

Clustering static analysis defect reports to reduce maintenance costs (ZPF, WW), pp. 282–291.

WCRE-2013-LiuTZ #debugging #question

Has this bug been reported? (KL, HBKT, HZ), pp. 82–91.

ICFP-2013-PetersenGDAD #case study #experience #functional #programming

Experience report: functional programming of mHealth applications (CP, MG, DTD, JMA, GAD), pp. 357–362.

ICFP-2013-St-AmourT #case study #experience #random testing #testing

Experience report: applying random testing to a base type environment (VSA, NT), pp. 351–356.

CHI-2013-MollerKSRD #behaviour #self

Investigating self-reporting behavior in long-term studies (AM, MK, BS, LR, SD), pp. 2931–2940.

HCI-AMTE-2013-WincklerBB

Characterizing Incidents Reporting Systems across Applications Domains (MW, CB, RB), pp. 521–530.

HCI-AS-2013-CravenSMSMVRC #development #requirements #self #smarttech

User Requirements for the Development of Smartphone Self-reporting Applications in Healthcare (MPC, KS, RSKM, HS, AM, KV, NRF, JC), pp. 36–45.

HCI-AS-2013-HuaG #comprehension #difference #evaluation #predict #protocol #safety #usability

Usability Evaluation of a Voluntary Patient Safety Reporting System: Understanding the Difference between Predicted and Observed Time Values by Retrospective Think-Aloud Protocols (LH, YG), pp. 94–100.

ICEIS-v1-2013-Kozmina #recommendation

Adding Recommendations to OLAP Reporting Tool (NK), pp. 169–176.

ICEIS-v3-2013-FerreiraFSCRPO #analysis #interactive #search-based

Log Analysis of Human Computer Interactions Regarding Break The Glass Accesses to Genetic Reports (AMF, PF, CSP, RJCC, PPR, AdCP, VO), pp. 46–53.

CIKM-2013-ThostVS #query #recommendation

Query matching for report recommendation (VT, KV, DS), pp. 1391–1400.

ECIR-2013-TsaiW #ranking

Risk Ranking from Financial Reports (MFT, CJW), pp. 804–807.

SIGIR-2013-KatoSYI #bound #evaluation #robust

Report from the NTCIR-10 1CLICK-2 Japanese subtask: baselines, upperbounds and evaluation robustness (MPK, TS, TY, MI), pp. 753–756.

TOOLS-EUROPE-J-2012-LilisS13 #approach #debugging #fault #metaprogramming

An Integrated Approach to Source Level Debugging and Compile Error Reporting in Metaprograms (YL, AS), pp. 1–26.

ICSE-2013-BouwersDV #case study #experience #industrial #metric

Evaluating usefulness of software metrics: an industrial experience report (EB, AvD, JV), pp. 921–930.

ICST-2013-LiuYTH #automation #debugging #generative #named

R2Fix: Automatically Generating Bug Fixes from Bug Reports (CL, JY, LT, MH), pp. 282–291.

VMCAI-2013-SlabyST #classification #database #named

ClabureDB: Classified Bug-Reports Database (JS, JS, MT), pp. 268–274.

QoSA-2012-Abi-AntounAH #case study #experience #graph #object-oriented

Extraction of ownership object graphs from object-oriented code: an experience report (MAA, NA, ZH), pp. 133–142.

WICSA-ECSA-2012-WoodsB #architecture #case study #experience #industrial #information management #scalability #using

Using an Architecture Description Language to Model a Large-Scale Information System — An Industrial Experience Report (EW, RB), pp. 239–243.

ASE-2012-NguyenNNLS #debugging #detection #information retrieval #modelling #topic

Duplicate bug report detection with a combination of information retrieval and topic modeling (ATN, TTN, TNN, DL, CS), pp. 70–79.

PODS-2012-Nekrich #category theory

Space-efficient range reporting for categorical data (YN), pp. 113–120.

PODS-2012-ShengT #memory management

Dynamic top-k range reporting in external memory (CS, YT), pp. 121–130.

CSEET-2012-AlmeidaLFLRWYYY #case study #development #distributed #education #experience

Teaching Globally Distributed Software Development: An Experience Report (ESdA, DL, SRF, CL, ZR, DMW, JY, MY, LY), pp. 105–109.

CSEET-2012-SajeevC

Will They Report It? Ethical Attitude of Graduate Software Engineers in Reporting Bad News (ASMS, IC), pp. 42–51.

ITiCSE-2012-BrownPSE #analysis #complexity #generative #named

JUG: a JUnit generation, time complexity analysis and reporting tool to streamline grading (CB, RP, BS, JE), pp. 99–104.

CSMR-2012-LamkanfiD #analysis #debugging

Filtering Bug Reports for Fix-Time Analysis (AL, SD), pp. 379–384.

CSMR-2012-TianSL #debugging #identification

Improved Duplicate Bug Report Identification (YT, CS, DL), pp. 385–390.

ICSM-2012-LotufoMC #debugging #modelling #process

Modelling the “Hurried” bug report reading process to summarize bug reports (RL, ZM, KC), pp. 430–439.

ICSM-2012-ThungLJLRD #debugging #question

When would this bug get reported? (FT, DL, LJ, L, FR, PTD), pp. 420–429.

MSR-2012-MartiePSL #android #debugging #roadmap #topic

Trendy bugs: Topic trends in the Android bug reports (LM, VKP, HS, CVL), pp. 120–123.

WCRE-2012-DaviesRW #debugging #locality #similarity #using

Using Bug Report Similarity to Enhance Bug Localisation (SD, MR, MW), pp. 125–134.

ICALP-v2-2012-DieudonneP #network

Deterministic Network Exploration by Anonymous Silent Agents with Local Traffic Reports (YD, AP), pp. 500–512.

FM-2012-OsaiweranFGR #case study #component #design #experience #formal method #using

Experience Report on Designing and Developing Control Components Using Formal Methods (AO, TF, JFG, BJvR), pp. 341–355.

IFM-2012-BlackmoreHBER #automation #generative #simulation #verification

Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports (TB, DH, PB, KE, NR), pp. 84–98.

ICFP-2012-DanielsGR #biology #case study #experience #haskell

Experience report: Haskell in computational biology (NMD, AG, NR), pp. 227–234.

ICFP-2012-PikeWNG #case study #compilation #experience

Experience report: a do-it-yourself high-assurance compiler (LP, NW, SN, AG), pp. 335–340.

IFL-2012-WuMBS #case study #experience #lazy evaluation #mining

Pure and Lazy λ Mining — An Experience Report (NW, JPM, JB, WS), pp. 207–223.

CHI-2012-AntinS #bias #case study #motivation #self #social

Social desirability bias and self-reports of motivation: a study of amazon mechanical turk in the US and India (JA, ADS), pp. 2925–2934.

CSCW-2012-VaatajaE #challenge #mobile

Briefing news reporting with mobile assignments: perceptions, needs and challenges (HV, PE), pp. 485–494.

CAiSE-2012-BinderDDDFGGHHRRW #case study #clustering #experience #on the #process

On Analyzing Process Compliance in Skin Cancer Treatment: An Experience Report from the Evidence-Based Medical Compliance Cluster (EBMC2) (MB, WD, GD, RD, KAF, WG, WG, KH, MH, SRM, CR, SW), pp. 398–413.

EDOC-2012-Holmes #design #execution #modelling

From Business Application Execution to Design Through Model-Based Reporting (TH), pp. 143–153.

CIKM-2012-ZhouZ #debugging #learning #rank

Learning to rank duplicate bug reports (JZ, HZ), pp. 852–861.

KR-2012-GebserGKOSS #programming #reasoning #set

Stream Reasoning with Answer Set Programming: Preliminary Report (MG, TG, RK, PO, OS, TS).

SIGIR-2012-ArnoldS #topic

A topic model of clinical reports (CWA, WS), pp. 1031–1032.

TOOLS-EUROPE-2012-LilisS #debugging #fault #metaprogramming #precise

Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs (YL, AS), pp. 155–170.

TOOLS-EUROPE-2012-Sureka #component #debugging #learning

Learning to Classify Bug Reports into Components (AS), pp. 288–303.

SAC-2012-GrooteOW #case study #experience #formal method

Experience report on developing the Front-end client unit under the control of formal methods (JFG, AO, JHW), pp. 1183–1190.

FSE-2012-LiuTC #debugging #question

Has this bug been reported? (KL, HBKT, MC), p. 28.

FSE-2012-ManiCSD #approach #debugging #named #summary

AUSUM: approach for unsupervised bug report summarization (SM, RC, VSS, AD), p. 11.

FSE-2012-NguyenNNN #approach #debugging #multi

Multi-layered approach for recovering links between bug reports and fixes (ATN, TTN, HAN, TNN), p. 63.

ICSE-2012-DangWZZN #clustering #named #similarity #stack

ReBucket: A method for clustering duplicate crash reports based on call stack similarity (YD, RW, HZ, DZ, PN), pp. 1084–1093.

ICSE-2012-LuciaLJB #refinement

Active refinement of clone anomaly reports (L, DL, LJ, AB), pp. 397–407.

ICSE-2012-Sprenger #case study #experience #how #industrial #re-engineering

How software engineering can benefit from traditional industries — A practical experience report (Invited industrial talk) (TS), p. 1000.

ICSE-2012-ZhouZL #debugging #information retrieval #locality

Where should the bugs be fixed? More accurate information retrieval-based bug localization based on bug reports (JZ, HZ, DL), pp. 14–24.

SPLC-2012-KircherH #agile #case study #development #experience #reuse

Combining systematic reuse with Agile development: experience report (MK, PH), pp. 215–219.

ICLP-2012-Balduccini #set #source code

An Answer Set Solver for non-Herbrand Programs: Progress Report (MB), pp. 49–60.

ICLP-2012-BaralVL #how #knowledge base #why

Answering Why and How questions with respect to a frame-based knowledge base: a preliminary report (CB, NHV, SL), pp. 26–36.

ICLP-2012-LeeM #modelling #quantifier

Stable Models of Formulas with Generalized Quantifiers (Preliminary Report) (JL, YM), pp. 61–71.

ICST-2012-JonssonBSE #automation #scalability #towards #using

Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked Generalization (LJ, DB, KS, SE), pp. 437–446.

ICST-2012-Runeson #case study #collaboration #experience #industrial

It Takes Two to Tango — An Experience Report on Industry — Academia Collaboration (PR), pp. 872–877.

ASE-2011-NguyenNANN #approach #debugging #topic

A topic-based approach for narrowing the search space of buggy files from a bug report (ATN, TTN, JMAK, HVN, TNN), pp. 263–272.

ASE-2011-SunLKJ #debugging #retrieval #towards

Towards more accurate retrieval of duplicate bug reports (CS, DL, SCK, JJ), pp. 253–262.

HT-2011-StewartSN #approach #detection #social #social media

A transfer approach to detecting disease reporting events in blog social media (AS, MS, WN), pp. 271–280.

ICDAR-2011-LamiroyLS #algorithm #analysis #contest #documentation

Document Analysis Algorithm Contributions in End-to-End Applications: Report on the ICDAR 2011 Contest (BL, DPL, TS), pp. 1521–1525.

CSEET-2011-Shepperd #case study #education #experience

Group project work from the outset: An in-depth teaching experience report (MJS), pp. 361–370.

CSEET-2011-TabriziVD #case study #development #experience #re-engineering

Development of North Carolina’s first Software Engineering program: An experience report (MHNT, SV, JD), pp. 266–273.

CSEET-2011-Tanuan #case study #design #experience #mobile #programming

Design and delivery of a modern mobile application programming course — An experience report (MT), pp. 237–246.

ITiCSE-2011-KurianMJ #generative #information retrieval #named #repository

IR2gT: a report generation tool for institutional repository (JCK, AM, BMJ), p. 371.

ITiCSE-2011-PorterLSCZ #case study #experience #multi

Experience report: a multi-classroom report on the value of peer instruction (LP, CBL, BS, QIC, DZ), pp. 138–142.

CSMR-2011-LamkanfiDSV #algorithm #debugging #mining #predict

Comparing Mining Algorithms for Predicting the Severity of a Reported Bug (AL, SD, QDS, TV), pp. 249–258.

ICSM-2011-DhaliwalKZ #case study #debugging

Classifying field crash reports for fixing bugs: A case study of Mozilla Firefox (TD, FK, YZ), pp. 333–342.

WCRE-2011-CodobanMM #design #fault #named #problem

iProblems — An Integrated Instrument for Reporting Design Flaws, Vulnerabilities and Defects (MC, CM, RM), pp. 437–438.

WCRE-2011-Mintchev #integration #legacy #program transformation

Renovation by Machine-Assisted Program Transformation in Production Reporting and Integration (SM), pp. 406–410.

FM-2011-KlebanovMSLWAABCCHJLMPPRSTTUW #case study #contest #experience

The 1st Verified Software Competition: Experience Report (VK, PM, NS, GTL, VW, EA, RA, DB, RC, EC, MAH, BJ, KRML, RM, FP, NP, TR, JS, ST, TT, MU, BW), pp. 154–168.

SEFM-2011-VassevH #case study #experience #model checking

Developing Model-Checking Mechanisms for ASSL: An Experience Report (EV, MH), pp. 19–34.

ICFP-2011-MagalhaesH #case study #experience #functional #modelling

Functional modelling of musical harmony: an experience report (JPM, BdH), pp. 156–162.

CHI-2011-Kaye #self

Self-reported password sharing strategies (JK), pp. 2619–2622.

CSCW-2011-GuoZNM #debugging #exclamation

“Not my bug!” and other reasons for software bug report reassignments (PJG, TZ, NN, BM), pp. 395–404.

DUXU-v1-2011-HeckerB #case study #enterprise #experience #process #scalability #user interface

Scalability of UX Activities in Large Enterprises: An Experience Report from SAP AG (BH, MB), pp. 425–431.

HCI-ITE-2011-MorieCB #case study #using

Report on a Preliminary Study Using Breath Control and a Virtual Jogging Scenario as Biofeedback for Resilience Training (JFM, EC, JGB), pp. 474–480.

HIMI-v2-2011-HuaG #bibliography #design #effectiveness #perspective

Design Effective Voluntary Medical Incident Reporting Systems: A Literature Review (LH, YG), pp. 253–261.

ICEIS-v2-2011-HouGM

Accounting Information Content and Timeliness of Annual Report Disclosure — An Evidence from China’s Listed Companies (PH, GG, ZM), pp. 400–408.

CIKM-2011-HeRSOQ #case study #generative #using

Generating links to background knowledge: a case study using narrative radiology reports (JH, MdR, MS, RCvO, YQ), pp. 1867–1876.

CIKM-2011-MartinezL #information management

Information extraction from pathology reports in a hospital setting (DM, YL), pp. 1877–1882.

ECIR-2011-SubasicB #twitter

Peddling or Creating? Investigating the Role of Twitter in News Reporting (IS, BB), pp. 207–213.

SEKE-2011-SantosWCV #case study #education #experience #learning #re-engineering #repository

Supporting Software Engineering Education through a Learning Objects and Experience Reports Repository (RPdS, CW, HC, SV), pp. 272–275.

SEKE-2011-WuXKP #analysis #data mining #debugging #mining #named #reliability

BUGMINER: Software Reliability Analysis Via Data Mining of Bug Reports (LW, BX, GEK, RJP), pp. 95–100.

REFSQ-2011-MahauxHS #case study #experience #requirements

Discovering Sustainability Requirements: An Experience Report (MM, PH, GS), pp. 19–33.

ICSE-2011-BoehmV #challenge #estimation #research

Impact of software resource estimation research on practice: a preliminary report on achievements, synergies, and challenges (BWB, RV), pp. 1057–1065.

ICSE-2011-ZhangJHHZ #process #simulation

Impact of process simulation on software practice: an initial report (HZ, DRJ, DH, LH, LZ), pp. 1046–1056.

SPLC-2011-Achatz #case study #challenge #experience #industrial #product line

Product Line Engineering at Siemens — Challenges and Success Factors: A Report on Industrial Experiences in Product Line Engineering (RA), pp. 10–11.

SPLC-2011-Pohjalainen #agile #bottom-up #case study #experience #mobile #modelling #network #product line

Bottom-up Modeling for a Software Product Line: An Experience Report on Agile Modeling of Governmental Mobile Networks (PP), pp. 323–332.

ICST-2011-Sun #debugging #question #why

Why are Bug Reports Invalid? (JS), pp. 407–410.

ASE-2010-ShangAH #case study #experience #mining #pipes and filters #repository #scalability #tool support #using

An experience report on scaling tools for mining software repositories using MapReduce (WS, BA, AEH), pp. 275–284.

ASE-2010-SindhgattaNSVR #developer #mining

Timesheet assistant: mining and reporting developer effort (RS, NCN, BS, KV, AGR), pp. 265–274.

SIGMOD-2010-FuKOPZ #incremental

Ajax-based report pages as incrementally rendered views (YF, KK, KWO, YP, KKZ), pp. 567–578.

VLDB-2010-FabbriLZ #named #query

PolicyReplay: Misconfiguration-Response Queries for Data Breach Reporting (DF, KL, QZ), pp. 36–47.

CSEET-2010-Garousi #case study #experience #testing

An Open Modern Software Testing Laboratory Courseware — An Experience Report (VG), pp. 177–184.

ITiCSE-2010-SimonKPZ #case study #experience

Experience report: CS1 for majors with media computation (BS, PK, LP, DZ), pp. 214–218.

CSMR-2010-CavalcantiACLM #debugging #problem

An Initial Study on the Bug Report Duplication Problem (YCC, ESdA, CEAdC, DL, SRdLM), pp. 264–267.

ICSM-2010-BezemerZPHH #case study #experience #industrial #multitenancy

Enabling multi-tenancy: An industrial experience report (CPB, AZ, BP, TH, A'H), pp. 1–8.

ICSM-2010-GergelyBGG #case study #experience #industrial #metric

Effect of test completeness and redundancy measurement on post release failures — An industrial experience report (TG, ÁB, TG, MIG), pp. 1–10.

MSR-2010-GegickRX #case study #debugging #identification #industrial #mining #security

Identifying security bug reports via text mining: An industrial case study (MG, PR, TX), pp. 11–20.

MSR-2010-LamkanfiDGG #debugging #predict

Predicting the severity of a reported bug (AL, SD, EG, BG), pp. 1–10.

ICFP-2010-CrestaniS #case study #experience #programming language #student

Experience report: growing programming languages for beginning students (MC, MS), pp. 229–234.

ICFP-2010-Pop #case study #experience #haskell #python

Experience report: Haskell as a reagent: results and observations on the use of Haskell in a python project (IP), pp. 369–374.

CHI-2010-KoC #debugging #how

How power users help and hinder open bug reporting (AJK, PKC), pp. 1665–1674.

CHI-2010-SauroL #question #testing #usability #what

Average task times in usability tests: what to report? (JS, JRL), pp. 2347–2350.

CSCW-2010-BreuPSZ #debugging #developer

Information needs in bug reports: improving cooperation between developers and users (SB, RP, JS, TZ), pp. 301–310.

SOFTVIS-2010-AdamoliH #analysis #framework #named #performance #visualisation

Trevis: a context tree visualization & analysis framework and its use for classifying performance failure reports (AA, MH), pp. 73–82.

AdaEurope-2010-Schonberg #ada #towards

Towards Ada 2012: An Interim Report (ES), pp. 238–250.

SIGAda-2010-Schmidt #ada #case study #experience #integration #java

Experience report: Ada & Java integration in the FAA’s ERAM SWIM program (RBS), pp. 33–34.

SIGAda-2010-Schonberg #ada #towards

Towards Ada 2012: an interim report (ES), pp. 63–70.

KEOD-2010-HirvonenTPCFF #fuzzy #keyword #ontology

Fuzzy Keyword Ontology for Annotating and Searching Event Reports (JH, TT, AP, CC, MF, RF), pp. 251–256.

KR-2010-AntoniouPB #reasoning

Reasoning about Context in Ambient Intelligence Environments: A Report from the Field (GA, CP, AB).

SEKE-2010-BernhartAMG #automation #case study #experience #framework #integration #testing #verification

Automated Integration Testing and Verification of a Secured SOA Infrastructure — an Experience Report in eHealth (MB, TA, AM, TG), pp. 198–202.

SEKE-2010-CunhaCNAM #analysis #debugging #visual notation

A Visual Bug Report Analysis and Search Tool (CEAdC, YCC, PAdMSN, ESdA, SRdLM), pp. 742–747.

RE-2010-BerryCAA #case study #experience #requirements

Requirements Determination is Unstoppable: An Experience Report (DMB, KC, MA, MA), pp. 311–316.

RE-2010-LiuLP #bibliography #requirements #why

Why Requirements Engineering Fails: A Survey Report from China (LL, TL, FP), pp. 317–322.

ICSE-2010-PaulischZ #architecture #case study #certification #experience

A role-based qualification and certification program for software architects: an experience report from Siemens (FP, PZ), pp. 21–27.

ICSE-2010-RastkarMM #case study #debugging

Summarizing software artifacts: a case study of bug reports (SR, GCM, GM), pp. 505–514.

ICSE-2010-SahooCA #automation #debugging #empirical

An empirical study of reported bugs in server software with implications for automated bug diagnosis (SKS, JC, VSA), pp. 485–494.

ICSE-2010-SongWXZM #debugging #detection #named

JDF: detecting duplicate bug reports in Jazz (YS, XW, TX, LZ, HM), pp. 315–316.

ICSE-2010-SunLWJK #approach #debugging #retrieval

A discriminative model approach for accurate duplicate bug report retrieval (CS, DL, XW, JJ, SCK), pp. 45–54.

LDTA-2010-BrandMSH #case study #domain-specific language #experience

Formally specified type checkers for domain specific languages: experience report (MvdB, APvdM, AS, ATH), p. 12.

PLEASE-2010-StroblBG #case study #evolution #experience #incremental

An experience report on the incremental adoption and evolution of an SPL in eHealth (SS, MB, TG), pp. 16–23.

CSEET-2009-KoolmanojwongB #case study #education #experience #research #using

Using Software Project Courses to Integrate Education and Research: An Experience Report (SK, BWB), pp. 26–33.

CSEET-2009-KrishnanRS #case study #collaboration #experience #industrial

Industry Academia Collaboration: An Experience Report at a Small University (PK, KJR, PAPS), pp. 117–121.

CSEET-2009-SkandanS #case study #education #experience #induction #re-engineering

Software Engineering Education at TCS Induction — An Experience Report (SS, MS), pp. 16–19.

ICSM-2009-AnbalaganV #debugging #on the #open source #predict

On predicting the time taken to correct bug reports in open source projects (PA, MAV), pp. 523–526.

ICSM-2009-Chapin #maintenance

Software maintenance in complying with IT governance: A report from the field (NC), pp. 499–502.

ICSM-2009-GeetD #case study #cobol #experience #feature model

Feature location in COBOL mainframe systems: An experience report (JVG, SD), pp. 361–370.

ICSM-2009-KnabFGP #interactive #problem

Interactive views for analyzing problem reports (PK, BF, HG, MP), pp. 527–530.

MSR-2009-LinsteadB #debugging #gnome #mining #modelling #statistics #topic

Mining the coherence of GNOME bug reports with statistical topic models (EL, PB), pp. 99–102.

MSR-2009-MatterKN #debugging #developer #using

Assigning bug reports using a vocabulary-based expertise model of developers (DM, AK, ON), pp. 131–140.

ICFP-2009-BalatVY #case study #experience #framework #programming #web

Experience report: ocsigen, a web programming framework (VB, JV, BY), pp. 311–316.

ICFP-2009-CuoqSBBCCMPP #case study #experience #framework #ml #static analysis

Experience report: OCaml for an industrial-strength static analysis framework (PC, JS, PB, RB, GC, LC, BM, VP, AP), pp. 281–286.

ICFP-2009-KleinDE #case study #experience #kernel #verification

Experience report: seL4: formally verifying a high-performance microkernel (GK, PD, KE), pp. 91–96.

ICFP-2009-NewtonK #case study #domain-specific language #embedded #experience #functional #parallel

Experience report: embedded, parallel computer-vision with a functional DSL (RN, TK), pp. 59–64.

ICFP-2009-PaganoAMCCWMC #case study #certification #embedded #experience #framework #ml #safety #tool support #using

Experience report: using objective caml to develop safety-critical embedded tools in a certification framework (BP, OA, TM, BC, EC, PW, PM, JLC), pp. 215–220.

ICFP-2009-Sampson #case study #experience #functional #haskell #lazy evaluation

Experience report: Haskell in the “real world”: writing a commercial application in a lazy functional language (CJS), pp. 185–190.

HCD-2009-KohlsdorfLB #bibliography #evaluation #mobile

A Mobile Application for Survey Reports: An Evaluation (DK, ML, MB), pp. 212–220.

HCD-2009-MarcusGS #maturity #standard #usability #validation

Validating a Standardized Usability/User-Experience Maturity Model: A Progress Report (AM, RG, RS), pp. 104–109.

HIMI-II-2009-LevaKCLKSM #performance #safety

Unique Reporting Form: Flight Crew Auditing of Everyday Performance in an Airline Safety Management System (MCL, AMK, JC, GL, SK, DS, NM), pp. 806–815.

OCSC-2009-Cotton #network #online #social

Innovation Networks: A Report on Creating a Specialist Professional Social Network, Offline and Online, to Foster Innovation in the New Media Sector (BC), pp. 312–321.

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

SEKE-2009-RusNSC #algorithm #clustering #fault #graph #using

Clustering of Defect Reports Using Graph Partitioning Algorithms (VR, XN, SGS, YC), pp. 442–445.

MoDELS-2009-Weissleder #industrial #modelling #state machine #testing #uml

Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation (SW), pp. 211–225.

MoDELS-2009-Weissleder #industrial #modelling #state machine #testing #uml

Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation (SW), pp. 211–225.

ESEC-FSE-2009-KnabKP #problem

Smart views for analyzing problem reports: tool demo (PK, HG, MP), pp. 289–290.

CAV-2009-AbadiBC #modelling #protocol #proving #security

Models and Proofs of Protocol Security: A Progress Report (MA, BB, HCL), pp. 35–49.

ECSA-2008-RoyG #architecture #case study #experience #framework

An Iterative Framework for Software Architecture Recovery: An Experience Report (BR, TCNG), pp. 210–224.

ASE-2008-JaspanQA #fault #logic

Error Reporting Logic (CJ, TQ, JA), pp. 138–147.

CSMR-2008-GlorieZHD #case study #concept analysis #evolution #experience #industrial #scalability #using

Splitting a Large Software Archive for Easing Future Software Evolution — An Industrial Experience Report using Formal Concept Analysis (MG, AZ, LH, AvD), pp. 153–162.

CSMR-2008-LajiosSV #metric

Supporting Language Conversion by Metric Based Reports (GL, DS, FV), pp. 314–316.

ICSM-2008-BettenburgPZK #debugging #harmful #question

Duplicate bug reports considered harmful ... really? (NB, RP, TZ, SK), pp. 337–345.

ICSM-2008-MenziesM #assessment #automation #fault

Automated severity assessment of software defect reports (TM, AM), pp. 346–355.

ICSM-2008-ThakkarJHHF #repository

Retrieving relevant reports from a customer engagement repository (DT, ZMJ, AEH, GH, PF), pp. 117–126.

MSR-2008-BettenburgPZK #debugging

Extracting structural information from bug reports (NB, RP, TZ, SK), pp. 27–30.

MSR-2008-HerraizGGR #debugging #eclipse #towards

Towards a simplification of the bug report form in eclipse (IH, DMG, JMGB, GR), pp. 145–148.

MSR-2008-PattisonBD

Talk and work: a preliminary report (DSP, CB, PTD), pp. 113–116.

MSR-2008-SiyCS #challenge #developer #segmentation #using

Summarizing developer work history using time series segmentation: challenge report (HPS, PC, MS), pp. 137–140.

PEPM-2008-FeiginM #hardware

Jones optimality and hardware virtualization: a report on work in progress (BF, AM), pp. 169–175.

FM-2008-ChalinR #fault #ml #performance #runtime #using

JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity (PC, FR), pp. 246–261.

ICFP-2008-ConveyFGMH #case study #erlang #experience

Experience report: erlang in acoustic ray tracing (CC, AF, CG, DM, LH), pp. 115–118.

ICFP-2008-DolstraHHHJLLMRS #contest #programming

Report on the tenth ICFP programming contest (ED, JH, BH, SH, JJ, AL, CL, AM, AR, JvS), pp. 397–408.

ICFP-2008-DukeBRW #case study #experience #functional #pipes and filters #visualisation

Experience report: visualizing data through functional pipelines (DJD, RB, CR, MW), pp. 379–382.

ICFP-2008-Jones #case study #domain-specific language #experience #game studies

Experience report: playing the DSL card (MPJ), pp. 87–90.

ICFP-2008-Nanavati #case study #experience

Experience report: a pure shirt fits (RN), pp. 347–352.

ICEIS-AIDSS-2008-SharpanskykhSB #analysis #modelling #safety

Organizational Modeling and Analysis of Safety Occurrence Reporting in Air Traffic (AS, SHS, HAPB), pp. 225–230.

SEKE-2008-RusMS #automation #clustering #fault

Automatic Clustering of Defect Reports (VR, SM, SGS), pp. 291–296.

SIGIR-2008-ChenJYW #clustering #debugging #information retrieval #learning

Information retrieval on bug locations by learning co-located bug report clusters (IXC, HJ, CZY, PJW), pp. 801–802.

TOOLS-EUROPE-2008-SteimannES #fault #testing #towards

Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported Errors (FS, TEE, MS), pp. 60–79.

RE-2008-BeattyA #case study #experience #requirements

Games-Based Requirements Engineering Training: An Initial Experience Report (JB, MA), pp. 211–216.

RE-2008-HoWR #fault #performance #problem #requirements

Examining the Relationships between Performance Requirements and “Not a Problem” Defect Reports (CWH, LW, BR), pp. 135–144.

FSE-2008-BettenburgJSWPZ #debugging #question #what

What makes a good bug report? (NB, SJ, AS, CW, RP, TZ), pp. 308–318.

ICSE-2008-WangZXAS #approach #debugging #detection #execution #natural language #using

An approach to detecting duplicate bug reports using natural language and execution information (XW, LZ, TX, JA, JS), pp. 461–470.

ASPLOS-2008-CastroCM #debugging #privacy

Better bug reporting with better privacy (MC, MC, JPM), pp. 319–328.

ICLP-2008-LeeLP #modelling

Safe Formulas in the General Theory of Stable Models (Preliminary Report) (JL, VL, RP), pp. 672–676.

CBSE-2007-LiuZG #assessment #case study #experience #performance

Performance Assessment for e-Government Services: An Experience Report (YL, LZ, IG), pp. 74–89.

WICSA-2007-BassMBHC #architecture #case study #experience

Architectural Misalignment: An Experience Report (MB, VM, LB, JDH, MC), p. 17.

ASE-2007-HooimeijerW #debugging #modelling #quality

Modeling bug report quality (PH, WW), pp. 34–43.

CSEET-2007-PortK #case study #experience #learning #re-engineering

Laptop Enabled Active Learning in the Software Engineering Classroom: An Experience Report (DP, RK), pp. 262–274.

CSEET-2007-TilleyWS #re-engineering

Report from the 3rd International Symposium on Software Engineering Course Projects (SWECP 2006) (SRT, KW, SS), pp. 237–246.

CSMR-2007-KanstrenHK #case study #experience #legacy #testing

Integrating and Testing a System-Wide Feature in a Legacy System: An Experience Report (TK, MH, KK), pp. 203–212.

ICPC-2007-ZhangI #analysis #fault

Error Report Driven Post-Mortem Analysis (YZ, SPI), pp. 208–220.

ICSM-2007-HenrardRCH #case study #data-driven #experience #industrial #legacy #migration

An Industrial Experience Report on Legacy Data-Intensive System Migration (JH, DR, AC, JLH), pp. 473–476.

ICSM-2007-WangSY #case study #distributed #experience #re-engineering

Experience Report: Reengineering Standalone System into the Service-Partition Distributed Environment (XW, JS, XY), pp. 477–480.

MSR-2007-AnvikM #debugging #implementation

Determining Implementation Expertise from Bug Reports (JA, GCM), p. 2.

PLDI-2007-HaRDRRPCW #black box #component #fault

Improved error reporting for software that uses black-box components (JH, CJR, JVD, IR, HER, DEP, DLC, EW), pp. 101–111.

ICFP-2007-BeshersFS #case study #experience #functional #linux #programming #using

Experience report: using functional programming to manage a linux distribution (CB, DF, JS), pp. 213–218.

ICFP-2007-CooperM #case study #experience #haskell #interpreter

Experience report: a Haskell interpreter for cellML (JC, SM), pp. 247–250.

ICFP-2007-Frenzel #case study #experience #haskell #ide

Experience report: building an eclipse-based IDE for Haskell (LF), pp. 220–222.

ICFP-2007-SimsD #case study #experience #validation

Experience report: the reactis validation tool (SS, DCD), pp. 137–140.

ICFP-2007-Wazny #case study #experience #functional #programming

Experience report: functional programming in c-rules (JW), pp. 25–28.

ICFP-2007-WelshG #case study #development #experience #web

Experience report: scheme in commercial web application development (NW, DG), pp. 153–156.

AGTIVE-2007-AschenbrennerG #graph #graph grammar #using

Transforming Scene Graphs Using Triple Graph Grammars — A Practice Report (NA, LG), pp. 32–43.

HCI-AS-2007-HayakawaUSAK #design #developer #identification #process #web

Report on Project to Identify Excellent Local Government Web Sites An Attempt to Educate Web Systems Developers on the Importance of Human-Centered Design Processes (SH, HU, TS, NA, YK), pp. 899–905.

ICEIS-EIS-2007-LeutgebUWF #adaptation #process #semantics

Adaptive Processes in E-Government — A Field Report about Semantic-Based Approaches from the EU-Project “FIT” (AL, WU, RW, HGF), pp. 264–269.

CIKM-2007-ChevalletLL #concept #multi

Domain knowledge conceptual inter-media indexing: application to multilingual multimedia medical reports (JPC, JHL, DTHL), pp. 495–504.

SIGIR-2007-ZhangL #classification #semantics

Semantic text classification of disease reporting (YZ, BL), pp. 747–748.

OOPSLA-2007-BondNKGM #fault #null

Tracking bad apples: reporting the origin of null and undefined value errors (MDB, NN, SWK, SZG, KSM), pp. 405–422.

RE-2007-HoWA #performance #requirements #specification

Improving Performance Requirements Specifications from Field Failure Reports (CWH, LW, AIA), pp. 79–88.

SAC-2007-AnderssonGLW

Reporting leadership patterns among trajectories (MA, JG, PL, TW), pp. 3–7.

ICSE-2007-KarailaS #case study #experience #industrial #metaprogramming #visual notation

Applying Template Meta-Programming Techniques for a Domain-Specific Visual Language — An Industrial Experience Report (MK, TS), pp. 571–580.

ICSE-2007-RunesonAN #detection #fault #natural language #using

Detection of Duplicate Defect Reports Using Natural Language Processing (PR, MA, ON), pp. 499–510.

CBSE-2006-KadriMS #case study #enterprise #experience

CBSE in Small and Medium-Sized Enterprise: Experience Report (RK, FM, SS), pp. 154–165.

SIGMOD-2006-KoudasMS #case study #experience #using

Using SPIDER: an experience report (NK, AM, DS), p. 719.

VLDB-2006-HuangNL #consistency #data flow #database #distributed #named #towards

TRAC: Toward Recency and Consistency Reporting in a Database with Distributed Data Sources (JH, JFN, ML), pp. 223–234.

CSEET-2006-BunseGPSV #case study #developer #experience

Coaching Professional Software Developers — An Experience Report (CB, IG, CP, SSN, CV), pp. 123–130.

CSEET-2006-HendrixUC #case study #design #experience

Designing a First-Year Project Course to Engage Freshman Software Engineers: An Experience Report (TDH, DAU, JHCI), pp. 25–34.

CSEET-2006-LucenaBG #case study #education #experience #re-engineering #student

A Germany-Brazil Experience Report on Teaching Software Engineering for Electrical Engineering Undergraduate Students (VFdLJ, AB, PG), pp. 69–76.

CSEET-2006-ThomasWT #case study #education #experience #re-engineering

Eight Years of Delivering Professional Education and Training for Software Engineering at Fraunhofer IESE: An Experience Report (LT, PEW, ST), pp. 131–140.

CSEET-2006-TilleyWHS #re-engineering

Report from the 2nd International Workshop on Software Engineering Course Projects (SWECP 2005) (SRT, KW, SH, SS), pp. 87–94.

ITiCSE-2006-BiancoT

One step further the ACM K-12 final report: a proposal for level 1: computer organization for K-8 (GMB, ST), pp. 207–211.

CSMR-2006-DAnielloMT #case study #experience

Technological Innovation within EDS Italia Software: Experience Report (AD, AM, AT), pp. 362–366.

MSR-2006-Beyer #challenge #co-evolution #visualisation

Co-change visualization applied to PostgreSQL and ArgoUML: (MSR challenge report) (DB), pp. 165–166.

WCRE-2006-SneedS #interface #reverse engineering

Reverse Engineering of System Interfaces A Report from the Field (HMS, SHS), pp. 125–133.

DLT-J-2005-AnanichevPV06 #word

Collapsing Words: a Progress Report (DSA, IVP, MVV), pp. 507–518.

EDOC-2006-ChowdharyPPCW #modelling #performance

Model-Driven Dashboards for Business Performance Reporting (PC, TP, FP, SKC, FYW), pp. 374–386.

ICEIS-AIDSS-2006-RokachRM #automation #concept #identification

Automatic Identification of Negated Concepts in Narrative Clinical Reports (LR, RR, OM), pp. 257–262.

GPCE-2006-Weimer #debugging

Patches as better bug reports (WW), pp. 181–190.

SAC-2006-Fasli #on the

On the relationship between roles and power: preliminary report (MF), pp. 313–318.

ICSE-2006-Anvik #automation #debugging

Automating bug report assignment (JA), pp. 937–940.

SAT-2006-Gelder #metric #proving

Preliminary Report on Input Cover Number as a Metric for Propositional Resolution Proofs (AVG), pp. 48–53.

CBSE-2005-Beznosov #architecture #case study #component #design #experience #implementation #web #web service

Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services (KB), pp. 337–352.

WICSA-2005-BassMO #quality

Quality Session Report (LB, MM, FGO), pp. 191–192.

WICSA-2005-Clements #architecture #documentation

Software Architecture Documentation in Practice Session Report (PCC), pp. 257–258.

WICSA-2005-CrnkovicJ #component

Components and Services Session Report (IC, VJ), pp. 269–271.

WICSA-2005-Garlan #analysis #architecture #evaluation

Software Architecture Evaluation and Analysis Session Report (DG), pp. 227–228.

WICSA-2005-Hofmeister #architecture

Architecting Session Report (CH), pp. 209–210.

WICSA-2005-ShawV #architecture #education

Software Architecture Education Session Report (MS, HvV), pp. 185–190.

WICSA-2005-StaffordB

Working Session Reports (JAS, JB), pp. 181–184.

WICSA-2005-Tyree #architecture #design

Architectural Design Decisions Session Report (JT), pp. 285–286.

WICSA-2005-WoodsH #architecture

Architecture Description Languages in Practice Session Report (EW, RH), pp. 243–246.

DATE-2005-IllgenO #assurance #case study #experience #perspective #process #quality

Process Oriented Software Quality Assurance — An Experience Report in Process Improvement — OEM Perspective (TI, SO), pp. 536–537.

CSMR-2005-GraafDD #architecture #case study #embedded #experience #industrial

Evaluating an Embedded Software Reference Architecture — Industrial Experience Report (BG, HWvD, AvD), pp. 354–363.

STOC-2005-MortensenPP #on the

On dynamic range reporting in one dimension (CWM, RP, MP), pp. 104–111.

DLT-2005-AnanichevPV #word

Collapsing Words: A Progress Report (DSA, IVP, MVV), pp. 11–21.

MoDELS-2005-ChengSB #analysis #automation #case study #experience #industrial #lessons learnt #modelling #uml

Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report) (BHCC, RS, BB), pp. 324–338.

MoDELS-2005-ChengSB #analysis #automation #case study #experience #industrial #lessons learnt #modelling #uml

Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report) (BHCC, RS, BB), pp. 324–338.

RE-2005-AlexanderRM #industrial #process #requirements #what

What Influences the Requirements Process in Industry? A Report on Industrial Practice (IFA, SR, NAMM), pp. 411–415.

RE-2005-Nakamura #analysis #integration #project management

Analysis of Project Management Reports of 49 System Integration Projects (TN), pp. 485–486.

RE-2005-WassonSLK #fault #requirements #using

Using Occurrence Properties of Defect Report Data to Improve Requirements (KSW, KNS, RRL, JCK), pp. 253–262.

ESEC-FSE-2005-HochsteinBZHC #automation #metric #programming #self

Combining self-reported and automatic data to improve programming effort measurement (LH, VRB, MVZ, JKH, JC), pp. 356–365.

ICSE-2005-BlahaMSSV #ambiguity #design #multi #student

Do students recognize ambiguity in software design? a multi-national, multi-institutional report (KB, AEM, DS, BS, TV), pp. 615–616.

ICSE-2005-GortonZ #architecture #case study #evaluation #experience #re-engineering #tool support

Tool support for just-in-time architecture reconstruction and evaluation: an experience report (IG, LZ), pp. 514–523.

ICSE-2005-HeitmeyerP #case study #experience

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

ICSE-2005-PankratiusS #case study #development #experience #information management

Information systems development at the virtual global university: an experience report (VP, WS), pp. 639–640.

AMOST-2005-Lakey #industrial #modelling #specification #testing

Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system: an industry report (PBL).

ASE-2004-PerssonY #automation #case study #experience #industrial #testing

Establishment of Automated Regression Testing at ABB: Industrial Experience Report on “Avoiding the Pitfalls” (CP, NY), pp. 112–121.

DATE-DF-2004-Thiel #validation

Have I Really Met Timing? — Validating PrimeTime Timing Reports with Spice (TT), pp. 114–119.

PODS-2004-Bonatti #datalog #decidability #on the #query #recursion

On the Decidability of Containment of Recursive Datalog Queries — Preliminary report (PAB), pp. 297–306.

CSEET-2004-Kaner #education #testing

Teaching Domain Testing: A Status Report (CK), pp. 112–117.

ITiCSE-2004-Lopez-HerrejonS #case study #experience #interactive #java #using

Using interactive technology in a short java course: an experience report (RELH, MS), pp. 203–207.

ITiCSE-2004-Tanaka-IshiiKT #feedback #named #programming #verification

EMMA: a web-based report system for programming course--automated verification and enhanced feedback (KTI, KK, MT), p. 278.

ITiCSE-WGR-2004-Gorgone #bibliography #education #information management

Information systems and the overview report for computing curricula 2004 (JTG), pp. 15–16.

CSMR-2004-Pizka #adaptation #case study #experience #open source #scalability

Adaptation of Large-Scale Open Source Software — An Experience Report (MP), pp. 147–153.

IWPC-2004-Tadonki #reverse engineering

Universal Report: A Generic Reverse Engineering Tool (CT), pp. 266–267.

WCRE-2004-Sneed #re-engineering

Reengineering Reports (HMS), pp. 17–26.

ICEIS-v4-2004-GottliebS #internet

Financial Reporting: An Internet Clearinghouse (MG, BS), pp. 397–402.

UML-2004-BauerdickGG #case study #detection #experience #ocl #uml

Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report (HB, MG, FG), pp. 188–196.

UML-2004-MullerBS #architecture #case study #experience #modelling

Model-Driven Architecture for Automatic-Control: An Experience Report (PAM, DB, PS), pp. 260–274.

ICSE-2004-GortonH #architecture #case study #experience #nondeterminism

Architecting in the Face of Uncertainty: An Experience Report (IG, JH), pp. 543–551.

ICSE-2004-HaRCRD #case study #composition #experience #induction #proving #realtime

Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report (VH, MR, DDC, HR, BD), pp. 304–313.

ICSE-2004-HasselbringRJSTK #case study #design pattern #experience #information management #migration

The Dublo Architecture Pattern for Smooth Migration of Business Information Systems: An Experience Report (WH, RR, HJ, JS, TT, SK), pp. 117–126.

ICSE-2004-ManhartS #agile #case study #development #embedded #experience #industrial

Breaking the Ice for Agile Development of Embedded Software: An Industry Experience Report (PM, KS), pp. 378–386.

ICSE-2004-TurnerZKRBBBKLR #case study #experience #using #web #web service

Using Web Service Technologies to Create an Information Broker: An Experience Report (MT, FZ, IAK, MR, DB, KHB, PB, JAK, PJL, MR), pp. 552–561.

IJCAR-2004-Gottlob #finite #higher-order #logic #research

Second-Order Logic over Finite Structures — Report on a Research Programme (GG), pp. 229–243.

ICDAR-2003-Ratzlaff #bibliography #comparison #database #recognition

Methods, Report and Survey for the Comparison of Diverse Isolated Character Recognition Results on the UNIPEN Database (EHR), pp. 623–628.

SIGMOD-2003-GraySSU

The Lowell Report (JG, HJS, MS, JDU), p. 680.

WCRE-2003-FischerPG #debugging

Analyzing and Relating Bug Report Data for Feature Tracking (MF, MP, HG), pp. 90–101.

ICEIS-v1-2003-LeongL #approach #component #development #generative #named #using

REPCOM: A Customisable Report Generator Component System Using XML-Driven, Component-Based Development Approach (CHL, SPL), pp. 499–504.

UML-2003-YangX #architecture #case study #encoding #experience #uml

Encoding Informal Architectural Descriptions with UML: An Experience Report (YY, JX), pp. 138–142.

ICSE-2003-Berner #case study #development #experience

About the Development of a Point of Sale System: an Experience Report (SB), pp. 528–533.

ICSE-2003-Fairbanks #architecture #case study #developer #experience #modelling #why

Why Can’t They Create Architecture Models Like “Developer X”? An Experience Report (GF), pp. 548–552.

ICSE-2003-PodgurskiLFMMSW #automation

Automated Support for Classifying Software Failure Reports (AP, DL, PF, WM, MM, JS, BW), pp. 465–477.

ASE-2002-RoachB #automation #case study #deduction #experience #synthesis

Experience Report on Automated Procedure Construction for Deductive Synthesis (SR, JVB), p. 69–?.

SIGMOD-2002-PapakonstantinouPV #named #query #semistructured data

QURSED: querying and reporting semistructured data (YP, MP, VV), pp. 192–203.

VLDB-2002-ZellerK #case study #database #experience #optimisation #scalability

Experience Report: Exploiting Advanced Database Optimization Features for Large-Scale SAP R/3 Installations (BZ, AK), pp. 894–905.

ITiCSE-2002-CasselK #architecture

A state of the course report: computer organization & architecture (L(C, DK), pp. 175–177.

AdaEurope-2002-Hoe #case study #development #experience #re-engineering

Software Development Reengineering — An Experience Report (AH), pp. 100–112.

EDOC-2002-Anido-RifonSRC #case study #experience

An MDA-Based Model for Vertical Application Task Forces: An Experience Report (LEAR, JMS, JSR, MC), p. 167–?.

LSO-2002-FeldmannP #case study #experience #online #re-engineering #repository

An On-Line Software Engineering Repository for Germany?s SME ? An Experience Report (RLF, MP), pp. 34–43.

GPCE-2002-CzarneckiBUE #case study #embedded #experience #generative #industrial #programming

Generative Programming for Embedded Software: An Industrial Experience Report (KC, TB, PU, UWE), pp. 156–172.

ICSE-2002-GehrkeGNNTWZ #industrial #re-engineering

Reporting about industrial strength software engineering courses for undergraduates (MG, HG, UN, JN, MT, JPW, AZ), pp. 395–405.

ICLP-2002-PearceSSTW #logic programming #polynomial #source code

A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report (DP, VS, TS, HT, SW), pp. 405–420.

VLDB-2001-Gibbons #query

Distinct Sampling for Highly-Accurate Answers to Distinct Values Queries and Event Reports (PBG), pp. 541–550.

CSEET-2001-MaleticHM #case study #experience #re-engineering

Incorporating PSP into a Traditional Software Engineering Course: An Experience Report (JIM, AH, AM), pp. 89–97.

CSMR-2001-AversanoCCL #case study #experience #legacy #migration #web

Migrating Legacy Systems to the Web: An Experience Report (LA, GC, AC, ADL), pp. 148–157.

IWPC-2001-Lethbridge #re-engineering #tool support

Report from the Dagstuhl Seminar on Interoperability of Reengineering Tools (TCL), p. 119.

STOC-2001-AlstrupBR

Optimal static range reporting in one dimension (SA, GSB, TR), pp. 476–482.

CHI-2001-FoggMLOVFPRSST #scalability #web #what

What makes Web sites credible?: a report on a large quantitative study (BJF, JM, OL, AO, CV, NF, JP, AR, JS, PS, MT), pp. 61–68.

SIGAda-2001-Edgerton #architecture #case study #development #experience

Experience report: architecture-based software development on the Crusader program (SE), pp. 127–128.

SIGAda-2001-PritchettW #case study #experience

Vetronics technology testbed: experience report (WP, BW), pp. 115–116.

ICEIS-v2-2001-CostaAD #process

The Meeting Report Process: Bridging EMS with PDA (CJC, PA, FD), pp. 821–826.

CIKM-2001-HouSZW #database #mobile

An Optimal Construction of Invalidation Reports for Mobile Databases (WCH, MS, HZ, HW), pp. 458–465.

KDD-2001-MahHL #mining #network

Funnel report mining for the MSN network (TM, HH, YL), pp. 450–455.

ICSE-2001-HuntR #documentation #implementation #using #version control #web

Using the Web for Document Versioning: An Implementation Report for Delta V (JJH, JR), pp. 507–513.

SAT-2001-AmirM #composition #problem #satisfiability #using

Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report) (EA, SM), pp. 329–343.

SAT-2001-HorvitzRGKSC #approach #problem

A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report) (EH, YR, CPG, HAK, BS, DMC), pp. 376–391.

SAT-2001-KautzRAGSS #problem #satisfiability

Balance and Filtering in Structured Satisfiable Problems (Preliminary Report) (HAK, YR, DA, CPG, BS, MES), pp. 2–18.

SAT-2001-McllraithA #proving #theorem proving

Theorem Proving with Structured Theories (Preliminary Report)* (SM, EA), pp. 311–328.

CSEET-2000-AndrewsL #case study #experience #maintenance

Experience Report: A Software Maintenance Project Course (JHA, HL), pp. 132–139.

CSEET-2000-Lisack #case study #experience #process #student

The Personal Software Process in the Classroom: Student Reactions (an Experience Report) (SKL), pp. 169–175.

CSEET-2000-Vaughn #industrial #re-engineering

A Report on Industrial Transfer of Software Engineering to the Classroom Environment (RBV), pp. 15–22.

ITiCSE-2000-Scanlan #multi #student

Student preference for multimedia-based lectures (poster session): a preliminary report (DAS), p. 192.

WCRE-2000-ParryLT #tool support

PBS Tool Demonstration Report on Xfig (TPI, EL, JT), pp. 200–202.

WCRE-2000-Riva #architecture #case study #experience #industrial

Reverse Architecting: An Industrial Experience Report (CR), p. 42–?.

WCRE-2000-TateishiW #case study #experience #maintenance #tool support

Applying Traditional Unix Tools during Maintenance: An Experience Report (AT, AW), pp. 203–206.

SAS-2000-JaramilloGS #debugging #named

FULLDOC: A Full Reporting Debugger for Optimized Code (CJ, RG, MLS), pp. 240–259.

AdaEurope-2000-RybinSFK #case study #experience #named

ASIS-for-GNAT: A Report of Practical Experiences (SR, AS, VF, AK), pp. 125–137.

CAiSE-2000-Kilpi #agile #empirical #metric #process

Managing the Software Process in the Middle of Rapid Growth: A Metrics Based Experiment Report from Nokia (TK), pp. 498–508.

KR-2000-BesnardS

Significant Inferences : Preliminary Report (PB, TS), pp. 401–410.

FSE-2000-HollingsworthBW #case study #experience #using

Experience report: using RESOLVE/C++ for commercial software (JEH, LB, BWW), pp. 11–19.

WICSA-1999-GruhnW #architecture #case study #experience #integration

Integration of Heterogeneous Software Architectures — An Experience Report (VG, UW), pp. 437–454.

DAC-1999-CaldwellKKM #clustering #development #heuristic

Hypergraph Partitioning for VLSI CAD: Methodology for Heuristic Development, Experimentation and Reporting (AEC, ABK, AAK, ILM), pp. 349–354.

CSEET-1999-FraileyELD #education #re-engineering

Status Report from the ACM/IEEE-CS Task Forces on Software Engineering Curriculum and Body of Knowledge (panel) (DJF, GLE, RJL, RD), p. 124–?.

CSMR-1999-MonteiroGAAS #fault #intranet

A Software Defect Report and Tracking System in an Intranet (ASM, MG, FBeA, ABdA, PS), pp. 198–202.

IWPC-1999-SneedD #distributed #object-oriented

Comprehending a Complex, Distributed, Object-Oriented Software System a Report from the Field (HMS, TD), pp. 218–225.

FM-v1-1999-Bousquet #case study #detection #experience #feature model #interactive #model checking #testing #using

Feature Interaction Detection Using Testing and Model-Checking Experience Report (LdB), pp. 622–641.

AdaEurope-1999-Hemeury #empirical

Report on the VERA Experiment (BH), pp. 103–113.

EDOC-1999-RenaudC #component #fault #framework #named

HERCULE: a framework for enhancing error reporting in component-based systems (KR, RLC), pp. 245–254.

CIKM-1999-LiddleCC #automation

Automatically Extracting Structure and Data from Business Reports (SWL, DMC, CC), pp. 86–93.

SEKE-1999-Brossler #case study #experience #information management

Knowledge Management at a Software House. An Experience Report (PB), pp. 163–170.

TOOLS-EUROPE-1999-ZarazagaVCNM #case study #experience #information management #named #network #object-oriented

TRUNIS: An Object Oriented Trunking Radio Telephone Network Information System. An Experience Report (FJZ, JV, SC, JNI, PRMM), pp. 251–260.

SAC-1999-FenwickD #automaton #estimation #using

Electrical Substation Service-Area Estimation Using Cellular Automata: An Initial Report (JWF, LJD), pp. 560–565.

ICSM-1998-Hissam #case study #experience #information management #off the shelf

Experience Report: Correcting System Failure in a COTS Information System (SAH), pp. 170–176.

FM-1998-OwreRSS #case study #experience #named

PVS: An Experience Report (SO, JMR, NS, DWJSC), pp. 338–345.

CHI-1998-TeelSRB

Voice-enabled Structured Medical Reporting (MMT, RS, DFR, MB), pp. 595–602.

AdaEurope-1998-Tonndorf #ada #case study #compilation #experience

Ten Years of Tool Based Ada Compiler Validations. An Experience Report (MT), pp. 176–187.

SIGAda-1998-Kamrad #ada #case study #experience

Ada experience report for BlazeNet, Inc. (JMKI), pp. 215–216.

KR-1998-EiterLMPS #benchmark #metric

The KR System dlv: Progress Report, Comparisons and Benchmarks (TE, NL, CM, GP, FS), pp. 406–417.

KR-1998-Lin #on the #quality

On Measuring Plan Quality (A Preliminary Report) (FL), pp. 224–233.

UML-1998-BourdeauLR #analysis #case study #diagrams #experience #uml

Hierarchical Context Diagrams with UML: An Experience Report on Satellite Ground System Analysis (EB, PL, PR), pp. 227–239.

UML-1998-OliveS #case study #experience #migration #uml

Porting ROSES to UML — An Experience Report (AO, MRS), pp. 64–77.

OOPSLA-1998-JacobsBHB #java #reasoning

Reasoning about Java Classes (Preliminary Report) (BJ, JvdB, MH, MvB), pp. 329–340.

TOOLS-USA-1998-WydaegheVMDAJ #case study #design pattern #experience #using

Building an OMT-Editor Using Design Patterns: An Experience Report (BW, KV, BM, BVD, EA, VJ), pp. 20–32.

ICRE-1998-HammerH #automation #case study #experience #how #requirements #tool support

Automated Requirements Management — Beware HOW You Use Tools: An Experience Report (TH, LH), pp. 34–40.

ICRE-1998-WeidenhauptPJH #development

Scenario Usage in System Development: A Report on Current Practice (KW, KP, MJ, PH), p. 222–?.

ICSE-1998-GruhnU #case study #experience #industrial #modelling #problem #process

Software Process Modeling and Enactment: An Experience Report Related to Problem Tracking in an Industrial Project (VG, JU), pp. 13–21.

ICSE-1998-HoudekSW #case study #experience

Establishing Experience Factories at Daimler-Benz An Experience Report (FH, KS, EW), pp. 443–447.

ICSE-1998-KuuselaMX #architecture #case study #experience #industrial #modelling

Architectural Modeling in Industry — An Experience Report (JK, AM, JX), pp. 512–515.

ICSE-1998-TesorieroZ #re-engineering

A Model of Noisy Software Engineering Data (Status Report) (RT, MVZ), pp. 461–464.

ITiCSE-WGR-1997-GoldweberIBCDFM #education

Historical perspectives on the computing curriculum (report of the ITiCSE 1997 working group on historical perspectives in computing education) (MG, JI, IAB, AGC, GD, HF, JPM, RR), pp. 94–111.

ITiCSE-WGR-1997-GrangerLABGJMY #education #information management #social #using

Using information technology to integrate social and ethical issues into the computer science and information systems curriculum (report of the ITiCSE 1997 working group on social and ethical issue in computing curricula) (MJG, JCL, ESA, CB, DG, DDJ, CDM, FHY), pp. 38–50.

ITiCSE-WGR-1997-JoyceKGKKLLSW #design #guidelines #recommendation #repository

Developing laboratories for the SIGCSE computing laboratory repository: guidelines, recommendations, and sample labs (report of the ITiCSE 1997 working group on designing laboratory materials for computing courses) (DTJ, DK, JGP, EBK, WK, CL, KL, ES, RAW), pp. 1–12.

ITiCSE-WGR-1997-LawheadABCCDDFS #distance #learning #web #what

The Web and distance learning: what is appropriate and what is not (report of the ITiCSE 1997 working group on the web and distance learning) (PBL, EA, CGB, LC, DC, JD, MD, ERF, KS), pp. 27–37.

ITiCSE-WGR-1997-NapsBJMPPT #interactive #using #visualisation

Using the WWW as the delivery mechanism for interactive, visualization-based instructional modules (report of the ITiCSE 1997 working group on visualization) (TLN, JB, RJP, MFM, MPM, VKP, JT), pp. 13–26.

ITiCSE-WGR-1997-SiviterPK #collaboration #effectiveness

Harnessing technology for effective inter- and intra-institutional collaboration (report of the ITiCSE 1997 working group on supporting inter- and intra institutional collaboration) (DS, MP, BJK), pp. 70–93.

ITiCSE-WGR-1997-WolzPACDKLMSW #collaboration #communication #education

Computer-mediated communication in collaborative educational settings (report of the ITiCSE 1997 working group on CMC in collaborative educational settings) (UW, JP, PA, ZC, JD, GK, AL, SM, RS, HMW), pp. 51–69.

CSMR-1997-MullerG #case study #experience #standard #tool support #using

Planning Year 2000 transformations using standard tools: an experience report (BM, RG), pp. 94–100.

ICSM-1997-Gupta #case study #comprehension #experience #using

Program Understanding Using Program Slivers — An Experience Report (AG), pp. 66–71.

CHI-1997-LaiV #named #recognition #speech

MedSpeak: Report Creation with Continuous Speech Recognition (JL, JV), pp. 431–438.

HCI-CC-1997-Marcus #design #user interface

Cultural Diversity for User Interface Design: A Progress Report (AM), pp. 145–148.

EDOC-1997-HerringMK #case study #distributed #enterprise #experience #modelling #nondeterminism

Selecting Distributed Object Technologies in the Presence of Uncertainty: an Experience Report on C4I enterprise modelling (CH, ZM, SMK), p. 245–?.

CIKM-1997-OsbornSM #database #documentation #retrieval

Evaluating Document Retrieval in Patent Database: A Preliminary Report (MO, TS, MM), pp. 216–221.

TOOLS-ASIA-1997-WangMS #case study #design pattern #development #experience #using

Experience Report: Using Design Patterns in the Development of JB System (YW, HM, WS), pp. 159–165.

ESEC-FSE-1997-LandSJ #design #detection #empirical #fault #performance #using #validation

Validating the Defect Detection Performance Advantage of Group Designs for Software Reviews: Report of a Laboratory Experiment Using Program Code (LPWL, CS, DRJ), pp. 294–309.

ESEC-FSE-1997-Obbink #analysis #architecture #case study #experience #industrial

Analysis of Software Architectures in High and Low Volume Electronic Systems, Industrial Experience Report (JHO), pp. 523–524.

ICSE-1997-AlurJKO #case study #experience #model checking #realtime

Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report) (RA, LJJ, JJK, JVO), pp. 514–524.

ICSE-1997-BonfattiGM #case study #development #experience #process

An Improved Process for the Development of PLC Software (Experience Report) (FB, GG, PDM), pp. 400–410.

ICSE-1997-DeLineZS #case study #experience #interactive #lessons learnt

Lessons on Converting Batch Systems to Support Interaction (Experience Report) (RD, GZ, MS), pp. 195–204.

ICSE-1997-DunietzESMI #case study #design #experience #testing

Applying Design of Experiments to Software Testing (Experience Report) (ISD, WKE, BDS, CLM, AI), pp. 205–215.

ICSE-1997-JagadeesanPPRV #case study #experience #testing #tool support

Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report) (LJJ, AAP, CP, JCR, LGV), pp. 525–535.

ICSE-1997-LaneZ #approach #case study #experience #metric

Intergrating Measurement with Improvement: An Action-Oriented Approach (Experience Report) (JAL, DZ), pp. 380–389.

ICSE-1997-NguyenWC #case study #evolution #experience #process

Total Software Process Model Evolution in EPOS (Experience Report) (MNN, AIW, RC), pp. 390–399.

ICSE-1997-PodorizhnyO #case study #comparison #design #experience #modelling

The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report (RMP, LJO), pp. 303–313.

CSEE-1996-MackeKNHCCM #industrial

An Industry/Academic Partnership that Worked: An In Progress Report (SM, SK, JN, IH, JC, AC, BM), pp. 234–247.

ITiCSE-1996-AdamsCKMEHM #interactive #multi

Interactive multimedia pedagogies: report of the working group on interactive multimedia pedagogy (ESA, LC, AK, JM, AE, PH, JM), pp. 182–191.

ITiCSE-1996-AlmstrumDBGLMPSS #evaluation #named

Evaluation: turning technology from toy to tool: report of the working group on evaluation (VLA, NBD, AB, MJG, JCL, DMM, MP, PS, FNS), pp. 201–217.

ITiCSE-1996-BerginBPMNRWGKJ #bibliography #design #visualisation

An overview of visualization: its use and design: report of the working group in visualization (JB, KB, MPM, MFM, TLN, SHR, JW, MG, SK, RJP), pp. 192–200.

ITiCSE-1996-HartleyGJMMPRS #education #interactive #internet #using #web

Enhancing teaching using the Internet: report of the working group on the World Wide Web as an interactive teaching resource (SH, JGP, DJ, CM, MDM, BAP, MR, MKS), pp. 218–228.

ITiCSE-1996-KnoxWJKKLMPR #education #guidelines

Use of laboratories in computer science education: guidelines for good practice: report of the working group on computing laboratories (DK, UW, DTJ, EBK, JK, AL, JPM, VKP, KAR), pp. 167–181.

ESOP-1996-Jones96a #compilation #haskell #program transformation

Compiling Haskell by Program Transformation: A Report from the Trenches (SLPJ), pp. 18–44.

CAiSE-1996-KudrassLB #case study #experience #legacy #re-engineering

Tool-Based Re-Engineering of a Legacy MIS: An Experience Report (TK, ML, APB), pp. 116–135.

AKDDM-1996-MatheusPM #what

Selecting and reporting What Is Interesting (CJM, GPS, DM), pp. 495–515.

KR-1996-BaaderS #logic #strict

Number Restrictions on Complex Roles in Description Logics: A Preliminary Report (FB, US), pp. 328–339.

KR-1996-MonteiroW #logic #multi

Preferential Multi-Agent Nonmonotonic Logics: Preliminary Report (AMM, JW), pp. 446–452.

ECOOP-1996-BaumerKGZ #case study #experience #object-oriented #scalability

Large Scale Object-Oriented Software-Development in a Banking Environment: An Experience Report (DB, RK, GG, HZ), pp. 73–90.

ICRE-1996-LutzW #analysis #case study #experience #requirements

Experience Report: Contributions of SFMEA to Requirements Analysis (RRL, RMW), pp. 44–51.

ICSE-1996-BifflGO #case study #distributed #experience

Engineering an “Open” Client/Server-Platform for a Distributed Austrian Alpine Road-Pricing System in 240 Days: Case Study and Experience Report (SB, TG, SO), pp. 115–124.

ISSTA-1996-PomakisA #analysis #feature model #interactive #reachability

Reachability Analysis of Feature Interactions: A Progress Report (KPP, JMA), pp. 216–223.

CSEE-1995-KhajenooriH #process

Personal Software Process: An Experiential Report (SK, IH), pp. 131–145.

ICSM-1995-CarmichaelTH #architecture #case study #design #experience #interactive #maintenance

Design maintenance: unexpected architectural interactions (experience report) (IC, VT, RCH), p. 134–?.

ICSM-1995-French #case study #experience #legacy #maintenance #process #re-engineering

Applying software engineering and process improvement to legacy defence system maintenance: an experience report (VAF), p. 337–?.

ICSM-1995-Williams #analysis #case study #design #experience #object-oriented #using

Using object oriented analysis and design in a non-object oriented environment experience report (KW), p. 109–?.

CAiSE-1995-NaratV #case study #evaluation #experience #maintenance

A Guide for Software Maintenance Evaluation: Experience Report (VN, AV), pp. 366–374.

ICSE-1995-ArdisCJMPSO #case study #experience #framework #specification

A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report (MAA, JAC, LJJ, PM, CP, MGS, JVO), pp. 159–168.

ICSE-1995-RosenbaumC #case study #experience #reuse

Managing Software Reuse — An Experience Report (SR, BdC), pp. 105–111.

ICSE-1995-VottaP #re-engineering #state of the art

Experimental Software Engineering: A Report on the State of the Art (LGV, AAP), pp. 277–279.

SIGMOD-1994-Kulkarni #object-oriented #sql

Object-Oriented Extensions in SQL3: A Status Report (KGK), p. 478.

ICSM-1994-AntoniniCC #case study #experience #legacy #quality #re-engineering #requirements

Reengineering Legacy Systems to Meet Quality Requirements: An Experience Report (PA, GC, AC), pp. 146–153.

ICSM-1994-SolingerEN #case study #development #experience #maintenance #re-engineering

Transferring Reengineering Technology to a Software Development and Maintenance Organization: An Experience Report (MS, AE, JQN), pp. 100–108.

CSCW-1994-KatzenbergM #summary

Meaning-Making in the Creation of Useful Summary Reports (BK, JPM), pp. 199–206.

TRI-Ada-1994-ShumateS #metric #process

Software Project Reporting: Management, Measurement, and Process Improvement (KS, TS), pp. 41–45.

KR-1994-KarthaL

Actions with Indirect Effects (Preliminary Report) (GNK, VL), pp. 341–350.

KR-1994-Meyden

Mutual Belief Revision (Preliminary Report) (RvdM), pp. 595–606.

OOPSLA-1994-CareyDKN #benchmark #metric #object-oriented

A Status Report on the oo7 OODBMS Benchmarking Effort (MJC, DJD, CK, JFN), pp. 414–426.

TOOLS-EUROPE-1994-PereiraD #case study #comparison #experience #object-oriented #realtime #using

Using Object-Orientation in Real-Time Applications: An Experience Report or (1 Application + 5 Approaches = 1 Comparison) (CEP, PD), pp. 147–158.

ICSE-1994-BrodmanJ #case study #experience #what

What Small Business and Small Organizations Say About the CMM: Experience Report (JGB, DLJ), pp. 331–340.

ICSE-1994-DeshmukhDLL #case study #experience #standard #testing

The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report (GD, RD, JFL, KAL), pp. 233–240.

ICSE-1994-DevanbuJ #case study #experience #logic

The Use of Description Logics in KBSE Systems: Experience Report (PTD, MAJ), pp. 23–35.

ICSE-1994-Johnson94a #case study #experience #process

Software Process Improvement Experience in the DP/MIS Function: Experience Report (AJ), pp. 323–329.

ICSE-1994-KeaneH #approach #case study #experience #formal method #parallel

A Formal Approach to Determining Parallel Resource Bindings: Experience Report (JAK, WH), pp. 15–22.

KBSE-1993-KorelskyMR #automation #generative #project management #requirements

Knowledge Requirements for the Automatic Generation of Project Management Reports (TK, DM, OR), p. 5.

ICDAR-1993-AbeMNK #comparison #detection

Comparison of methods for detecting corner points from digital curves-a preliminary report (KA, RM, KN, TK), pp. 854–857.

CSM-1993-Schneidewind #quality #standard

Report on the IEEE Standard for a Software Quality Memcs Methodology (NFS), pp. 104–106.

ICALP-1993-JategaonkarM #concurrent #finite

Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report) (LJ, ARM), pp. 519–531.

ECOOP-1993-BirrerE #case study #experience #framework

Frameworks in the Financial Engineering Domain — An Experience Report (AB, TE), pp. 21–35.

TOOLS-EUROPE-1993-CattaneoCLZ #analysis #bibliography #database #evolution #object-oriented

Overview and Progress Report of the ESSE Project: Supporting Object-Oriented Database Schema Analysis and Evolution (FC, ACP, LL, RZ), pp. 63–74.

RTA-1993-Field #approach #graph #incremental #reduction #term rewriting

A Graph Reduction Approach to Incremental Term Rewriting (Preliminary Report) (JF), pp. 259–273.

ICALP-1992-ChazelleR #bound #complexity #pointer

Lower Bounds on the Complexity of Simplex Range Reporting on a Pointer Machine (BC, BR), pp. 439–449.

TRI-Ada-C-1992-SeligPM #ada #data analysis #realtime

Data Analysis and Reporting for Real-Time Ada Systems (TS, DBP, BDM), pp. 469–476.

KR-1992-LifschitzW #reasoning #set

Answer Sets in General Nonmonotonic Reasoning (Preliminary Report) (VL, TYCW), pp. 603–614.

KR-1992-PatilFPMFGN

The DARPA Knowledge Sharing Effort: A Progress Report (RSP, RF, PFPS, DPM, TWF, TRG, RN), pp. 777–788.

KR-1992-Poesio

Conversational Events and Discourse State Change: A Preliminary Report (MP), pp. 369–380.

KR-1992-ShohamT #multi

Emergent Conventions in Multi-Agent Systems: Initial Experimental Results and Observations (Preliminary Report) (YS, MT), pp. 225–231.

TOOLS-EUROPE-1992-StevensB #case study #experience #object-oriented #scheduling

Developing Re-Usable Software for Scheduling Applications: a Report of Experiences with OO Technology (AS, FB), pp. 149–156.

ICSE-1992-Isoda #case study #experience #process #reuse #statistics

Experience Report on Software Reuse Project: Its Structure, Activities, and Statistical Results (SI), pp. 320–326.

CADE-1992-Blackburn

A Report in ICL HOL (KB), pp. 743–747.

VDME-1991-1-HepingZ #prototype

Prototyping with Temporal VDM: A Status Report (HH, HZ), pp. 681–682.

VDME-1991-1-HoustonK #case study #cics #experience

CICS Project Report: Experiences and Results from the use of Z in IBM (IH, SK), pp. 588–596.

KR-1991-Gardenfors

Nonmonotonic Inferences Based on Expectations: A Preliminary Report (PG), pp. 585–590.

IWPTS-1991-Rayner #standard

Status Report on ISO/IEC 9646 Standardization and Extension (DR), pp. 47–58.

STOC-1990-KfouryTU #problem

The Undecidability of the Semi-Unification Problem (Preliminary Report) (AJK, JT, PU), pp. 468–476.

ICALP-1990-Riecke #call-by #decidability #proving

A Complete and Decidable Proof System for Call-by-Value Equalities (Preliminary Report) (JGR), pp. 20–31.

CSCW-1990-YakemovicC #development #information management

Report on a Development Project Use of an Issue-Based Information System (KCBY, EJC), pp. 105–118.

ICSE-1990-BernsteinF #automation #case study #declarative #experience #maintenance #programming

Automatic Maintenance of Routine Programming Tasks Based on a Declarative Description (Experience Report) (DBB, RF), pp. 310–315.

ICSE-1990-Bush90a #case study #experience #metric #quality

Getting Started on Metrics — JPL Productivity and Quality (Experience Report) (MWB), pp. 133–142.

ICSE-1990-Bush90b #case study #experience #quality

Improving Software Quality: The Use of Formal Inspections at the JPL (Experience Report) (MWB), pp. 196–199.

ICSE-1990-DeMarcoG #case study #documentation #experience #video

Use of Video for Program Documentation (Experience Report) (TD, CG), pp. 126–128.

ICSE-1990-Diaz #case study #classification #experience #implementation #reuse

Implementing Faceted Classification for Software Reuse (Experience Report) (RPD), pp. 300–304.

ICSE-1990-Dowson #case study #experience #using

Experience Using the Graphite Meta-Tool (Experience Report) (MD), pp. 192–195.

ICSE-1990-GuihoH #case study #experience #validation

SACEM Software Validation (Experience Report) (GDG, CH), pp. 186–191.

ICSE-1990-ZucconiMW #case study #development #experience #object-oriented #prototype #using

Using Object-Oriented Development for Support Prototyping (Experience Report) (LZ, GM, LGW), pp. 129–132.

LICS-1990-HarelRV #bound #concurrent #on the #power of #reasoning #source code

On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) (DH, RR, MYV), pp. 478–488.

LICS-1990-Kolaitis #ambiguity #finite

Implicit Definability on Finite Structures and Unambiguous Computations (Preliminary Report) (PGK), pp. 168–180.

LICS-1990-KolaitisV #logic

0-1 Laws for Infinitary Logics (Preliminary Report) (PGK, MYV), pp. 156–167.

SEI-1989-ArdisF #education #re-engineering

SEI Report on Graduate Software Engineering Education (MAA, GAF), pp. 208–249.

STOC-1989-SafraV #automaton #logic #on the

On ω-Automata and Temporal Logic (Preliminary Report) (SS, MYV), pp. 127–137.

SIGIR-1989-BerrutC #approach #multi

Indexing Medical Reports in a Multimedia Environment: The RIME Experimental Approach (CB, YC), pp. 187–197.

ICSE-1989-HumphreyKK #re-engineering

The State of Software Engineering Practice: A Preliminary Report (WSH, DHK, TCK), pp. 277–288.

LICS-1989-Breazu-TannenCGS #inheritance

Inheritance and Explicit Coercion (Preliminary Report) (VT, TC, CAG, AS), pp. 112–129.

LICS-1989-KfouryTU #problem #unification

Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report) (AJK, JT, PU), pp. 98–105.

TAV-1989-RowlandZ #comparison

Experimental Comparison of Three System Test Strategies Preliminary Report (JHR, YZ), pp. 141–149.

SEI-1988-Ardis #design #education

SEI Report: The Design of an MSE Curriculum (MAA), p. 55.

STOC-1988-CosmadakisGKV #database #decidability #logic programming #optimisation #problem #source code

Decidable Optimization Problems for Database Logic Programs (Preliminary Report) (SSC, HG, PCK, MYV), pp. 477–490.

STOC-1988-HalpernMT #analysis #knowledge-based

A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) (JYH, YM, MRT), pp. 132–147.

VDME-1988-Ruggles88a #formal method #standard

Formal Methods in Standards — A Report from the BCS Working Group (CR), pp. 79–85.

LFP-1988-BobrowK #kernel #lisp #object-oriented

The Common Lisp Object System Metaobject Kernel: A Status Report (DGB, GK), pp. 309–315.

ICSE-1988-TerwilligerC

An Early Report on Encompass (RBT, RHC), pp. 344–355.

LICS-1988-Bloom #modelling #λ-calculus

Can LCF Be Topped? Flat Lattice models of Typed λ Calculus (Preliminary Report) (BB), pp. 282–295.

LICS-1987-Breazu-TannenM #morphism #polymorphism

Polymorphism is conservative over simple types (Preliminary Report) (VT, ARM), pp. 7–17.

LICS-1986-KapurM #induction #reasoning #specification

Inductive Reasoning with Incomplete Specifications (Preliminary Report) (DK, DRM), pp. 367–377.

LICS-1986-VardiW #approach #automation #verification

An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) (MYV, PW), pp. 332–344.

SIGMOD-1985-KuperV #logic #on the #power of

On the Expressive Power of the Logical Data Model (Preliminary Report) (GMK, MYV), pp. 180–187.

STOC-1985-FaginV #logic #semantics

An Internal Semantics for Modal Logic: Preliminary Report (RF, MYV), pp. 305–315.

STOC-1985-VardiS #bound #logic #source code

Improved Upper and Lower Bounds for Modal Logics of Programs: Preliminary Report (MYV, LJS), pp. 240–251.

ICALP-1985-Hrbacek #algebra

Powerdomains as Algebraic Lattices (Preliminary Report) (KH), pp. 281–289.

VLDB-1984-AbiteboulV #database #relational #transaction

Transactions in Relational Databases (Preliminary Report) (SA, VV), pp. 46–56.

STOC-1984-Harel #infinity

A General Result on Infinite Trees and Its Applications (Preliminary Report) (DH), pp. 418–427.

STOC-1984-Willard #protocol

Log-Logarithmic Protocols for Resolving Ethernet and Semaphore Conflicts (Preliminary Report) (DEW), pp. 512–521.

SIGIR-1984-Hollaar #retrieval

The Utah Text Retrieval Project — A Status Report (LAH), pp. 123–132.

CADE-1984-LankfordBB #algorithm

A Progress Report on New Decision Algorithms for Finitely Prsented Abelian Groups (DL, GBI, AMB), pp. 128–141.

STOC-1983-Ben-Or #algebra #bound

Lower Bounds for Algebraic Computation Trees (Preliminary Report) (MBO), pp. 80–86.

STOC-1983-Immerman #complexity

Languages Which Capture Complexity Classes (Preliminary Report) (NI), pp. 347–354.

STOC-1983-Myers #random

The Random Access Hierarchy (Preliminary Report) (DM), pp. 355–364.

SIGIR-1983-Kukich #automation #database #generative #knowledge-based #natural language

Knowledge-Based Report Generations: A Technique for Automatically Generating Natural Language Reports from Databases (KK), pp. 246–250.

SIGIR-1983-Wessel #information management

Progress Report on Project Information Bridge (AEW), pp. 49–74.

SIGMOD-1981-BrownCS

The Cedar DBMS: A Preliminary Report (MRB, RGGC, NS), pp. 205–211.

ICSE-1981-DuranN #random testing #testing

A Report on Random Testing (JWD, SCN), pp. 179–183.

VLDB-1980-Brodie80a #approach #database #relational #standard

Standardization and the Relational Approach to Databases: An ANSI Task Group Status Report (MLB), pp. 326–327.

VLDB-1980-Steel #database

Status Report on ISO/TC97/SC5/WG3 — Data Base Management Systems (TBSJ), pp. 321–325.

STOC-1979-ChandraH #database #query #relational

Computable Queries for Relational Data Bases (Preliminary Report) (AKC, DH), pp. 309–318.

STOC-1979-MeyerW #logic #on the #power of

On the Expressive Power of Dynamic Logic (Preliminary Report) (ARM, KW), pp. 167–175.

STOC-1979-Yao #complexity

Some Complexity Questions Related to Distributive Computing (Preliminary Report) (ACCY), pp. 209–213.

ICALP-1979-BookB #complexity #representation #set #similarity

Representing Complexity Classes by Equality Sets (Preliminary Report) (RVB, FJB), pp. 49–57.

ICALP-1979-CremersH #requirements

Arbitration and Queuing Under Limited Shared Storage Requirements (Preliminary Report) (ABC, TNH), pp. 147–160.

SIGIR-1979-Salton #automation #information retrieval

Progress Report on Automatic Information Retrieval (GS), p. 1.

STOC-1978-Miller #morphism #on the

On the n^log n Isomorphism Technique: A Preliminary Report (GLM), pp. 51–58.

STOC-1978-Pratt #logic

A Practical Decision Method for Propositional Dynamic Logic: Preliminary Report (VRP), pp. 326–337.

STOC-1978-RivestMKWS #fault

Coping with Errors in Binary Search Procedures (Preliminary Report) (RLR, ARM, DJK, KW, JS), pp. 227–232.

ICALP-1978-Biskup #metric #turing machine

Path Measures of Turing Machine Computations (Preliminary Report) (JB), pp. 90–104.

ICALP-1978-BookGW

Comparisons and Reset Machines (Preliminary Report) (RVB, SAG, CW), pp. 113–124.

ICALP-1978-Savitch #complexity #nondeterminism #parallel

Parallel and Nondeterministic Time Complexity Classes (Preliminary Report) (WJS), pp. 411–424.

VDM-1978-HenhaplJ #algol

A Formal Definition of Algol 60 as Described in the 1975 Modified Report (WH, CBJ), pp. 305–336.

VLDB-1977-Lincoln #database #encoding

Encoding, Decoding and Storing Melodies for a Data Base of Renaissance Polyphony: A Progress Report (HBL), pp. 277–282.

STOC-1977-HarelMP #logic #source code

Computability and Completeness in Logics of Programs (Preliminary Report) (DH, ARM, VRP), pp. 261–268.

STOC-1977-LynchB #performance #programming

Efficient Reducibility Between Programming Systems: Preliminary Report (NAL, EKB), pp. 228–238.

STOC-1976-CardozaLM #commutative #exponential #petri net #problem

Exponential Space Complete Problems for Petri Nets and Commutative Semigroups: Preliminary Report (EC, RJL, ARM), pp. 50–54.

STOC-1976-Valiant

Universal Circuits (Preliminary Report) (LGV), pp. 196–203.

SIGMOD-1975-Steel #database #standard

Data Base Standardization — A Status Report (TBSJ), pp. 149–156.

STOC-1975-FischerMP #bound

Lower Bounds on the Size of Boolean Formulas: Preliminary Report (MJF, ARM, MP), pp. 37–44.

STOC-1975-Yao #on the #polynomial

On Computing the Minima of Quadratic Forms (Preliminary Report) (ACCY), pp. 23–26.

SIGFIDET-1974-Taylor

Data Administration and the DBTG Report (RWT), pp. 431–444.

STOC-1974-HopcroftW #algorithm #graph #linear #morphism

Linear Time Algorithm for Isomorphism of Planar Graphs (Preliminary Report) (JEH, JKW), pp. 172–184.

STOC-1974-Rackoff #complexity #on the

On the Complexity of the Theories of Weak Direct Products: A Preliminary Report (CR), pp. 149–160.

STOC-1973-StockmeyerM #exponential #problem #word

Word Problems Requiring Exponential Time: Preliminary Report (LJS, ARM), pp. 1–9.

SIGIR-1973-KingS #interactive #named

ARS — An Interactive Reporting System (PFK, JES), pp. 161–175.

STOC-1972-MeyerB

Program Size and Economy of Descriptions: Preliminary Report (ARM, AB), pp. 183–186.

SIGFIDET-1971-Engles #analysis #database

An Analysis of the April 1971 Data Base Task Group Report (RWE), pp. 69–91.

STOC-1970-BassY #complexity #set

Hierarchies Based on Computational Complexity and Irregularities of Class Determining Measured Sets (Preliminary Report) (LJB, PRY), pp. 37–40.

STOC-1969-McCreightM #bound

Classes of Computable Functions Defined by Bounds on Computation: Preliminary Report (EMM, ARM), pp. 79–88.

SHARE-1964-RossF #visual notation

Verbal and graphical language for the AED system: A progress report (DTR, CGF).