BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
experi (214)
softwar (101)
bug (88)
preliminari (80)
use (67)

Stem report$ (all stems)

593 papers:

PODSPODS-2015-RahulT #2d #on the
On Top-k Range Reporting in 2D Space (SR, YT), pp. 265–275.
TACASTACAS-2015-Beyer #verification
Software Verification and Verifiable Witnesses — (Report on SV-COMP 2015) (DB), pp. 401–416.
ICPCICPC-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.
ICPCICPC-2015-WhiteVJBP #android #debugging #generative
Generating reproducible and replayable bug reports from Android application crashes (MW, MLV, PJ, CBC, DP), pp. 48–59.
ICSMEICSME-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.
MSRMSR-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.
SANERSANER-2015-AggarwalRTHGS #debugging #detection #re-engineering
Detecting duplicate bug reports with software engineering domain knowledge (KA, TR, FT, AH, RG, ES), pp. 211–220.
SANERSANER-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.
HCIHIMI-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.
ICEISICEIS-v1-2015-Kozmina #empirical #recommendation
An Empirical Study of Recommendations in OLAP Reporting Tool (NK), pp. 303–312.
SEKESEKE-2015-HughesDH #detection #streaming
Detecting Reporting Anomalies in Streaming Sensing Systems (SH, YD, JOH), pp. 427–432.
SEKESEKE-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.
SEKESEKE-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.
SIGIRSIGIR-2015-Carterette #effectiveness #random #testing
The Best Published Result is Random: Sequential Testing and its Effect on Reported Effectiveness (BC), pp. 747–750.
SIGIRSIGIR-2015-Gupta #named
CricketLinking: Linking Event Mentions from Cricket Match Reports to Ball Entities in Commentaries (MG), pp. 1033–1034.
AMTAMT-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.
SACSAC-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-FSEESEC-FSE-2015-FengCJFX #crowdsourcing #testing
Test report prioritization to assist crowdsourced testing (YF, ZC, JAJ, CF, BX), pp. 225–236.
ESEC-FSEESEC-FSE-2015-Moran #android #debugging
Enhancing Android application bug reporting (KM), pp. 1045–1047.
ESEC-FSEESEC-FSE-2015-MoranVBP #android #debugging
Auto-completing bug reports for Android applications (KM, MLV, CBC, DP), pp. 673–686.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-v2-2015-RupakhetiC #architecture #case study #education #experience #student
Teaching Software Architecture to Undergraduate Students: An Experience Report (CRR, SVC), pp. 445–454.
SPLCSPLC-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.
SPLCSPLC-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.
ISSTAISSTA-2015-DahseH #case study #empirical #experience #php #security
Experience report: an empirical study of PHP security mechanism usage (JD, TH), pp. 60–70.
ISSTAISSTA-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.
TAPTAP-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.
ASEASE-2014-Borg #debugging #re-engineering #using
Embrace your issues: compassing the software engineering landscape using bug reports (MB), pp. 891–894.
ASEASE-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.
ASEASE-2014-ThungKL #debugging #detection #named #tool support
DupFinder: integrated tool support for duplicate bug report detection (FT, PSK, DL), pp. 871–874.
PODSPODS-2014-Tao
A dynamic I/O-efficient structure for one-dimensional top-k range reporting (YT), pp. 256–265.
VLDBVLDB-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.
CSEETCSEET-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.
TFPIETFPIE-2014-IshiiA #debugging
Report on a User Test and Extension of a Type Debugger for Novice Programmers (YI, KA), pp. 1–18.
ESOPESOP-2014-MatosGR #fault #named #using
REAP: Reporting Errors Using Alternative Paths (JM, JG, PR), pp. 453–472.
TACASTACAS-2014-Beyer #contest #summary #verification
Status Report on Software Verification — (Competition Summary SV-COMP 2014) (DB0), pp. 373–388.
SANERCSMR-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, , EW, JW, AH, JH), pp. 154–163.
SANERCSMR-WCRE-2014-XiaLWSZ #debugging #empirical
An empirical study of bug report field reassignment (XX, DL, MW, ES, BZ), pp. 174–183.
ICPCICPC-2014-WangL #debugging #locality #version control
Version history, similar report, and structure: putting them together for improved bug localization (SW, DL), pp. 53–63.
ICSMEICSME-2014-HabringerMP #case study #experience #legacy #reverse engineering #sql
Reverse Engineering PL/SQL Legacy Code: An Experience Report (MH, MM, JP), pp. 553–556.
ICSMEICSME-2014-HuoDMG #debugging #empirical
An Empirical Study of the Effects of Expert Knowledge on Bug Reports (DH, TD, CM, MG), pp. 1–10.
ICSMEICSME-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.
ICSMEICSME-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.
ICSMEICSME-2014-ZhouTGG #classification #data mining #debugging #mining
Combining Text Mining and Data Mining for Bug Report Classification (YZ, YT, RG, HCG), pp. 311–320.
MSRMSR-2014-CampbellHA #fault #modelling #syntax
Syntax errors just aren’t natural: improving error reporting with language models (JCC, AH, JNA), pp. 252–261.
MSRMSR-2014-JoorabchiMM #debugging #exclamation
Works for me! characterizing non-reproducible bug reports (MEJ, MM, AM), pp. 62–71.
MSRMSR-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.
ICALPICALP-v1-2014-AfshaniCT #ram
Deterministic Rectangle Enclosure and Offline Dominance Reporting on the RAM (PA, TMC, KT), pp. 77–88.
HCIDUXU-TMT-2014-AvilaL #usability
Relationship between Elements of the Usability and Emotions Reported after Use: A Mexican Case (ICLÁ, LRPL), pp. 285–295.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-TMT-2014-MasipOG #evaluation #heuristic #industrial #user interface
Common Industry Format (CIF) Report Customization for UX Heuristic Evaluation (LM, MO, TG), pp. 475–483.
HCIHIMI-AS-2014-TomotoH
Report on Practice of Note-Rebuilding Support System (TT, TH), pp. 127–136.
ICEISICEIS-v3-2014-CarreiraDAD #perspective
Environmental Disclosure — From the Accounting to the Report Perspective (FC, AD, RA, FD), pp. 496–501.
KDDKDD-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.
KDIRKDIR-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.
SEKESEKE-2014-XavierMM #comprehension #git
Understanding the popularity of reporters and assignees in the Github (JX, AM, MdAM), pp. 484–489.
ICMTICMT-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.
RERE-2014-BonfimNDS #case study #experience #modelling
Modelling sustainability in a procurement system: An experience report (CB, WN, LD, MS), pp. 402–411.
RERE-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.
REFSQREFSQ-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.
REFSQREFSQ-2014-KossakMGI #case study #experience #specification
Improving the Understandability of Formal Specifications: An Experience Report (FK, AM, VG, CI), pp. 184–199.
REFSQREFSQ-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.
FSEFSE-2014-YeBL #debugging #learning #rank #using
Learning to rank relevant files for bug reports using domain knowledge (XY, RCB, CL), pp. 689–699.
SPLCSPLC-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.
ASPLOSASPLOS-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.
ICSTICST-2014-PatelK #case study #enterprise #experience #implementation #reuse #testing
Test Case Reuse in Enterprise Software Implementation — An Experience Report (SP, RKK), pp. 99–102.
CBSECBSE-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.
ASEASE-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.
SIGMODSIGMOD-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.
CSEETCSEET-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.
CSEETCSEET-2013-ScharfK #agile #re-engineering
Scrum in a software engineering course: An in-depth praxis report (AS, AK), pp. 159–168.
CSMRCSMR-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.
CSMRCSMR-2013-BorgPR #network
Analyzing Networks of Issue Reports (MB, DP, PR), pp. 79–88.
CSMRCSMR-2013-LamkanfiD #debugging #predict
Predicting Reassignments of Bug Reports — An Exploratory Investigation (AL, SD), pp. 327–330.
CSMRCSMR-2013-LerchM #debugging
Finding Duplicates of Your Yet Unwritten Bug Report (JL, MM), pp. 69–78.
CSMRCSMR-2013-SneedE #java #migration
Migrating AS400-COBOL to Java: A Report from the Field (HMS, KE), pp. 231–240.
ICPCICPC-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.
ICSMEICSM-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.
ICSMEICSM-2013-TianLS #analysis #debugging #multi #named #predict
DRONE: Predicting Priority of Reported Bugs by Multi-factor Analysis (YT, DL, CS), pp. 200–209.
MSRMSR-2013-AlipourHS #approach #debugging #detection #towards
A contextual approach towards more accurate duplicate bug report detection (AA, AH, ES), pp. 183–192.
MSRMSR-2013-NaguibNBH #debugging #process #recommendation #using
Bug report assignee recommendation using activity profiles (HN, NN, BB, DH), pp. 22–30.
MSRMSR-2013-NistorJT #debugging #performance
Discovering, reporting, and fixing performance bugs (AN, TJ, LT), pp. 237–246.
MSRMSR-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.
MSRMSR-2013-WangKZ #correlation #debugging #locality #using
Improving bug localization using correlations in crash reports (SW, FK, YZ), pp. 247–256.
WCREWCRE-2013-AeschlimannLNW #case study #ecosystem #experience #legacy #pl-i
Analyzing PL/1 legacy ecosystems: An experience report (EA, ML, ON, CFW), pp. 441–448.
WCREWCRE-2013-FryW #clustering #fault #maintenance #static analysis
Clustering static analysis defect reports to reduce maintenance costs (ZPF, WW), pp. 282–291.
WCREWCRE-2013-LiuTZ #debugging #question
Has this bug been reported? (KL, HBKT, HZ), pp. 82–91.
ICFPICFP-2013-PetersenGDAD #case study #experience #functional #programming
Experience report: functional programming of mHealth applications (CP, MG, DTD, JMA, GAD), pp. 357–362.
ICFPICFP-2013-St-AmourT #case study #experience #random testing #testing
Experience report: applying random testing to a base type environment (VSA, NT), pp. 351–356.
CHICHI-2013-MollerKSRD #behaviour #self
Investigating self-reporting behavior in long-term studies (AM, MK, BS, LR, SD), pp. 2931–2940.
HCIHCI-AMTE-2013-WincklerBB
Characterizing Incidents Reporting Systems across Applications Domains (MW, CB, RB), pp. 521–530.
HCIHCI-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.
HCIHCI-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.
ICEISICEIS-v1-2013-Kozmina #recommendation
Adding Recommendations to OLAP Reporting Tool (NK), pp. 169–176.
ICEISICEIS-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.
CIKMCIKM-2013-ThostVS #query #recommendation
Query matching for report recommendation (VT, KV, DS), pp. 1391–1400.
ECIRECIR-2013-TsaiW #ranking
Risk Ranking from Financial Reports (MFT, CJW), pp. 804–807.
SIGIRSIGIR-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.
TOOLSTOOLS-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.
ICSEICSE-2013-BouwersDV #case study #experience #industrial #metric
Evaluating usefulness of software metrics: an industrial experience report (EB, AvD, JV), pp. 921–930.
ICSTICST-2013-LiuYTH #automation #debugging #generative #named
R2Fix: Automatically Generating Bug Fixes from Bug Reports (CL, JY, LT, MH), pp. 282–291.
VMCAIVMCAI-2013-SlabyST #classification #database #named
ClabureDB: Classified Bug-Reports Database (JS, JS, MT), pp. 268–274.
QoSAQoSA-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-ECSAWICSA-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.
ASEASE-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.
PODSPODS-2012-Nekrich #category theory
Space-efficient range reporting for categorical data (YN), pp. 113–120.
PODSPODS-2012-ShengT #memory management
Dynamic top-k range reporting in external memory (CS, YT), pp. 121–130.
CSEETCSEET-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.
CSEETCSEET-2012-SajeevC
Will They Report It? Ethical Attitude of Graduate Software Engineers in Reporting Bad News (ASMS, IC), pp. 42–51.
ITiCSEITiCSE-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.
CSMRCSMR-2012-LamkanfiD #analysis #debugging
Filtering Bug Reports for Fix-Time Analysis (AL, SD), pp. 379–384.
CSMRCSMR-2012-TianSL #debugging #identification
Improved Duplicate Bug Report Identification (YT, CS, DL), pp. 385–390.
ICSMEICSM-2012-LotufoMC #debugging #modelling #process
Modelling the “Hurried” bug report reading process to summarize bug reports (RL, ZM, KC), pp. 430–439.
ICSMEICSM-2012-ThungLJLRD #debugging #question
When would this bug get reported? (FT, DL, LJ, L, FR, PTD), pp. 420–429.
MSRMSR-2012-MartiePSL #android #debugging #roadmap #topic
Trendy bugs: Topic trends in the Android bug reports (LM, VKP, HS, CVL), pp. 120–123.
WCREWCRE-2012-DaviesRW #debugging #locality #similarity #using
Using Bug Report Similarity to Enhance Bug Localisation (SD, MR, MW), pp. 125–134.
ICALPICALP-v2-2012-DieudonneP #network
Deterministic Network Exploration by Anonymous Silent Agents with Local Traffic Reports (YD, AP), pp. 500–512.
FMFM-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.
IFMIFM-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.
ICFPICFP-2012-DanielsGR #biology #case study #experience #haskell
Experience report: Haskell in computational biology (NMD, AG, NR), pp. 227–234.
ICFPICFP-2012-PikeWNG #case study #compilation #experience
Experience report: a do-it-yourself high-assurance compiler (LP, NW, SN, AG), pp. 335–340.
IFLIFL-2012-WuMBS #case study #experience #lazy evaluation #mining
Pure and Lazy λ Mining — An Experience Report (NW, JPM, JB, WS), pp. 207–223.
CHICHI-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.
CSCWCSCW-2012-VaatajaE #challenge #mobile
Briefing news reporting with mobile assignments: perceptions, needs and challenges (HV, PE), pp. 485–494.
CAiSECAiSE-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.
EDOCEDOC-2012-Holmes #design #execution #modelling
From Business Application Execution to Design Through Model-Based Reporting (TH), pp. 143–153.
CIKMCIKM-2012-ZhouZ #debugging #learning #rank
Learning to rank duplicate bug reports (JZ, HZ), pp. 852–861.
KRKR-2012-GebserGKOSS #programming #reasoning #set
Stream Reasoning with Answer Set Programming: Preliminary Report (MG, TG, RK, PO, OS, TS).
SIGIRSIGIR-2012-ArnoldS #topic
A topic model of clinical reports (CWA, WS), pp. 1031–1032.
TOOLSTOOLS-EUROPE-2012-LilisS #debugging #fault #metaprogramming #precise
Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs (YL, AS), pp. 155–170.
TOOLSTOOLS-EUROPE-2012-Sureka #component #debugging #learning
Learning to Classify Bug Reports into Components (AS), pp. 288–303.
SACSAC-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.
FSEFSE-2012-LiuTC #debugging #question
Has this bug been reported? (KL, HBKT, MC), p. 28.
FSEFSE-2012-ManiCSD #approach #debugging #named #summary
AUSUM: approach for unsupervised bug report summarization (SM, RC, VSS, AD), p. 11.
FSEFSE-2012-NguyenNNN #approach #debugging #multi
Multi-layered approach for recovering links between bug reports and fixes (ATN, TTN, HAN, TNN), p. 63.
ICSEICSE-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.
ICSEICSE-2012-LuciaLJB #refinement
Active refinement of clone anomaly reports (L, DL, LJ, AB), pp. 397–407.
ICSEICSE-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.
ICSEICSE-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.
SPLCSPLC-2012-KircherH #agile #case study #development #experience #reuse
Combining systematic reuse with Agile development: experience report (MK, PH), pp. 215–219.
ICLPICLP-2012-Balduccini #set #source code
An Answer Set Solver for non-Herbrand Programs: Progress Report (MB), pp. 49–60.
ICLPICLP-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.
ICLPICLP-2012-LeeM #modelling #quantifier
Stable Models of Formulas with Generalized Quantifiers (Preliminary Report) (JL, YM), pp. 61–71.
ICSTICST-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.
ICSTICST-2012-Runeson #case study #collaboration #experience #industrial
It Takes Two to Tango — An Experience Report on Industry — Academia Collaboration (PR), pp. 872–877.
ASEASE-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.
ASEASE-2011-SunLKJ #debugging #retrieval #towards
Towards more accurate retrieval of duplicate bug reports (CS, DL, SCK, JJ), pp. 253–262.
HTHT-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.
ICDARICDAR-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.
CSEETCSEET-2011-Shepperd #case study #education #experience
Group project work from the outset: An in-depth teaching experience report (MJS), pp. 361–370.
CSEETCSEET-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.
CSEETCSEET-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.
ITiCSEITiCSE-2011-KurianMJ #generative #information retrieval #named #repository
IR2gT: a report generation tool for institutional repository (JCK, AM, BMJ), p. 371.
ITiCSEITiCSE-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.
CSMRCSMR-2011-LamkanfiDSV #algorithm #debugging #mining #predict
Comparing Mining Algorithms for Predicting the Severity of a Reported Bug (AL, SD, QDS, TV), pp. 249–258.
ICSMEICSM-2011-DhaliwalKZ #case study #debugging
Classifying field crash reports for fixing bugs: A case study of Mozilla Firefox (TD, FK, YZ), pp. 333–342.
WCREWCRE-2011-CodobanMM #design #fault #named #problem
iProblems — An Integrated Instrument for Reporting Design Flaws, Vulnerabilities and Defects (MC, CM, RM), pp. 437–438.
WCREWCRE-2011-Mintchev #integration #legacy #program transformation
Renovation by Machine-Assisted Program Transformation in Production Reporting and Integration (SM), pp. 406–410.
FMFM-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.
SEFMSEFM-2011-VassevH #case study #experience #model checking
Developing Model-Checking Mechanisms for ASSL: An Experience Report (EV, MH), pp. 19–34.
ICFPICFP-2011-MagalhaesH #case study #experience #functional #modelling
Functional modelling of musical harmony: an experience report (JPM, BdH), pp. 156–162.
CHICHI-2011-Kaye #self
Self-reported password sharing strategies (JK), pp. 2619–2622.
CSCWCSCW-2011-GuoZNM #debugging #exclamation
“Not my bug!” and other reasons for software bug report reassignments (PJG, TZ, NN, BM), pp. 395–404.
HCIDUXU-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.
HCIHCI-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.
HCIHIMI-v2-2011-HuaG #bibliography #design #effectiveness #perspective
Design Effective Voluntary Medical Incident Reporting Systems: A Literature Review (LH, YG), pp. 253–261.
ICEISICEIS-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.
CIKMCIKM-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.
CIKMCIKM-2011-MartinezL #information management
Information extraction from pathology reports in a hospital setting (DM, YL), pp. 1877–1882.
ECIRECIR-2011-SubasicB #twitter
Peddling or Creating? Investigating the Role of Twitter in News Reporting (IS, BB), pp. 207–213.
SEKESEKE-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.
SEKESEKE-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.
REFSQREFSQ-2011-MahauxHS #case study #experience #requirements
Discovering Sustainability Requirements: An Experience Report (MM, PH, GS), pp. 19–33.
ICSEICSE-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.
ICSEICSE-2011-ZhangJHHZ #process #simulation
Impact of process simulation on software practice: an initial report (HZ, DRJ, DH, LH, LZ), pp. 1046–1056.
SPLCSPLC-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.
SPLCSPLC-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.
ICSTICST-2011-Sun #debugging #question #why
Why are Bug Reports Invalid? (JS), pp. 407–410.
ASEASE-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.
ASEASE-2010-SindhgattaNSVR #developer #mining
Timesheet assistant: mining and reporting developer effort (RS, NCN, BS, KV, AGR), pp. 265–274.
SIGMODSIGMOD-2010-FuKOPZ #incremental
Ajax-based report pages as incrementally rendered views (YF, KK, KWO, YP, KKZ), pp. 567–578.
VLDBVLDB-2010-FabbriLZ #named #query
PolicyReplay: Misconfiguration-Response Queries for Data Breach Reporting (DF, KL, QZ), pp. 36–47.
CSEETCSEET-2010-Garousi #case study #experience #testing
An Open Modern Software Testing Laboratory Courseware — An Experience Report (VG), pp. 177–184.
ITiCSEITiCSE-2010-SimonKPZ #case study #experience
Experience report: CS1 for majors with media computation (BS, PK, LP, DZ), pp. 214–218.
CSMRCSMR-2010-CavalcantiACLM #debugging #problem
An Initial Study on the Bug Report Duplication Problem (YCC, ESdA, CEAdC, DL, SRdLM), pp. 264–267.
ICSMEICSM-2010-BezemerZPHH #case study #experience #industrial #multitenancy
Enabling multi-tenancy: An industrial experience report (CPB, AZ, BP, TH, A'H), pp. 1–8.
ICSMEICSM-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.
MSRMSR-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.
MSRMSR-2010-LamkanfiDGG #debugging #predict
Predicting the severity of a reported bug (AL, SD, EG, BG), pp. 1–10.
ICFPICFP-2010-CrestaniS #case study #experience #programming language #student
Experience report: growing programming languages for beginning students (MC, MS), pp. 229–234.
ICFPICFP-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.
CHICHI-2010-KoC #debugging #how
How power users help and hinder open bug reporting (AJK, PKC), pp. 1665–1674.
CHICHI-2010-SauroL #question #testing #usability #what
Average task times in usability tests: what to report? (JS, JRL), pp. 2347–2350.
CSCWCSCW-2010-BreuPSZ #debugging #developer
Information needs in bug reports: improving cooperation between developers and users (SB, RP, JS, TZ), pp. 301–310.
SOFTVISSOFTVIS-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.
AdaEuropeAdaEurope-2010-Schonberg #ada #towards
Towards Ada 2012: An Interim Report (ES), pp. 238–250.
AdaSIGAda-2010-Schmidt #ada #case study #experience #integration #java
Experience report: Ada & Java integration in the FAA’s ERAM SWIM program (RBS), pp. 33–34.
AdaSIGAda-2010-Schonberg #ada #towards
Towards Ada 2012: an interim report (ES), pp. 63–70.
KEODKEOD-2010-HirvonenTPCFF #fuzzy #keyword #ontology
Fuzzy Keyword Ontology for Annotating and Searching Event Reports (JH, TT, AP, CC, MF, RF), pp. 251–256.
KRKR-2010-AntoniouPB #reasoning
Reasoning about Context in Ambient Intelligence Environments: A Report from the Field (GA, CP, AB).
SEKESEKE-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.
SEKESEKE-2010-CunhaCNAM #analysis #debugging #visual notation
A Visual Bug Report Analysis and Search Tool (CEAdC, YCC, PAdMSN, ESdA, SRdLM), pp. 742–747.
RERE-2010-BerryCAA #case study #experience #requirements
Requirements Determination is Unstoppable: An Experience Report (DMB, KC, MA, MA), pp. 311–316.
RERE-2010-LiuLP #bibliography #requirements #why
Why Requirements Engineering Fails: A Survey Report from China (LL, TL, FP), pp. 317–322.
ICSEICSE-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.
ICSEICSE-2010-RastkarMM #case study #debugging
Summarizing software artifacts: a case study of bug reports (SR, GCM, GM), pp. 505–514.
ICSEICSE-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.
ICSEICSE-2010-SongWXZM #debugging #detection #named
JDF: detecting duplicate bug reports in Jazz (YS, XW, TX, LZ, HM), pp. 315–316.
ICSEICSE-2010-SunLWJK #approach #debugging #retrieval
A discriminative model approach for accurate duplicate bug report retrieval (CS, DL, XW, JJ, SCK), pp. 45–54.
LDTALDTA-2010-BrandMSH #case study #domain-specific language #experience
Formally specified type checkers for domain specific languages: experience report (MvdB, APvdM, AS, ATH), p. 12.
PLEASEPLEASE-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.
CSEETCSEET-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.
CSEETCSEET-2009-KrishnanRS #case study #collaboration #experience #industrial
Industry Academia Collaboration: An Experience Report at a Small University (PK, KJR, PAPS), pp. 117–121.
CSEETCSEET-2009-SkandanS #case study #education #experience #induction #re-engineering
Software Engineering Education at TCS Induction — An Experience Report (SS, MS), pp. 16–19.
ICSMEICSM-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.
ICSMEICSM-2009-Chapin #maintenance
Software maintenance in complying with IT governance: A report from the field (NC), pp. 499–502.
ICSMEICSM-2009-GeetD #case study #cobol #experience #feature model
Feature location in COBOL mainframe systems: An experience report (JVG, SD), pp. 361–370.
ICSMEICSM-2009-KnabFGP #interactive #problem
Interactive views for analyzing problem reports (PK, BF, HG, MP), pp. 527–530.
MSRMSR-2009-LinsteadB #debugging #gnome #mining #modelling #statistics #topic
Mining the coherence of GNOME bug reports with statistical topic models (EL, PB), pp. 99–102.
MSRMSR-2009-MatterKN #debugging #developer #using
Assigning bug reports using a vocabulary-based expertise model of developers (DM, AK, ON), pp. 131–140.
ICFPICFP-2009-BalatVY #case study #experience #framework #programming #web
Experience report: ocsigen, a web programming framework (VB, JV, BY), pp. 311–316.
ICFPICFP-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.
ICFPICFP-2009-KleinDE #case study #experience #kernel #verification
Experience report: seL4: formally verifying a high-performance microkernel (GK, PD, KE), pp. 91–96.
ICFPICFP-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.
ICFPICFP-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.
ICFPICFP-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.
HCIHCD-2009-KohlsdorfLB #bibliography #evaluation #mobile
A Mobile Application for Survey Reports: An Evaluation (DK, ML, MB), pp. 212–220.
HCIHCD-2009-MarcusGS #maturity #standard #usability #validation
Validating a Standardized Usability/User-Experience Maturity Model: A Progress Report (AM, RG, RS), pp. 104–109.
HCIHIMI-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.
HCIOCSC-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.
ICEISICEIS-HCI-2009-GarciaDCBSS #design
Scenario-based Design — An Essential Instrument for an Innovative Target Application — Case Report (LSG, AID, MAC, LCEDB, FS, MSS), pp. 113–117.
SEKESEKE-2009-RusNSC #algorithm #clustering #fault #graph #using
Clustering of Defect Reports Using Graph Partitioning Algorithms (VR, XN, SGS, YC), pp. 442–445.
MODELSMoDELS-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.
MODELSMoDELS-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-FSEESEC-FSE-2009-KnabKP #problem
Smart views for analyzing problem reports: tool demo (PK, HG, MP), pp. 289–290.
CAVCAV-2009-AbadiBC #modelling #protocol #proving #security
Models and Proofs of Protocol Security: A Progress Report (MA, BB, HCL), pp. 35–49.
ECSAECSA-2008-RoyG #architecture #case study #experience #framework
An Iterative Framework for Software Architecture Recovery: An Experience Report (BR, TCNG), pp. 210–224.
ASEASE-2008-JaspanQA #fault #logic
Error Reporting Logic (CJ, TQ, JA), pp. 138–147.
CSMRCSMR-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.
CSMRCSMR-2008-LajiosSV #metric
Supporting Language Conversion by Metric Based Reports (GL, DS, FV), pp. 314–316.
ICSMEICSM-2008-BettenburgPZK #debugging #harmful #question
Duplicate bug reports considered harmful ... really? (NB, RP, TZ, SK), pp. 337–345.
ICSMEICSM-2008-MenziesM #assessment #automation #fault
Automated severity assessment of software defect reports (TM, AM), pp. 346–355.
ICSMEICSM-2008-ThakkarJHHF #repository
Retrieving relevant reports from a customer engagement repository (DT, ZMJ, AEH, GH, PF), pp. 117–126.
MSRMSR-2008-BettenburgPZK #debugging
Extracting structural information from bug reports (NB, RP, TZ, SK), pp. 27–30.
MSRMSR-2008-HerraizGGR #debugging #eclipse #towards
Towards a simplification of the bug report form in eclipse (IH, DMG, JMGB, GR), pp. 145–148.
MSRMSR-2008-PattisonBD
Talk and work: a preliminary report (DSP, CB, PTD), pp. 113–116.
MSRMSR-2008-SiyCS #challenge #developer #segmentation #using
Summarizing developer work history using time series segmentation: challenge report (HPS, PC, MS), pp. 137–140.
PEPMPEPM-2008-FeiginM #hardware
Jones optimality and hardware virtualization: a report on work in progress (BF, AM), pp. 169–175.
FMFM-2008-ChalinR #fault #ml #performance #runtime #using
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity (PC, FR), pp. 246–261.
ICFPICFP-2008-ConveyFGMH #case study #erlang #experience
Experience report: erlang in acoustic ray tracing (CC, AF, CG, DM, LH), pp. 115–118.
ICFPICFP-2008-DolstraHHHJLLMRS #contest #programming
Report on the tenth ICFP programming contest (ED, JH, BH, SH, JJ, AL, CL, AM, AR, JvS), pp. 397–408.
ICFPICFP-2008-DukeBRW #case study #experience #functional #pipes and filters #visualisation
Experience report: visualizing data through functional pipelines (DJD, RB, CR, MW), pp. 379–382.
ICFPICFP-2008-Jones #case study #domain-specific language #experience #game studies
Experience report: playing the DSL card (MPJ), pp. 87–90.
ICFPICFP-2008-Nanavati #case study #experience
Experience report: a pure shirt fits (RN), pp. 347–352.
ICEISICEIS-AIDSS-2008-SharpanskykhSB #analysis #modelling #safety
Organizational Modeling and Analysis of Safety Occurrence Reporting in Air Traffic (AS, SHS, HAPB), pp. 225–230.
SEKESEKE-2008-RusMS #automation #clustering #fault
Automatic Clustering of Defect Reports (VR, SM, SGS), pp. 291–296.
SIGIRSIGIR-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.
TOOLSTOOLS-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.
RERE-2008-BeattyA #case study #experience #requirements
Games-Based Requirements Engineering Training: An Initial Experience Report (JB, MA), pp. 211–216.
RERE-2008-HoWR #fault #performance #problem #requirements
Examining the Relationships between Performance Requirements and “Not a Problem” Defect Reports (CWH, LW, BR), pp. 135–144.
FSEFSE-2008-BettenburgJSWPZ #debugging #question #what
What makes a good bug report? (NB, SJ, AS, CW, RP, TZ), pp. 308–318.
ICSEICSE-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.
ASPLOSASPLOS-2008-CastroCM #debugging #privacy
Better bug reporting with better privacy (MC, MC, JPM), pp. 319–328.
ICLPICLP-2008-LeeLP #modelling
Safe Formulas in the General Theory of Stable Models (Preliminary Report) (JL, VL, RP), pp. 672–676.
CBSECBSE-2007-LiuZG #assessment #case study #experience #performance
Performance Assessment for e-Government Services: An Experience Report (YL, LZ, IG), pp. 74–89.
WICSAWICSA-2007-BassMBHC #architecture #case study #experience
Architectural Misalignment: An Experience Report (MB, VM, LB, JDH, MC), p. 17.
ASEASE-2007-HooimeijerW #debugging #modelling #quality
Modeling bug report quality (PH, WW), pp. 34–43.
CSEETCSEET-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.
CSEETCSEET-2007-TilleyWS #re-engineering
Report from the 3rd International Symposium on Software Engineering Course Projects (SWECP 2006) (SRT, KW, SS), pp. 237–246.
CSMRCSMR-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.
ICPCICPC-2007-ZhangI #analysis #fault
Error Report Driven Post-Mortem Analysis (YZ, SPI), pp. 208–220.
ICSMEICSM-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.
ICSMEICSM-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.
MSRMSR-2007-AnvikM #debugging #implementation
Determining Implementation Expertise from Bug Reports (JA, GCM), p. 2.
PLDIPLDI-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.
ICFPICFP-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.
ICFPICFP-2007-CooperM #case study #experience #haskell #interpreter
Experience report: a Haskell interpreter for cellML (JC, SM), pp. 247–250.
ICFPICFP-2007-Frenzel #case study #experience #haskell #ide
Experience report: building an eclipse-based IDE for Haskell (LF), pp. 220–222.
ICFPICFP-2007-SimsD #case study #experience #validation
Experience report: the reactis validation tool (SS, DCD), pp. 137–140.
ICFPICFP-2007-Wazny #case study #experience #functional #programming
Experience report: functional programming in c-rules (JW), pp. 25–28.
ICFPICFP-2007-WelshG #case study #development #experience #web
Experience report: scheme in commercial web application development (NW, DG), pp. 153–156.
AGTIVEAGTIVE-2007-AschenbrennerG #graph #graph grammar #using
Transforming Scene Graphs Using Triple Graph Grammars — A Practice Report (NA, LG), pp. 32–43.
HCIHCI-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.
ICEISICEIS-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.
CIKMCIKM-2007-ChevalletLL #concept #multi
Domain knowledge conceptual inter-media indexing: application to multilingual multimedia medical reports (JPC, JHL, DTHL), pp. 495–504.
SIGIRSIGIR-2007-ZhangL #classification #semantics
Semantic text classification of disease reporting (YZ, BL), pp. 747–748.
OOPSLAOOPSLA-2007-BondNKGM #fault #null
Tracking bad apples: reporting the origin of null and undefined value errors (MDB, NN, SWK, SZG, KSM), pp. 405–422.
RERE-2007-HoWA #performance #requirements #specification
Improving Performance Requirements Specifications from Field Failure Reports (CWH, LW, AIA), pp. 79–88.
SACSAC-2007-AnderssonGLW
Reporting leadership patterns among trajectories (MA, JG, PL, TW), pp. 3–7.
ICSEICSE-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.
ICSEICSE-2007-RunesonAN #detection #fault #natural language #using
Detection of Duplicate Defect Reports Using Natural Language Processing (PR, MA, ON), pp. 499–510.
CBSECBSE-2006-KadriMS #case study #enterprise #experience
CBSE in Small and Medium-Sized Enterprise: Experience Report (RK, FM, SS), pp. 154–165.
SIGMODSIGMOD-2006-KoudasMS #case study #experience #using
Using SPIDER: an experience report (NK, AM, DS), p. 719.
VLDBVLDB-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.
CSEETCSEET-2006-BunseGPSV #case study #developer #experience
Coaching Professional Software Developers — An Experience Report (CB, IG, CP, SSN, CV), pp. 123–130.
CSEETCSEET-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.
CSEETCSEET-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.
CSEETCSEET-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.
CSEETCSEET-2006-TilleyWHS #re-engineering
Report from the 2nd International Workshop on Software Engineering Course Projects (SWECP 2005) (SRT, KW, SH, SS), pp. 87–94.
ITiCSEITiCSE-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.
CSMRCSMR-2006-DAnielloMT #case study #experience
Technological Innovation within EDS Italia Software: Experience Report (AD, AM, AT), pp. 362–366.
MSRMSR-2006-Beyer #challenge #co-evolution #visualisation
Co-change visualization applied to PostgreSQL and ArgoUML: (MSR challenge report) (DB), pp. 165–166.
WCREWCRE-2006-SneedS #interface #reverse engineering
Reverse Engineering of System Interfaces A Report from the Field (HMS, SHS), pp. 125–133.
DLTDLT-J-2005-AnanichevPV06 #word
Collapsing Words: a Progress Report (DSA, IVP, MVV), pp. 507–518.
EDOCEDOC-2006-ChowdharyPPCW #modelling #performance
Model-Driven Dashboards for Business Performance Reporting (PC, TP, FP, SKC, FYW), pp. 374–386.
ICEISICEIS-AIDSS-2006-RokachRM #automation #concept #identification
Automatic Identification of Negated Concepts in Narrative Clinical Reports (LR, RR, OM), pp. 257–262.
GPCEGPCE-2006-Weimer #debugging
Patches as better bug reports (WW), pp. 181–190.
SACSAC-2006-Fasli #on the
On the relationship between roles and power: preliminary report (MF), pp. 313–318.
ICSEICSE-2006-Anvik #automation #debugging
Automating bug report assignment (JA), pp. 937–940.
ICSTSAT-2006-Gelder #metric #proving
Preliminary Report on Input Cover Number as a Metric for Propositional Resolution Proofs (AVG), pp. 48–53.
CBSECBSE-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.
WICSAWICSA-2005-BassMO #quality
Quality Session Report (LB, MM, FGO), pp. 191–192.
WICSAWICSA-2005-Clements #architecture #documentation
Software Architecture Documentation in Practice Session Report (PCC), pp. 257–258.
WICSAWICSA-2005-CrnkovicJ #component
Components and Services Session Report (IC, VJ), pp. 269–271.
WICSAWICSA-2005-Garlan #analysis #architecture #evaluation
Software Architecture Evaluation and Analysis Session Report (DG), pp. 227–228.
WICSAWICSA-2005-Hofmeister #architecture
Architecting Session Report (CH), pp. 209–210.
WICSAWICSA-2005-ShawV #architecture #education
Software Architecture Education Session Report (MS, HvV), pp. 185–190.
WICSAWICSA-2005-StaffordB
Working Session Reports (JAS, JB), pp. 181–184.
WICSAWICSA-2005-Tyree #architecture #design
Architectural Design Decisions Session Report (JT), pp. 285–286.
WICSAWICSA-2005-WoodsH #architecture
Architecture Description Languages in Practice Session Report (EW, RH), pp. 243–246.
DATEDATE-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.
CSMRCSMR-2005-GraafDD #architecture #case study #embedded #experience #industrial
Evaluating an Embedded Software Reference Architecture — Industrial Experience Report (BG, HWvD, AvD), pp. 354–363.
STOCSTOC-2005-MortensenPP #on the
On dynamic range reporting in one dimension (CWM, RP, MP), pp. 104–111.
DLTDLT-2005-AnanichevPV #word
Collapsing Words: A Progress Report (DSA, IVP, MVV), pp. 11–21.
MODELSMoDELS-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.
MODELSMoDELS-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.
RERE-2005-AlexanderRM #industrial #process #requirements #what
What Influences the Requirements Process in Industry? A Report on Industrial Practice (IFA, SR, NAMM), pp. 411–415.
RERE-2005-Nakamura #analysis #integration #project management
Analysis of Project Management Reports of 49 System Integration Projects (TN), pp. 485–486.
RERE-2005-WassonSLK #fault #requirements #using
Using Occurrence Properties of Defect Report Data to Improve Requirements (KSW, KNS, RRL, JCK), pp. 253–262.
ESEC-FSEESEC-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.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-2005-HeitmeyerP #case study #experience
Introduction to the experience reports track (CLH, KP), p. 480.
ICSEICSE-2005-PankratiusS #case study #development #experience #information management
Information systems development at the virtual global university: an experience report (VP, WS), pp. 639–640.
AMOSTAMOST-2005-Lakey #industrial #modelling #specification #testing
Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system: an industry report (PBL).
ASEASE-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.
DATEDATE-DF-2004-Thiel #validation
Have I Really Met Timing? — Validating PrimeTime Timing Reports with Spice (TT), pp. 114–119.
PODSPODS-2004-Bonatti #datalog #decidability #on the #query #recursion
On the Decidability of Containment of Recursive Datalog Queries — Preliminary report (PAB), pp. 297–306.
CSEETCSEET-2004-Kaner #education #testing
Teaching Domain Testing: A Status Report (CK), pp. 112–117.
ITiCSEITiCSE-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-WGR-2004-Gorgone #bibliography #education #information management
Information systems and the overview report for computing curricula 2004 (JTG), pp. 15–16.
CSMRCSMR-2004-Pizka #adaptation #case study #experience #open source #scalability
Adaptation of Large-Scale Open Source Software — An Experience Report (MP), pp. 147–153.
IWPCIWPC-2004-Tadonki #reverse engineering
Universal Report: A Generic Reverse Engineering Tool (CT), pp. 266–267.
WCREWCRE-2004-Sneed #re-engineering
Reengineering Reports (HMS), pp. 17–26.
ICEISICEIS-v4-2004-GottliebS #internet
Financial Reporting: An Internet Clearinghouse (MG, BS), pp. 397–402.
UMLUML-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.
UMLUML-2004-MullerBS #architecture #case study #experience #modelling
Model-Driven Architecture for Automatic-Control: An Experience Report (PAM, DB, PS), pp. 260–274.
ICSEICSE-2004-GortonH #architecture #case study #experience #nondeterminism
Architecting in the Face of Uncertainty: An Experience Report (IG, JH), pp. 543–551.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-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.
IJCARIJCAR-2004-Gottlob #finite #higher-order #logic #research
Second-Order Logic over Finite Structures — Report on a Research Programme (GG), pp. 229–243.
ICDARICDAR-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.
SIGMODSIGMOD-2003-GraySSU
The Lowell Report (JG, HJS, MS, JDU), p. 680.
WCREWCRE-2003-FischerPG #debugging
Analyzing and Relating Bug Report Data for Feature Tracking (MF, MP, HG), pp. 90–101.
ICEISICEIS-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.
UMLUML-2003-YangX #architecture #case study #encoding #experience #uml
Encoding Informal Architectural Descriptions with UML: An Experience Report (YY, JX), pp. 138–142.
ICSEICSE-2003-Berner #case study #development #experience
About the Development of a Point of Sale System: an Experience Report (SB), pp. 528–533.
ICSEICSE-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.
ICSEICSE-2003-PodgurskiLFMMSW #automation
Automated Support for Classifying Software Failure Reports (AP, DL, PF, WM, MM, JS, BW), pp. 465–477.
ASEASE-2002-RoachB #automation #case study #deduction #experience #synthesis
Experience Report on Automated Procedure Construction for Deductive Synthesis (SR, JVB), p. 69–?.
SIGMODSIGMOD-2002-PapakonstantinouPV #named #query #semistructured data
QURSED: querying and reporting semistructured data (YP, MP, VV), pp. 192–203.
VLDBVLDB-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.
ITiCSEITiCSE-2002-CasselK #architecture
A state of the course report: computer organization & architecture (L(C, DK), pp. 175–177.
AdaEuropeAdaEurope-2002-Hoe #case study #development #experience #re-engineering
Software Development Reengineering — An Experience Report (AH), pp. 100–112.
EDOCEDOC-2002-Anido-RifonSRC #case study #experience
An MDA-Based Model for Vertical Application Task Forces: An Experience Report (LEAR, JMS, JSR, MC), p. 167–?.
LSOLSO-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.
GPCEGPCE-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.
ICSEICSE-2002-GehrkeGNNTWZ #industrial #re-engineering
Reporting about industrial strength software engineering courses for undergraduates (MG, HG, UN, JN, MT, JPW, AZ), pp. 395–405.
ICLPICLP-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.
VLDBVLDB-2001-Gibbons #query
Distinct Sampling for Highly-Accurate Answers to Distinct Values Queries and Event Reports (PBG), pp. 541–550.
CSEETCSEET-2001-MaleticHM #case study #experience #re-engineering
Incorporating PSP into a Traditional Software Engineering Course: An Experience Report (JIM, AH, AM), pp. 89–97.
CSMRCSMR-2001-AversanoCCL #case study #experience #legacy #migration #web
Migrating Legacy Systems to the Web: An Experience Report (LA, GC, AC, ADL), pp. 148–157.
IWPCIWPC-2001-Lethbridge #re-engineering #tool support
Report from the Dagstuhl Seminar on Interoperability of Reengineering Tools (TCL), p. 119.
STOCSTOC-2001-AlstrupBR
Optimal static range reporting in one dimension (SA, GSB, TR), pp. 476–482.
CHICHI-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.
AdaSIGAda-2001-Edgerton #architecture #case study #development #experience
Experience report: architecture-based software development on the Crusader program (SE), pp. 127–128.
AdaSIGAda-2001-PritchettW #case study #experience
Vetronics technology testbed: experience report (WP, BW), pp. 115–116.
ICEISICEIS-v2-2001-CostaAD #process
The Meeting Report Process: Bridging EMS with PDA (CJC, PA, FD), pp. 821–826.
CIKMCIKM-2001-HouSZW #database #mobile
An Optimal Construction of Invalidation Reports for Mobile Databases (WCH, MS, HZ, HW), pp. 458–465.
KDDKDD-2001-MahHL #mining #network
Funnel report mining for the MSN network (TM, HH, YL), pp. 450–455.
ICSEICSE-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.
ICSTSAT-2001-AmirM #composition #problem #satisfiability #using
Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report) (EA, SM), pp. 329–343.
ICSTSAT-2001-HorvitzRGKSC #approach #problem
A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report) (EH, YR, CPG, HAK, BS, DMC), pp. 376–391.
ICSTSAT-2001-KautzRAGSS #problem #satisfiability
Balance and Filtering in Structured Satisfiable Problems (Preliminary Report) (HAK, YR, DA, CPG, BS, MES), pp. 2–18.
ICSTSAT-2001-McllraithA #proving #theorem proving
Theorem Proving with Structured Theories (Preliminary Report)* (SM, EA), pp. 311–328.
CSEETCSEET-2000-AndrewsL #case study #experience #maintenance
Experience Report: A Software Maintenance Project Course (JHA, HL), pp. 132–139.
CSEETCSEET-2000-Lisack #case study #experience #process #student
The Personal Software Process in the Classroom: Student Reactions (an Experience Report) (SKL), pp. 169–175.
CSEETCSEET-2000-Vaughn #industrial #re-engineering
A Report on Industrial Transfer of Software Engineering to the Classroom Environment (RBV), pp. 15–22.
ITiCSEITiCSE-2000-Scanlan #multi #student
Student preference for multimedia-based lectures (poster session): a preliminary report (DAS), p. 192.
WCREWCRE-2000-ParryLT #tool support
PBS Tool Demonstration Report on Xfig (TPI, EL, JT), pp. 200–202.
WCREWCRE-2000-Riva #architecture #case study #experience #industrial
Reverse Architecting: An Industrial Experience Report (CR), p. 42–?.
WCREWCRE-2000-TateishiW #case study #experience #maintenance #tool support
Applying Traditional Unix Tools during Maintenance: An Experience Report (AT, AW), pp. 203–206.
SASSAS-2000-JaramilloGS #debugging #named
FULLDOC: A Full Reporting Debugger for Optimized Code (CJ, RG, MLS), pp. 240–259.
AdaEuropeAdaEurope-2000-RybinSFK #case study #experience #named
ASIS-for-GNAT: A Report of Practical Experiences (SR, AS, VF, AK), pp. 125–137.
CAiSECAiSE-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.
KRKR-2000-BesnardS
Significant Inferences : Preliminary Report (PB, TS), pp. 401–410.
FSEFSE-2000-HollingsworthBW #case study #experience #using
Experience report: using RESOLVE/C++ for commercial software (JEH, LB, BWW), pp. 11–19.
WICSAWICSA-1999-GruhnW #architecture #case study #experience #integration
Integration of Heterogeneous Software Architectures — An Experience Report (VG, UW), pp. 437–454.
DACDAC-1999-CaldwellKKM #clustering #development #heuristic
Hypergraph Partitioning for VLSI CAD: Methodology for Heuristic Development, Experimentation and Reporting (AEC, ABK, AAK, ILM), pp. 349–354.
CSEETCSEET-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–?.
CSMRCSMR-1999-MonteiroGAAS #fault #intranet
A Software Defect Report and Tracking System in an Intranet (ASM, MG, FBeA, ABdA, PS), pp. 198–202.
IWPCIWPC-1999-SneedD #distributed #object-oriented
Comprehending a Complex, Distributed, Object-Oriented Software System a Report from the Field (HMS, TD), pp. 218–225.
FMFM-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.
AdaEuropeAdaEurope-1999-Hemeury #empirical
Report on the VERA Experiment (BH), pp. 103–113.
EDOCEDOC-1999-RenaudC #component #fault #framework #named
HERCULE: a framework for enhancing error reporting in component-based systems (KR, RLC), pp. 245–254.
CIKMCIKM-1999-LiddleCC #automation
Automatically Extracting Structure and Data from Business Reports (SWL, DMC, CC), pp. 86–93.
SEKESEKE-1999-Brossler #case study #experience #information management
Knowledge Management at a Software House. An Experience Report (PB), pp. 163–170.
TOOLSTOOLS-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.
SACSAC-1999-FenwickD #automaton #estimation #using
Electrical Substation Service-Area Estimation Using Cellular Automata: An Initial Report (JWF, LJD), pp. 560–565.
ICSMEICSM-1998-Hissam #case study #experience #information management #off the shelf
Experience Report: Correcting System Failure in a COTS Information System (SAH), pp. 170–176.
FMFM-1998-OwreRSS #case study #experience #named
PVS: An Experience Report (SO, JMR, NS, DWJSC), pp. 338–345.
CHICHI-1998-TeelSRB
Voice-enabled Structured Medical Reporting (MMT, RS, DFR, MB), pp. 595–602.
AdaEuropeAdaEurope-1998-Tonndorf #ada #case study #compilation #experience
Ten Years of Tool Based Ada Compiler Validations. An Experience Report (MT), pp. 176–187.
AdaSIGAda-1998-Kamrad #ada #case study #experience
Ada experience report for BlazeNet, Inc. (JMKI), pp. 215–216.
KRKR-1998-EiterLMPS #benchmark #metric
The KR System dlv: Progress Report, Comparisons and Benchmarks (TE, NL, CM, GP, FS), pp. 406–417.
KRKR-1998-Lin #on the #quality
On Measuring Plan Quality (A Preliminary Report) (FL), pp. 224–233.
UMLUML-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.
UMLUML-1998-OliveS #case study #experience #migration #uml
Porting ROSES to UML — An Experience Report (AO, MRS), pp. 64–77.
OOPSLAOOPSLA-1998-JacobsBHB #java #reasoning
Reasoning about Java Classes (Preliminary Report) (BJ, JvdB, MH, MvB), pp. 329–340.
TOOLSTOOLS-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.
REICRE-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.
REICRE-1998-WeidenhauptPJH #development
Scenario Usage in System Development: A Report on Current Practice (KW, KP, MJ, PH), p. 222–?.
ICSEICSE-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.
ICSEICSE-1998-HoudekSW #case study #experience
Establishing Experience Factories at Daimler-Benz An Experience Report (FH, KS, EW), pp. 443–447.
ICSEICSE-1998-KuuselaMX #architecture #case study #experience #industrial #modelling
Architectural Modeling in Industry — An Experience Report (JK, AM, JX), pp. 512–515.
ICSEICSE-1998-TesorieroZ #re-engineering
A Model of Noisy Software Engineering Data (Status Report) (RT, MVZ), pp. 461–464.
ITiCSEITiCSE-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-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.
CSMRCSMR-1997-MullerG #case study #experience #standard #tool support #using
Planning Year 2000 transformations using standard tools: an experience report (BM, RG), pp. 94–100.
ICSMEICSM-1997-Gupta #case study #comprehension #experience #using
Program Understanding Using Program Slivers — An Experience Report (AG), pp. 66–71.
CHICHI-1997-LaiV #named #recognition #speech
MedSpeak: Report Creation with Continuous Speech Recognition (JL, JV), pp. 431–438.
HCIHCI-CC-1997-Marcus #design #user interface
Cultural Diversity for User Interface Design: A Progress Report (AM), pp. 145–148.
EDOCEDOC-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–?.
CIKMCIKM-1997-OsbornSM #database #documentation #retrieval
Evaluating Document Retrieval in Patent Database: A Preliminary Report (MO, TS, MM), pp. 216–221.
TOOLSTOOLS-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.
ESECESEC-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.
ESECESEC-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.
ICSEICSE-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.
ICSEICSE-1997-BonfattiGM #case study #development #experience #process
An Improved Process for the Development of PLC Software (Experience Report) (FB, GG, PDM), pp. 400–410.
ICSEICSE-1997-DeLineZS #case study #experience #interactive #lessons learnt
Lessons on Converting Batch Systems to Support Interaction (Experience Report) (RD, GZ, MS), pp. 195–204.
ICSEICSE-1997-DunietzESMI #case study #design #experience #testing
Applying Design of Experiments to Software Testing (Experience Report) (ISD, WKE, BDS, CLM, AI), pp. 205–215.
ICSEICSE-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.
ICSEICSE-1997-LaneZ #approach #case study #experience #metric
Intergrating Measurement with Improvement: An Action-Oriented Approach (Experience Report) (JAL, DZ), pp. 380–389.
ICSEICSE-1997-NguyenWC #case study #evolution #experience #process
Total Software Process Model Evolution in EPOS (Experience Report) (MNN, AIW, RC), pp. 390–399.
ICSEICSE-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.
CSEETCSEE-1996-MackeKNHCCM #industrial
An Industry/Academic Partnership that Worked: An In Progress Report (SM, SK, JN, IH, JC, AC, BM), pp. 234–247.
ITiCSEITiCSE-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-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.
ESOPESOP-1996-Jones96a #compilation #haskell #program transformation
Compiling Haskell by Program Transformation: A Report from the Trenches (SLPJ), pp. 18–44.
CAiSECAiSE-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.
KDDAKDDM-1996-MatheusPM #what
Selecting and reporting What Is Interesting (CJM, GPS, DM), pp. 495–515.
KRKR-1996-BaaderS #logic #strict
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report (FB, US), pp. 328–339.
KRKR-1996-MonteiroW #logic #multi
Preferential Multi-Agent Nonmonotonic Logics: Preliminary Report (AMM, JW), pp. 446–452.
ECOOPECOOP-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.
REICRE-1996-LutzW #analysis #case study #experience #requirements
Experience Report: Contributions of SFMEA to Requirements Analysis (RRL, RMW), pp. 44–51.
ICSEICSE-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.
ISSTAISSTA-1996-PomakisA #analysis #feature model #interactive #reachability
Reachability Analysis of Feature Interactions: A Progress Report (KPP, JMA), pp. 216–223.
CSEETCSEE-1995-KhajenooriH #process
Personal Software Process: An Experiential Report (SK, IH), pp. 131–145.
ICSMEICSM-1995-CarmichaelTH #architecture #case study #design #experience #interactive #maintenance
Design maintenance: unexpected architectural interactions (experience report) (IC, VT, RCH), p. 134–?.
ICSMEICSM-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–?.
ICSMEICSM-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–?.
CAiSECAiSE-1995-NaratV #case study #evaluation #experience #maintenance
A Guide for Software Maintenance Evaluation: Experience Report (VN, AV), pp. 366–374.
ICSEICSE-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.
ICSEICSE-1995-RosenbaumC #case study #experience #reuse
Managing Software Reuse — An Experience Report (SR, BdC), pp. 105–111.
ICSEICSE-1995-VottaP #re-engineering #state of the art
Experimental Software Engineering: A Report on the State of the Art (LGV, AAP), pp. 277–279.
SIGMODSIGMOD-1994-Kulkarni #object-oriented #sql
Object-Oriented Extensions in SQL3: A Status Report (KGK), p. 478.
ICSMEICSM-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.
ICSMEICSM-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.
CSCWCSCW-1994-KatzenbergM #summary
Meaning-Making in the Creation of Useful Summary Reports (BK, JPM), pp. 199–206.
AdaTRI-Ada-1994-ShumateS #metric #process
Software Project Reporting: Management, Measurement, and Process Improvement (KS, TS), pp. 41–45.
KRKR-1994-KarthaL
Actions with Indirect Effects (Preliminary Report) (GNK, VL), pp. 341–350.
KRKR-1994-Meyden
Mutual Belief Revision (Preliminary Report) (RvdM), pp. 595–606.
OOPSLAOOPSLA-1994-CareyDKN #benchmark #metric #object-oriented
A Status Report on the oo7 OODBMS Benchmarking Effort (MJC, DJD, CK, JFN), pp. 414–426.
TOOLSTOOLS-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.
ICSEICSE-1994-BrodmanJ #case study #experience #what
What Small Business and Small Organizations Say About the CMM: Experience Report (JGB, DLJ), pp. 331–340.
ICSEICSE-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.
ICSEICSE-1994-DevanbuJ #case study #experience #logic
The Use of Description Logics in KBSE Systems: Experience Report (PTD, MAJ), pp. 23–35.
ICSEICSE-1994-Johnson94a #case study #experience #process
Software Process Improvement Experience in the DP/MIS Function: Experience Report (AJ), pp. 323–329.
ICSEICSE-1994-KeaneH #approach #case study #experience #formal method #parallel
A Formal Approach to Determining Parallel Resource Bindings: Experience Report (JAK, WH), pp. 15–22.
ASEKBSE-1993-KorelskyMR #automation #generative #project management #requirements
Knowledge Requirements for the Automatic Generation of Project Management Reports (TK, DM, OR), p. 5.
ICDARICDAR-1993-AbeMNK #comparison #detection
Comparison of methods for detecting corner points from digital curves-a preliminary report (KA, RM, KN, TK), pp. 854–857.
ICSMECSM-1993-Schneidewind #quality #standard
Report on the IEEE Standard for a Software Quality Memcs Methodology (NFS), pp. 104–106.
ICALPICALP-1993-JategaonkarM #concurrent #finite
Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report) (LJ, ARM), pp. 519–531.
ECOOPECOOP-1993-BirrerE #case study #experience #framework
Frameworks in the Financial Engineering Domain — An Experience Report (AB, TE), pp. 21–35.
TOOLSTOOLS-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.
RTARTA-1993-Field #approach #graph #incremental #reduction #term rewriting
A Graph Reduction Approach to Incremental Term Rewriting (Preliminary Report) (JF), pp. 259–273.
ICALPICALP-1992-ChazelleR #bound #complexity #pointer
Lower Bounds on the Complexity of Simplex Range Reporting on a Pointer Machine (BC, BR), pp. 439–449.
AdaTRI-Ada-C-1992-SeligPM #ada #data analysis #realtime
Data Analysis and Reporting for Real-Time Ada Systems (TS, DBP, BDM), pp. 469–476.
KRKR-1992-LifschitzW #reasoning #set
Answer Sets in General Nonmonotonic Reasoning (Preliminary Report) (VL, TYCW), pp. 603–614.
KRKR-1992-PatilFPMFGN
The DARPA Knowledge Sharing Effort: A Progress Report (RSP, RF, PFPS, DPM, TWF, TRG, RN), pp. 777–788.
KRKR-1992-Poesio
Conversational Events and Discourse State Change: A Preliminary Report (MP), pp. 369–380.
KRKR-1992-ShohamT #multi
Emergent Conventions in Multi-Agent Systems: Initial Experimental Results and Observations (Preliminary Report) (YS, MT), pp. 225–231.
TOOLSTOOLS-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.
ICSEICSE-1992-Isoda #case study #experience #process #reuse #statistics
Experience Report on Software Reuse Project: Its Structure, Activities, and Statistical Results (SI), pp. 320–326.
CADECADE-1992-Blackburn
A Report in ICL HOL (KB), pp. 743–747.
FMVDME-1991-1-HepingZ #prototype
Prototyping with Temporal VDM: A Status Report (HH, HZ), pp. 681–682.
FMVDME-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.
KRKR-1991-Gardenfors
Nonmonotonic Inferences Based on Expectations: A Preliminary Report (PG), pp. 585–590.
ICTSSIWPTS-1991-Rayner #standard
Status Report on ISO/IEC 9646 Standardization and Extension (DR), pp. 47–58.
STOCSTOC-1990-KfouryTU #problem
The Undecidability of the Semi-Unification Problem (Preliminary Report) (AJK, JT, PU), pp. 468–476.
ICALPICALP-1990-Riecke #call-by #decidability #proving
A Complete and Decidable Proof System for Call-by-Value Equalities (Preliminary Report) (JGR), pp. 20–31.
CSCWCSCW-1990-YakemovicC #development #information management
Report on a Development Project Use of an Issue-Based Information System (KCBY, EJC), pp. 105–118.
ICSEICSE-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.
ICSEICSE-1990-Bush90a #case study #experience #metric #quality
Getting Started on Metrics — JPL Productivity and Quality (Experience Report) (MWB), pp. 133–142.
ICSEICSE-1990-Bush90b #case study #experience #quality
Improving Software Quality: The Use of Formal Inspections at the JPL (Experience Report) (MWB), pp. 196–199.
ICSEICSE-1990-DeMarcoG #case study #documentation #experience #video
Use of Video for Program Documentation (Experience Report) (TD, CG), pp. 126–128.
ICSEICSE-1990-Diaz #case study #classification #experience #implementation #reuse
Implementing Faceted Classification for Software Reuse (Experience Report) (RPD), pp. 300–304.
ICSEICSE-1990-Dowson #case study #experience #using
Experience Using the Graphite Meta-Tool (Experience Report) (MD), pp. 192–195.
ICSEICSE-1990-GuihoH #case study #experience #validation
SACEM Software Validation (Experience Report) (GDG, CH), pp. 186–191.
ICSEICSE-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.
LICSLICS-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.
LICSLICS-1990-Kolaitis #ambiguity #finite
Implicit Definability on Finite Structures and Unambiguous Computations (Preliminary Report) (PGK), pp. 168–180.
LICSLICS-1990-KolaitisV #logic
0-1 Laws for Infinitary Logics (Preliminary Report) (PGK, MYV), pp. 156–167.
CSEETSEI-1989-ArdisF #education #re-engineering
SEI Report on Graduate Software Engineering Education (MAA, GAF), pp. 208–249.
STOCSTOC-1989-SafraV #automaton #logic #on the
On ω-Automata and Temporal Logic (Preliminary Report) (SS, MYV), pp. 127–137.
SIGIRSIGIR-1989-BerrutC #approach #multi
Indexing Medical Reports in a Multimedia Environment: The RIME Experimental Approach (CB, YC), pp. 187–197.
ICSEICSE-1989-HumphreyKK #re-engineering
The State of Software Engineering Practice: A Preliminary Report (WSH, DHK, TCK), pp. 277–288.
LICSLICS-1989-Breazu-TannenCGS #inheritance
Inheritance and Explicit Coercion (Preliminary Report) (VT, TC, CAG, AS), pp. 112–129.
LICSLICS-1989-KfouryTU #problem #unification
Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report) (AJK, JT, PU), pp. 98–105.
ISSTATAV-1989-RowlandZ #comparison
Experimental Comparison of Three System Test Strategies Preliminary Report (JHR, YZ), pp. 141–149.
CSEETSEI-1988-Ardis #design #education
SEI Report: The Design of an MSE Curriculum (MAA), p. 55.
STOCSTOC-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.
STOCSTOC-1988-HalpernMT #analysis #knowledge-based
A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) (JYH, YM, MRT), pp. 132–147.
FMVDME-1988-Ruggles88a #formal method #standard
Formal Methods in Standards — A Report from the BCS Working Group (CR), pp. 79–85.
LISPLFP-1988-BobrowK #kernel #lisp #object-oriented
The Common Lisp Object System Metaobject Kernel: A Status Report (DGB, GK), pp. 309–315.
ICSEICSE-1988-TerwilligerC
An Early Report on Encompass (RBT, RHC), pp. 344–355.
LICSLICS-1988-Bloom #modelling #λ-calculus
Can LCF Be Topped? Flat Lattice models of Typed λ Calculus (Preliminary Report) (BB), pp. 282–295.
LICSLICS-1987-Breazu-TannenM #morphism #polymorphism
Polymorphism is conservative over simple types (Preliminary Report) (VT, ARM), pp. 7–17.
LICSLICS-1986-KapurM #induction #reasoning #specification
Inductive Reasoning with Incomplete Specifications (Preliminary Report) (DK, DRM), pp. 367–377.
LICSLICS-1986-VardiW #approach #automation #verification
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) (MYV, PW), pp. 332–344.
SIGMODSIGMOD-1985-KuperV #logic #on the #power of
On the Expressive Power of the Logical Data Model (Preliminary Report) (GMK, MYV), pp. 180–187.
STOCSTOC-1985-FaginV #logic #semantics
An Internal Semantics for Modal Logic: Preliminary Report (RF, MYV), pp. 305–315.
STOCSTOC-1985-VardiS #bound #logic #source code
Improved Upper and Lower Bounds for Modal Logics of Programs: Preliminary Report (MYV, LJS), pp. 240–251.
ICALPICALP-1985-Hrbacek #algebra
Powerdomains as Algebraic Lattices (Preliminary Report) (KH), pp. 281–289.
VLDBVLDB-1984-AbiteboulV #database #relational #transaction
Transactions in Relational Databases (Preliminary Report) (SA, VV), pp. 46–56.
STOCSTOC-1984-Harel #infinity
A General Result on Infinite Trees and Its Applications (Preliminary Report) (DH), pp. 418–427.
STOCSTOC-1984-Willard #protocol
Log-Logarithmic Protocols for Resolving Ethernet and Semaphore Conflicts (Preliminary Report) (DEW), pp. 512–521.
SIGIRSIGIR-1984-Hollaar #retrieval
The Utah Text Retrieval Project — A Status Report (LAH), pp. 123–132.
CADECADE-1984-LankfordBB #algorithm
A Progress Report on New Decision Algorithms for Finitely Prsented Abelian Groups (DL, GBI, AMB), pp. 128–141.
STOCSTOC-1983-Ben-Or #algebra #bound
Lower Bounds for Algebraic Computation Trees (Preliminary Report) (MBO), pp. 80–86.
STOCSTOC-1983-Immerman #complexity
Languages Which Capture Complexity Classes (Preliminary Report) (NI), pp. 347–354.
STOCSTOC-1983-Myers #random
The Random Access Hierarchy (Preliminary Report) (DM), pp. 355–364.
SIGIRSIGIR-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.
SIGIRSIGIR-1983-Wessel #information management
Progress Report on Project Information Bridge (AEW), pp. 49–74.
SIGMODSIGMOD-1981-BrownCS
The Cedar DBMS: A Preliminary Report (MRB, RGGC, NS), pp. 205–211.
ICSEICSE-1981-DuranN #random testing #testing
A Report on Random Testing (JWD, SCN), pp. 179–183.
VLDBVLDB-1980-Brodie80a #approach #database #relational #standard
Standardization and the Relational Approach to Databases: An ANSI Task Group Status Report (MLB), pp. 326–327.
VLDBVLDB-1980-Steel #database
Status Report on ISO/TC97/SC5/WG3 — Data Base Management Systems (TBSJ), pp. 321–325.
STOCSTOC-1979-ChandraH #database #query #relational
Computable Queries for Relational Data Bases (Preliminary Report) (AKC, DH), pp. 309–318.
STOCSTOC-1979-MeyerW #logic #on the #power of
On the Expressive Power of Dynamic Logic (Preliminary Report) (ARM, KW), pp. 167–175.
STOCSTOC-1979-Yao #complexity
Some Complexity Questions Related to Distributive Computing (Preliminary Report) (ACCY), pp. 209–213.
ICALPICALP-1979-BookB #complexity #representation #set #similarity
Representing Complexity Classes by Equality Sets (Preliminary Report) (RVB, FJB), pp. 49–57.
ICALPICALP-1979-CremersH #requirements
Arbitration and Queuing Under Limited Shared Storage Requirements (Preliminary Report) (ABC, TNH), pp. 147–160.
SIGIRSIGIR-1979-Salton #automation #information retrieval
Progress Report on Automatic Information Retrieval (GS), p. 1.
STOCSTOC-1978-Miller #morphism #on the
On the n^log n Isomorphism Technique: A Preliminary Report (GLM), pp. 51–58.
STOCSTOC-1978-Pratt #logic
A Practical Decision Method for Propositional Dynamic Logic: Preliminary Report (VRP), pp. 326–337.
STOCSTOC-1978-RivestMKWS #fault
Coping with Errors in Binary Search Procedures (Preliminary Report) (RLR, ARM, DJK, KW, JS), pp. 227–232.
ICALPICALP-1978-Biskup #metric #turing machine
Path Measures of Turing Machine Computations (Preliminary Report) (JB), pp. 90–104.
ICALPICALP-1978-BookGW
Comparisons and Reset Machines (Preliminary Report) (RVB, SAG, CW), pp. 113–124.
ICALPICALP-1978-Savitch #complexity #nondeterminism #parallel
Parallel and Nondeterministic Time Complexity Classes (Preliminary Report) (WJS), pp. 411–424.
FMVDM-1978-HenhaplJ #algol
A Formal Definition of Algol 60 as Described in the 1975 Modified Report (WH, CBJ), pp. 305–336.
VLDBVLDB-1977-Lincoln #database #encoding
Encoding, Decoding and Storing Melodies for a Data Base of Renaissance Polyphony: A Progress Report (HBL), pp. 277–282.
STOCSTOC-1977-HarelMP #logic #source code
Computability and Completeness in Logics of Programs (Preliminary Report) (DH, ARM, VRP), pp. 261–268.
STOCSTOC-1977-LynchB #performance #programming
Efficient Reducibility Between Programming Systems: Preliminary Report (NAL, EKB), pp. 228–238.
STOCSTOC-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.
STOCSTOC-1976-Valiant
Universal Circuits (Preliminary Report) (LGV), pp. 196–203.
SIGMODSIGMOD-1975-Steel #database #standard
Data Base Standardization — A Status Report (TBSJ), pp. 149–156.
STOCSTOC-1975-FischerMP #bound
Lower Bounds on the Size of Boolean Formulas: Preliminary Report (MJF, ARM, MP), pp. 37–44.
STOCSTOC-1975-Yao #on the #polynomial
On Computing the Minima of Quadratic Forms (Preliminary Report) (ACCY), pp. 23–26.
SIGMODSIGFIDET-1974-Taylor
Data Administration and the DBTG Report (RWT), pp. 431–444.
STOCSTOC-1974-HopcroftW #algorithm #graph #linear #morphism
Linear Time Algorithm for Isomorphism of Planar Graphs (Preliminary Report) (JEH, JKW), pp. 172–184.
STOCSTOC-1974-Rackoff #complexity #on the
On the Complexity of the Theories of Weak Direct Products: A Preliminary Report (CR), pp. 149–160.
STOCSTOC-1973-StockmeyerM #exponential #problem #word
Word Problems Requiring Exponential Time: Preliminary Report (LJS, ARM), pp. 1–9.
SIGIRSIGIR-1973-KingS #interactive #named
ARS — An Interactive Reporting System (PFK, JES), pp. 161–175.
STOCSTOC-1972-MeyerB
Program Size and Economy of Descriptions: Preliminary Report (ARM, AB), pp. 183–186.
SIGMODSIGFIDET-1971-Engles #analysis #database
An Analysis of the April 1971 Data Base Task Group Report (RWE), pp. 69–91.
STOCSTOC-1970-BassY #complexity #set
Hierarchies Based on Computational Complexity and Irregularities of Class Determining Measured Sets (Preliminary Report) (LJB, PRY), pp. 37–40.
STOCSTOC-1969-McCreightM #bound
Classes of Computable Functions Defined by Bounds on Computation: Preliminary Report (EMM, ARM), pp. 79–88.
DACSHARE-1964-RossF #visual notation
Verbal and graphical language for the AED system: A progress report (DTR, CGF).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.