Stem systemat$ (all stems)

339 papers:

QoSA-2015-LehrigEB #bibliography #in the cloud #metric #performance #scalability

Scalability, Elasticity, and Efficiency in Cloud Computing: a Systematic Literature Review of Definitions and Metrics (SL, HE, SB), pp. 83–92.

CASE-2015-ScottiPQC #composition #design

Modular and systematic design of supervisory control system integrating PLC, SCADA and task routing for a modular production system (WAFS, NBP, MHdQ, JERC), pp. 807–812.

DATE-2015-PerriconeZSHN #3d #design #towards

Towards systematic design of 3D pNML layouts (RP, YZ, KMS, XSH, MTN), pp. 1539–1542.

DATE-2015-RuizMK #approach #reuse

Systematic application of ISO 26262 on a SEooC: Support by applying a systematic reuse approach (AR, AM, TK), pp. 393–396.

CHI-2015-Mayer0SH #modelling

Modeling Distant Pointing for Compensating Systematic Displacements (SM, KW, SS, NH), pp. 4165–4168.

DUXU-DD-2015-Zapata #agile #bibliography #integration #perspective #usability

Integration of Usability and Agile Methodologies: A Systematic Review (CZ), pp. 368–378.

HCI-IT-2015-EvansBCLC #bibliography

A Systematic Review of Dementia Focused Assistive Technology (JE, MAB, TC, GL, MPC), pp. 406–417.

ICEIS-v2-2015-AbadeFL #bibliography #perspective #testing

Testing M2T Transformations — A Systematic Literature Review (AA, FF, DL), pp. 177–187.

ICEIS-v2-2015-BenincaHGLBM #bibliography #information management

Knowledge Management Practices in GSD — A Systematic Literature Review Update (RdAB, EHMH, EVCG, GCLL, RB, YM), pp. 365–373.

ICEIS-v2-2015-LucenaAAAJ #approach #modelling

Integrating User Stories and i* Models — A Systematic Approach (ML, CA, FMRA, EA, AJ), pp. 428–438.

ICEIS-v2-2015-PereiraD #formal method #logic #semantics #uml #using

Systematic Mapping — Formalization of UML Semantics using Temporal Logic (VP, MED), pp. 486–493.

ICEIS-v2-2015-TrinkenreichSB #maturity #metric #modelling

Metrics to Support IT Service Maturity Models — A Systematic Mapping Study (BT, GS, MPB), pp. 330–337.

ICEIS-v3-2015-SilvaVC #development #process #usability

Integrating the Usability into the Software Development Process — A Systematic Mapping Study (WS, NMCV, TC), pp. 105–113.

ICML-2015-ScholkopfHWFJSP #fault

Removing systematic errors for exoplanet search via latent causes (BS, DWH, DW, DFM, DJ, CJSG, JP), pp. 2218–2226.

RecSys-2015-GuoD #approach #bias #category theory

Uncovering Systematic Bias in Ratings across Categories: a Bayesian Approach (FG, DBD), pp. 317–320.

SEKE-2015-GoncalesFSOV #comparison #difference

Model Comparison: a Systematic Mapping Study (LG, KF, MS, TCO, MV), pp. 546–551.

SEKE-2015-GoncalvesW #bibliography #education #how #perspective #project management #tool support

How to Teach the Usage of Project Management Tools in Computer Courses: A Systematic Literature Review (RQG, CGvW), pp. 36–41.

SEKE-2015-VacariP #agile #bibliography #perspective

Adopting Agile Methods in the Public Sector: A Systematic Literature Review (IV, RP), pp. 709–714.

BX-2015-AnjorinLKSS #approach #graph grammar #guidelines

A Systematic Approach and Guidelines to Developing a Triple Graph Grammar (AA, EL, RK, AS, PS), pp. 81–95.

MoDELS-2015-FoucheNGE #diagrams #generative #modelling #standard #tool support

Systematic generation of standard compliant tool support of diagrammatic modeling languages (AF, FN, SG, ME), pp. 348–357.

MoDELS-2015-HolldoblerRW #model transformation

Systematically deriving domain-specific transformation languages (KH, BR, IW), pp. 136–145.

MoDELS-2015-NguyenYHKST #design pattern #named #security

SoSPa: A system of Security design Patterns for systematically engineering secure systems (PHN, KY, TH, JK, RS, YLT), pp. 246–255.

REFSQ-2015-RiegelD #bibliography #requirements

A Systematic Literature Review of Requirements Prioritization Criteria (NR, JD), pp. 300–317.

SAC-2015-GuessiNBFON #architecture #bibliography

A systematic literature review on the description of software architectures for systems of systems (MG, VVGN, TB, KRF, FO, EYN), pp. 1433–1440.

SAC-2015-MergelSS #mining #string #visual notation

A method to support search string building in systematic literature reviews through visual text mining (GDM, MSS, TSdS), pp. 1594–1601.

ESEC-FSE-2015-DesaiQS #testing

Systematic testing of asynchronous reactive systems (AD, SQ, SAS), pp. 73–83.

ICSE-v1-2015-HuaKM #automation #editing #question #refactoring

Does Automated Refactoring Obviate Systematic Editing? (LH, MK, KSM), pp. 392–402.

ICSE-v1-2015-ZhangSPK #bibliography #code review #interactive

Interactive Code Review for Systematic Changes (TZ, MS, JP, MK), pp. 111–122.

ICSE-v2-2015-ParkHKLC #case study #nondeterminism #testing

Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven (YP, SH, MK, DL, JC), pp. 29–38.

SPLC-2015-KassmeyerSS #impact analysis #process #safety #variability

A process to support a systematic change impact analysis of variability and safety in automotive functions (MK, MS, MS), pp. 235–244.

PPoPP-2015-ThomsonD #concurrent #lazy evaluation #partial order #reduction #testing

The lazy happens-before relation: better partial-order reduction for systematic concurrency testing (PT, AFD), pp. 259–260.

CAV-2015-OzkanET #android #debugging

Systematic Asynchrony Bug Exploration for Android Apps (BKO, ME, ST), pp. 455–461.

ISSTA-2015-AdamsenMM #android #execution #testing

Systematic execution of Android test suites in adverse conditions (CQA, GM, AM), pp. 83–93.

ECSA-2014-LewisLP #architecture #bibliography #perspective

Architecture Strategies for Cyber-Foraging: Preliminary Results from a Systematic Literature Review (GAL, PL, GP), pp. 154–169.

ECSA-2014-WeinreichG #bibliography #fresh look #perspective

A Fresh Look at Codification Approaches for SAKM: A Systematic Literature Review (RW, IG), pp. 1–16.

WICSA-2014-DragomirLB #approach #architecture

Systematic Architectural Decision Management, A Process-Based Approach (AD, HL, TB), pp. 255–258.

ICSME-2014-FischerLLE #reuse

Enhancing Clone-and-Own with Systematic Reuse for Developing Software Variants (SF, LL, RELH, AE), pp. 391–400.

CHI-2014-MeklerBTO #bibliography #game studies

A systematic review of quantitative studies on the enjoyment of digital entertainment games (EDM, JAB, ANT, KO), pp. 927–936.

HCI-AS-2014-NerisRL #aspect-oriented #bibliography #human-computer #interactive

A Systematic Review of Sustainability and Aspects of Human-Computer Interaction (VPdAN, KRdHR, RFL), pp. 742–753.

LCT-TRE-2014-ArnoldK #education #named #social

E-Portfolios — Fostering Systematic Reflection in Social Work Education (PA, SK), pp. 351–362.

VISSOFT-2014-SeriaiBCS #tool support #validation #visualisation

Validation of Software Visualization Tools: A Systematic Mapping Study (AS, OB, BC, HAS), pp. 60–69.

ICEIS-v2-2014-BarnRAC #collaboration #named

Slrtool: A Tool to Support Collaborative Systematic Literature Reviews (BSB, FR, LA, TC), pp. 440–447.

ICEIS-v2-2014-FerreiraS #approach #enterprise #implementation #named #semantics #towards #web

e-swim: Enterprise Semantic Web Implementation Model — Towards a Systematic Approach to Implement the Semantic Web in Enterprises (RF, IS), pp. 653–658.

ICEIS-v2-2014-JuniorP #aspect-oriented #requirements

Aspect-Oriented Requirements Engineering — A Systematic Mapping (PAPJ, RADP), pp. 83–95.

ICEIS-v2-2014-SilvaMS #aspect-oriented #bibliography #evaluation #performance #programming

A Systematic Review on Performance Evaluation of Aspect-Oriented Programming Techniques used to Implement Crosscutting Concerns (RFGdS, MdAM, MSS), pp. 5–13.

ICPR-2014-CabreraMS #bias

Systematic Labeling Bias: De-biasing Where Everyone is Wrong (GFC, CJM, JS), pp. 4417–4422.

KEOD-2014-LeinweberFSL #bibliography #enterprise #ontology #perspective #research #roadmap

Enterprise Ontologies: Open Issues and the State of Research — A Systematic Literature Review (AL, MF, PS, BL), pp. 280–287.

SEKE-2014-BifflKESW #empirical #information management #re-engineering

Building Empirical Software Engineering Bodies of Knowledge with Systematic Knowledge Engineering (SB, MK, FJE, ES, DW), pp. 552–559.

SEKE-2014-HegdeW #bibliography #developer #how #perspective

How to Enhance the Creativity of Software Developers: A Systematic Literature Review (RH, GSW), pp. 229–234.

ECMFA-2014-CuadradoGL #model transformation #towards

Towards the Systematic Construction of Domain-Specific Transformation Languages (JSC, EG, JdL), pp. 196–212.

REFSQ-2014-OjameruayeB #requirements #using

Systematic Elaboration of Compliance Requirements Using Compliance Debt and Portfolio Theory (BO, RB), pp. 152–167.

REFSQ-2014-YangLJC #adaptation #analysis #bibliography #modelling #requirements #self

A Systematic Literature Review of Requirements Modeling and Analysis for Self-adaptive Systems (ZY, ZL, ZJ, YC), pp. 55–71.

SAC-2014-BorgesDRI #education #gamification

A systematic mapping on gamification applied to education (SdSB, VHSD, HMR, SI), pp. 216–222.

SAC-2014-PaulL #bibliography

A systematic literature review on modified condition and decision coverage (TKP, MFL), pp. 1301–1308.

FSE-2014-ZhangSK #bibliography #code review #interactive #named

Critics: an interactive code review tool for searching and inspecting systematic changes (TZ, MS, MK), pp. 755–758.

OSDI-2014-0001RB #concurrent #debugging #kernel #named

SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration (PF, RR, BBB), pp. 415–431.

ECSA-2013-WeynsA #adaptation #architecture #bibliography #perspective #self

Claims and Evidence for Architecture-Based Self-adaptation: A Systematic Literature Review (DW, TA), pp. 249–265.

QoSA-2013-KleinV #architecture #bibliography #research

A systematic review of system-of-systems architecture research (JK, HvV), pp. 13–22.

DAC-2013-MallikZLCBBBCRBMV #analysis #evaluation #framework #named

TEASE: a systematic analysis framework for early evaluation of FinFET-based advanced technology nodes (AM, PZ, TTL, BC, BB, PRDB, RB, KC, JR, MB, AM, DV), p. 6.

DATE-2013-PalitHNN #design #logic

Systematic design of nanomagnet logic circuits (IP, XSH, JN, MTN), pp. 1795–1800.

ITiCSE-2013-RowanD #bibliography #learning #mobile #using

A systematic literature review on using mobile computing as a learning intervention (MR, JD), p. 339.

TACAS-2013-BalasubramanianPKL #analysis #multi #named #statechart

Polyglot: Systematic Analysis for Multiple Statechart Formalisms (DB, CSP, GK, MRL), pp. 523–529.

WCRE-2013-BandiWA #empirical

Empirical evidence of code decay: A systematic mapping study (AB, BJW, EBA), pp. 341–350.

CHI-2013-JungBLK #design

Make it move: a movement design method of simple standing products based on systematic mapping of torso movements & product messages (JJ, SHB, JHL, MSK), pp. 1279–1288.

DUXU-PMT-2013-HsiehLHM #design

Satisfying Consumers’ Needs through Systematic Empathic Design Model (MHH, DBL, CYH, CHM), pp. 488–497.

DUXU-WM-2013-SasajimaNKHHNTTM #learning #ontology

CHARM Pad: Ontology-Based Tool for Learning Systematic Knowledge about Nursing (MS, SN, YK, AH, KH, AN, HT, YT, RM), pp. 560–567.

EDOC-2013-LyMMRA #comparison #evaluation #framework #monitoring

A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches (LTL, FMM, MM, SRM, WMPvdA), pp. 7–16.

ICEIS-v1-2013-HernandesBF #process

Experimental Studies in Software Inspection Process — A Systematic Mapping (EMH, AB, SF), pp. 66–76.

ICEIS-v1-2013-KahkonenS #enterprise #integration

ERP Integration — A Systematic Mapping Study (TK, KS), pp. 23–35.

ICEIS-v2-2013-CallegariJC #bibliography #challenge #health #mobile #roadmap

Technical Trends and Challenges in Mobile Health — A Systematic Review of Recent Available Literature (DAC, LCJ, ACdC), pp. 519–525.

ICEIS-v2-2013-TomasSNGAG #architecture #bibliography #perspective

Smart Cities Architectures — A Systematic Review (GHRPT, WMdS, PAdMSN, VCG, AÁ, KG), pp. 410–417.

MLDM-2013-CarvalhoR #bibliography #nondeterminism #perspective

Discovering Frequent Itemsets on Uncertain Data: A Systematic Review (JVdC, DDR), pp. 390–404.

SEKE-2013-FelizardoBM #approach #bibliography #replication #validation #visual notation

A Visual Approach to Validate the Selection Review of Primary Studies in Systematic Reviews: A Replication Study (KRF, EFB, JCM), pp. 141–146.

SEKE-2013-FreireCNMKAS #automation #bibliography #re-engineering

Automated Support for Controlled Experiments in Software Engineering: A Systematic Review (S) (MAF, DAdC, ECN, TM, UK, EA, SS), pp. 504–509.

SEKE-2013-MolleriSB #approach #automation #bibliography #process

Proposal of an Automated Approach to Support the Systematic Review of Literature Process (S) (JSM, LEdS, FBVB), pp. 488–493.

SEKE-2013-SouzaFV #information management #testing

Knowledge Management Applied to Software Testing: A Systematic Mapping (EFS, RdAF, NLV), pp. 562–567.

ICMT-2013-WieberS #approach #graph transformation #testing

Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns (MW, AS), pp. 205–220.

ECOOP-2013-GligoricBLOHM #refactoring #testing

Systematic Testing of Refactoring Engines on Real Software Projects (MG, FB, YL, JO, MH, DM), pp. 629–653.

OOPSLA-2013-AzimN #android #testing

Targeted and depth-first exploration for systematic testing of android apps (TA, IN), pp. 641–660.

GPCE-2013-OfenbeckRSOP #generative #library #performance #scala #towards

Spiral in scala: towards the systematic construction of generators for performance libraries (GO, TR, AS, MO, MP), pp. 125–134.

RE-2013-HesariBY #challenge #framework #generative #industrial #testing #towards

Towards a systematic requirement-based test generation framework: Industrial challenges and needs (SH, RB, TY), pp. 261–266.

REFSQ-2013-Bjarnason #development #process #requirements

Distances between Requirements Engineering and Later Software Development Activities: A Systematic Map (EB), pp. 292–307.

SAC-2013-DurelliSADC #bibliography #mining

A systematic review on mining techniques for crosscutting concerns (RSD, DSMS, NA, MED, VVdC), pp. 1080–1087.

ICSE-2013-JacobellisMK #named #program transformation

LASE: an example-based program transformation tool for locating and applying systematic edits (JJ, NM, MK), pp. 1319–1322.

ICSE-2013-Kulkarni #reuse

Systematically selecting a software module during opportunistic reuse (NK), pp. 1405–1406.

ICSE-2013-MengKM #learning #named

LASE: locating and applying systematic edits by learning from examples (NM, MK, KSM), pp. 502–511.

ICSE-2013-Muslu #analysis #development #maintenance

Integrating systematic exploration, analysis, and maintenance in software development (KM), pp. 1389–1392.

ICSE-2013-PaveseBU #automation #estimation #reliability

Automated reliability estimation over partial systematic explorations (EP, VAB, SU), pp. 602–611.

ICSE-2013-WertHH #automation #performance #problem

Supporting swift reaction: automatically uncovering performance problems by systematic experiments (AW, JH, LH), pp. 552–561.

SPLC-2013-EichelbergerS #analysis #modelling #variability

A systematic analysis of textual variability modeling languages (HE, KS), pp. 12–21.

ICST-2013-ChristakisGS #concurrent #detection #erlang #fault #source code #testing

Systematic Testing for Detecting Concurrency Errors in Erlang Programs (MC, AG, KFS), pp. 154–163.

ICST-2013-NairVSB #assessment #bibliography #classification #perspective #safety

Classification, Structuring, and Assessment of Evidence for Safety — A Systematic Literature Review (SN, JLdlV, MS, LCB), pp. 94–103.

ISSTA-2013-BindalBL #bound #concurrent #parallel #source code #testing #thread

Variable and thread bounding for systematic testing of multithreaded programs (SB, SB, AL), pp. 145–155.

QoSA-2012-NaabS #architecture #flexibility #lifecycle

Architectural flexibility in a software-system’s life-cycle: systematic construction and exploitation of flexibility (MN, JS), pp. 13–22.

DAC-2012-VenkataramaniSKRR #approximate #logic #named #synthesis

SALSA: systematic logic synthesis of approximate circuits (SV, AS, VJK, KR, AR), pp. 796–801.

ITiCSE-2012-CookDHHJKS #abstraction #approach #education #modelling

A systematic approach to teaching abstraction and mathematical modeling (CTC, SDS, JOH, JEH, DPJ, JK, MS), pp. 357–362.

ESOP-2012-DownenA #approach #multi

A Systematic Approach to Delimited Control with Multiple Prompts (PD, ZMA), pp. 234–253.

ESOP-2012-EmotoFH #framework #parallel #pipes and filters #programming

Generate, Test, and Aggregate — A Calculation-based Framework for Systematic Parallel Programming with MapReduce (KE, SF, ZH), pp. 254–273.

ICSM-2012-TahirM #metric #quality

A systematic mapping study on dynamic metrics and software quality (AT, SGM), pp. 326–335.

SEFM-2012-FathabadiBR #approach #composition

A Systematic Approach to Atomicity Decomposition in Event-B (ASF, MJB, AR), pp. 78–93.

ICEIS-J-2012-FabbriHTBZS12a #mining #using #visualisation

Using Information Visualization and Text Mining to Facilitate the Conduction of Systematic Literature Reviews (SF, EMH, ADT, AB, AZ, CS), pp. 243–256.

ICEIS-v2-2012-FrancaS #aspect-oriented #bibliography #evaluation #metric #programming #using

A Systematic Review on Evaluation of Aspect Oriented Programming using Software Metrics (JMSF, MdSS), pp. 77–83.

ICEIS-v2-2012-NishiokaO #concept #enterprise #information management #integration #process

Systematic Process of Conceptualization — For Enterprise Information System Renewal and Integration (KN, KO), pp. 63–69.

CIKM-2012-KazaiCYT #analysis #fault #information retrieval

An analysis of systematic judging errors in information retrieval (GK, NC, EY, SMMT), pp. 105–114.

SEKE-2012-DuarteN #bibliography #development #embedded #perspective

Aspect-Orientation in the Development of Embedded Systems: A Systematic Review (LSD, EYN), pp. 158–161.

SEKE-2012-MolleriB #automation #bibliography #perspective #process

Automated Approaches to Support Secondary Study Processes: a Systematic Review (JSM, FBVB), pp. 143–147.

SEKE-2012-RiveroC #usability #using #web

Using the Results from a Systematic Mapping Extension to Define a Usability Inspection Method for Web Applications (LR, TC), pp. 582–587.

REFSQ-2012-TekaCS #bibliography

A Systematic Literature Review on Service Description Methods (AYT, NCF, BS), pp. 239–255.

SAC-2012-LemosADR #requirements

A systematic mapping study on creativity in requirements engineering (JL, CFA, LD, GNR), pp. 1083–1088.

ICSE-2012-GouesDFW #automation #debugging #program repair

A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each (CLG, MDV, SF, WW), pp. 3–13.

ICSE-2012-LavalleeR #bibliography #developer #perspective #process

The impacts of software process improvement on developers: A systematic review (ML, PNR), pp. 113–122.

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

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

SPLC-2012-MyllarniemiRM #bibliography #product line #quality #variability

A systematically conducted literature review: quality attribute variability in software product lines (VM, MR, TM), pp. 41–45.

CSL-2012-ChaudhuriHM #approach #calculus

A Systematic Approach to Canonicity in the Classical Sequent Calculus (KC, SH, DM), pp. 183–197.

ECSA-2011-AlebrahimHH #architecture #integration #quality #requirements #towards

Towards Systematic Integration of Quality Requirements into Software Architecture (AA, DH, MH), pp. 17–25.

QoSA-ISARCS-2011-Koziolek #architecture #bibliography #evaluation #perspective

Sustainability evaluation of software architectures: a systematic review (HK), pp. 3–12.

QoSA-ISARCS-2011-PeakeS #contract #modelling #trade-off

Systematic simplicity-accuracy tradeoffs in parameterised contract models (IDP, HWS), pp. 95–104.

WICSA-2011-Bashardoust-TajaliRC #bibliography #challenge #modelling #variability

Challenges of Variability in Model-Driven and Transformational Approaches: A Systematic Survey (SBT, VDR, JPC), pp. 294–301.

DAC-2011-LinLCHC #random

Common-centroid capacitor placement considering systematic and random mismatches in analog integrated circuits (CWL, JML, YCC, CPH, SJC), pp. 528–533.

DATE-2011-LopezMBPGE #design #interface #process #programmable

Systematic design of a programmable low-noise CMOS neural interface for cell activity recording (CML, SM, CB, RP, GGEG, WE), pp. 818–823.

DATE-2011-SieglHGB #embedded #modelling #specification #testing

Formal specification and systematic model-driven testing of embedded automotive systems (SS, KSJH, RG, CB), pp. 118–123.

FASE-2011-HateburHJS #design #development #modelling #requirements #security

Systematic Development of UMLsec Design Models Based on Security Requirements (DH, MH, JJ, HS), pp. 232–246.

FASE-2011-SharmaGAFM #question #random #testing

Testing Container Classes: Random or Systematic? (RS, MG, AA, GF, DM), pp. 262–277.

ICPC-2011-Sharafi #analysis #architecture #visualisation

A Systematic Analysis of Software Architecture Visualization Techniques (ZS), pp. 254–257.

PASTE-2011-Detten #behaviour #detection #execution #generative #symbolic computation #towards

Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution (MvD), pp. 17–20.

PLDI-2011-MengKM #editing #generative #program transformation

Systematic editing: generating program transformations from an example (NM, MK, KSM), pp. 329–342.

DUXU-v2-2011-CoopamootooA #communication #evaluation #online #privacy

A Systematic Evaluation of the Communicability of Online Privacy Mechanisms with Respect to Communication Privacy Management (PLC, DA), pp. 384–393.

OCSC-2011-GamberiniMSBF #feedback #network #process #quote #social

“Your Team Cohesion is Low”: A Systematic Study of the Effects of Social Network Feedback on Mediated Activity (LG, FM, AS, RB, MF), pp. 172–181.

ICEIS-J-2011-LemnaruP #classification #problem

Imbalanced Classification Problems: Systematic Study, Issues and Best Practices (CL, RP), pp. 35–50.

ICEIS-v3-2011-KrollAP #bibliography #evolution #perspective #re-engineering #research

Mapping the Evolution of Research on Global Software Engineering — A Systematic Literature Review (JK, JLNA, RP), pp. 260–265.

SEKE-2011-GuessiON #architecture #bibliography #perspective #representation

Representation of Reference Architectures: A Systematic Review (MG, LBRdO, EYN), pp. 782–785.

BX-2011-Kuester #bidirectional #development #towards

Towards Systematic Development of Bidirectional Transformations (JMK), p. 61.

SAC-2011-ClevenWW #analysis #design #performance #problem #process

Process performance management: illuminating design issues through a systematic problem analysis (AC, RW, FW), pp. 280–286.

ICSE-2011-Smith #functional #requirements #security #testing #using

Systematizing security test case planning using functional requirements phrases (BS), pp. 1136–1137.

ICSE-2011-WangSG #concurrent #testing

Coverage guided systematic concurrency testing (CW, MS, AG), pp. 221–230.

ICST-2011-CausevicSP #bibliography #development #industrial #perspective

Factors Limiting Industrial Adoption of Test Driven Development: A Systematic Review (AC, DS, SP), pp. 337–346.

ICST-2011-GoKKL #approach #generative #testing #variability

A Systematic Test Case Generation Approach for Testing Message Length Variability (KG, SK, MK, JL), pp. 397–406.

ICST-2011-KhalekK #constraints #database #relational #testing #theorem proving #using

Systematic Testing of Database Engines Using a Relational Constraint Solver (SAK, SK), pp. 50–59.

ECSA-2010-OliveiraFFN #architecture #bibliography #modelling #perspective

Reference Models and Reference Architectures Based on Service-Oriented Architecture: A Systematic Review (LBRdO, KRF, DF, EYN), pp. 360–367.

ASE-2010-KhalekK #automation #database #generative #query #sql #testing

Automated SQL query generation for systematic testing of database engines (SAK, SK), pp. 329–332.

DATE-2010-Krupp0 #approach

A systematic approach to the test of combined HW/SW systems (AK, WM), pp. 323–326.

IFM-2010-MilhauFGL

Systematic Translation Rules from astd to Event-B (JM, MF, FG, RL), pp. 245–259.

KMIS-2010-ChakrabortyZ #approach #process #towards

A Systematic Approach Towards Collection, Processing & Distribution of Information about Competitor Activities & Customer Needs in Terms of Products & Services (SC, MZ), pp. 348–353.

SEKE-2010-FeitosaFOWN #development #embedded #mobile #re-engineering

Software Engineering in the Embedded Software and Mobile Robot Software Development: A Systematic Mapping (DF, KRF, LBRdO, DW, EYN), pp. 738–741.

MoDELS-v1-2010-Pardillo #bibliography #uml

A Systematic Review on the Definition of UML Profiles (JP), pp. 407–422.

MoDELS-v2-2010-LoniewskiIA #bibliography #development #modelling #requirements

A Systematic Review of the Use of Requirements Engineering Techniques in Model-Driven Development (GL, EI, SA), pp. 213–227.

OOPSLA-2010-GabelYYGS #consistency #detection #nondeterminism #scalability #source code

Scalable and systematic detection of buggy inconsistencies in source code (MG, JY, YY, MG, ZS), pp. 175–190.

FSE-2010-LauterburgKMA #named #source code #testing

Basset: a tool for systematic testing of actor programs (SL, RKK, DM, GA), pp. 363–364.

ICSE-2010-LohK #difference #identification #named

LSdiff: a program differencing tool to identify systematic structural differences (AL, MK), pp. 263–266.

DAC-2009-ChengGSQH #modelling #variability

Physically justifiable die-level modeling of spatial variation in view of systematic across wafer variability (LC, PG, CJS, KQ, LH), pp. 104–109.

DAC-2009-YuanX #identification #on the #pseudo #testing

On systematic illegal state identification for pseudo-functional testing (FY, QX), pp. 702–707.

PEPM-2009-FradeSU #analysis #bidirectional #data flow

Bidirectional data-flow analyses, type-systematically (MJF, AS, TU), pp. 141–150.

FM-2009-RamosSM #component #development

Systematic Development of Trustworthy Component Systems (RR, AS, AM), pp. 140–156.

HIMI-II-2009-NakamuraS #learning

Construction of Systematic Learning Support System of Business Theory and Method (YN, KS), pp. 669–678.

IDGD-2009-GurleyN #bibliography

A Systematic Review of Technologies Designed to Improve and Assist Cognitive Decline for Both the Current and Future Aging Populations (KG, AFN), pp. 156–163.

SEKE-2009-AzambujaBB #bibliography #requirements #reuse

Systematic Review of Requirements Reuse (FBdA, RMB, APTB), pp. 67–72.

SEKE-2009-GaoSSVPDB #assessment #estimation #problem #risk management

Systematic Risk Assessment and Cost Estimation for Software Problems (JG, MS, MS, DV, PP, KD, EB), pp. 103–109.

SEKE-2009-JuniorAM #architecture #process

A Systematic SOA-based Architecture Process (JJLDJ, ESdA, SRdLM), pp. 328–333.

RE-2009-SalinesiRDM #classification #fault #feature model #modelling #product line #towards #verification

Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria (CS, CR, DD, RM), pp. 385–386.

SAC-2009-SuzukiOSKTK #generative #quality #requirements

A systematic method for generating quality requirements spectrum (SS, AO, TS, HK, MT, KK), pp. 399–400.

ICSE-2009-KimN #representation

Discovering and representing systematic code changes (MK, DN), pp. 309–319.

SPLC-2009-ChenBA #bibliography #perspective #product line #variability

Variability management in software product lines: a systematic review (LC, MAB, NA), pp. 81–90.

SPLC-2009-TunBCHH #approach #feature model #requirements

Relating requirements and feature configurations: a systematic approach (TTT, QB, AC, AH, PH), pp. 201–210.

CSL-2009-CiabattoniST #proving

Expanding the Realm of Systematic Proof Theory (AC, LS, KT), pp. 163–178.

CBSE-2008-AlbaniOB #component #identification #towards

Towards a Systematic Method for Identifying Business Components (AA, SO, DB), pp. 262–277.

ECSA-2008-FilhoCNOLAM #bibliography #design #perspective #using

Evaluating Domain Design Approaches Using Systematic Review (EDdSF, RdOC, DFSN, THBdO, LBL, ESdA, SRdLM), pp. 50–65.

DAC-2008-BastaniCWA #statistics

Statistical diagnosis of unmodeled systematic timing effects (PB, NC, LCW, MSA), pp. 355–360.

CSMR-2008-JefferiesBT #bibliography #multi #re-engineering

A Systematic Literature Review of Approaches to Reengineering for Multi-Channel Access (CJ, PB, MT), pp. 258–262.

GT-VC-2007-Bruggink08 #graph transformation #proving #termination #towards

Towards a Systematic Method for Proving Termination of Graph Transformation Systems (HJSB), pp. 23–38.

AdaEurope-2008-NarayananK #approach #automation #multi #semantics

A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions (SHKN, MTK), pp. 185–198.

ICEIS-ISAS2-2008-BreemenS #concept #on the #process

On Conceptualization as a Systematic Process (AJJvB, JJS), pp. 37–42.

SEKE-2008-AfzalTF #non-functional #search-based #testing

A Systematic Mapping Study on Non-Functional Search-based Software Testing (WA, RT, RF), pp. 488–493.

SEKE-2008-AlmeidaAGLFM #domain model #process

A Systematic Process for Domain Engineering (ESdA, AÁ, VCG, DL, RPdMF, SRdLM), pp. 655–660.

SEKE-2008-FontouraP #approach #process #risk management

Systematic Approach to Risk Management in Software Projects through Process Tailoring (LMF, RTP), pp. 179–184.

SEKE-2008-GaoLCSX #approach #case study #component

Building Testable Components — a Systematic Approach and Its Experimental Study (JG, WRL, RC, RS, MX), pp. 715–722.

SEKE-2008-HeWTG #process #reuse

A Systematic Method for Process Tailoring Based on Knowledge Reuse (XyH, YsW, YxT, JgG), pp. 38–41.

SEKE-2008-TubiioLR #bibliography #elicitation #perspective

Obtaining Well-Founded Practices about Elicitation Techniques by Means of an Update of a Previous Systematic Review (ÓDT, ML, FR), pp. 769–772.

MoDELS-2008-GutheilKA #approach #modelling #multi

A Systematic Approach to Connectors in a Multi-level Modeling Environment (MG, BK, CA), pp. 843–857.

MoDELS-2008-GutheilKA #approach #modelling #multi

A Systematic Approach to Connectors in a Multi-level Modeling Environment (MG, BK, CA), pp. 843–857.

ICSE-2008-KegelS #inheritance #java #refactoring

Systematically refactoring inheritance to delegation in java (HK, FS), pp. 431–440.

SLE-2008-FritzscheJAMGSBK #automation #embedded #model transformation #modelling

Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains (MF, JJ, UA, SM, WG, ITAS, TJB, PK), pp. 134–150.

CAV-2008-HolzerSTV #dynamic analysis #generative #metric #named #testing

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement (AH, CS, MT, HV), pp. 209–213.

DATE-2007-SheibanyradPG #architecture #comparison #implementation #multi #network

Systematic comparison between the asynchronous and the multi-synchronous implementations of a network on chip architecture (AS, IMP, AG), pp. 1090–1095.

ICDAR-2007-HanCZCZ #design #multi #online #recognition

Systematic Multi-Path HMM Topology Design for Online Handwriting Recognition of East Asian Characters (SH, MC, YZ, XC, DZ), pp. 604–608.

FASE-2007-BachFS #eclipse #plugin #programming

Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types (MB, FF, FS), pp. 117–120.

PLDI-2007-MusuvathiQ #bound #parallel #source code #testing #thread

Iterative context bounding for systematic testing of multithreaded programs (MM, SQ), pp. 446–455.

DHM-2007-SadasivanG #question

Can We Use Technology to Train Inspectors to Be More Systematic? (SS, AKG), pp. 959–968.

HCI-AS-2007-JeenHKLP #interactive #persuasion

Persuasive Interaction Strategy for Self Diet System: Exploring the Relation of User Attitude and Intervention by Computerized Systematic Methods (YJ, JH, HK, KL, PP), pp. 450–458.

PPDP-2007-FischerK #functional #generative #logic programming #source code #testing

Systematic generation of glass-box test cases for functional logic programs (SF, HK), pp. 63–74.

CAV-2007-JonssonS #model checking

Systematic Acceleration in Regular Model Checking (BJ, MS), pp. 131–144.

TestCom-FATES-2007-SchmerlK #testing #towards

Towards Systematic Signature Testing (SS, HK), pp. 276–291.

DAC-2006-KeaneEKSK #framework #logic

Subthreshold logical effort: a systematic framework for optimal subthreshold device sizing (JK, HE, TTHK, SSS, CHK), pp. 425–428.

DAC-2006-MukherjeeM

Systematic temperature sensor allocation and placement for microprocessors (RM, SOM), pp. 542–547.

DAC-2006-PsarakisGHPRR #pipes and filters #self

Systematic software-based self-test for pipelined processors (MP, DG, MH, AMP, AR, SR), pp. 393–398.

DAC-2006-WeiD #composition #development #megamodelling

Systematic development of nonlinear analog circuit macromodels through successive operator composition and nonlinear model decoupling (YW, AD), pp. 1023–1028.

DAC-2006-WuJYLT #estimation #functional

A systematic method for functional unit power estimation in microprocessors (WW, LJ, JY, PL, SXDT), pp. 554–557.

DATE-2006-BartzasMPACST #data type #design #energy #network #refinement

Dynamic data type refinement methodology for systematic performance-energy design exploration of network applications (AB, SM, GP, DA, FC, DS, AT), pp. 740–745.

DATE-2006-UmKHKCKEK #design #modelling

A systematic IP and bus subsystem modeling for platform-based system design (JU, WCK, SH, YTK, KMC, JTK, SKE, TK), pp. 560–564.

DATE-2006-VandersteenBDR

Systematic stability-analysis method for analog circuits (GV, SB, PD, YR), pp. 150–155.

DATE-2006-WeiTD #communication #configuration management #design #multi

Systematic methodology for designing reconfigurable Delta-Sigma modulator topologies for multimode communication systems (YW, HT, AD), pp. 393–398.

DATE-2006-YavariSR #design #hybrid

Systematic and optimal design of CMOS two-stage opamps with hybrid cascode compensation (MY, OS, ÁRV), pp. 144–149.

FASE-2006-SenA #automation #distributed #source code #testing

Automated Systematic Testing of Open Distributed Programs (KS, GA), pp. 339–356.

AdaEurope-2006-AlonsoSAP #approach

A Systematic Approach to Developing Safe Tele-operated Robots (DA, PS, BÁ, JAP), pp. 119–130.

ICEIS-ISAS-2006-AkhlakiTT #algebra #design #modelling #process #realtime #specification #uml

Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications (KBA, MICT, JAHT), pp. 290–297.

SEKE-2006-MokhatiBG #approach #diagrams #maude #specification #uml

Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach (FM, MB, PG), pp. 572–577.

LOPSTR-2006-MusuvathiQ #concurrent #named #testing

CHESS: Systematic Stress Testing of Concurrent Software (MM, SQ), pp. 15–16.

RE-2006-AxenathGKF #evaluation #synthesis

Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems (BA, HG, FK, UF), pp. 156–165.

RE-2006-DavisTHJM #bibliography #effectiveness #elicitation #empirical #perspective #requirements

Effectiveness of Requirements Elicitation Techniques: Empirical Results Derived from a Systematic Review (AMD, ÓDT, AMH, NJJ, AMM), pp. 176–185.

RE-2006-Smith #development #documentation #requirements

Systematic Development of Requirements Documentation for General Purpose Scientific Computing Software (SS), pp. 205–215.

RE-2006-Wasson #case study #requirements

A Case Study in Systematic Improvement of Language for Requirements (KSW), pp. 6–15.

ICSE-2006-BudgenB #re-engineering

Performing systematic literature reviews in software engineering (DB, PB), pp. 1051–1052.

SPL-BOOK-2006-Mansell #case study #experience #reuse

Experiences and Expectations Regarding the Introduction of Systematic Reuse in Small- and Medium-Sized Companies (JXM), pp. 91–124.

VMCAI-2006-GurfinkelWC #abstraction #model checking

Systematic Construction of Abstractions for Model-Checking (AG, OW, MC), pp. 381–397.

DAC-2005-BhardwajV #random

Leakage minimization of nano-scale circuits in the presence of systematic and random variations (SB, SBKV), pp. 541–546.

DAC-2005-WeiD #behaviour #development #megamodelling

Systematic development of analog circuit structural macromodels through behavioral model decoupling (YW, AD), pp. 57–62.

DATE-2005-BarrandonCH #design #pipes and filters

Systematic Figure of Merit Computation for the Design of Pipeline ADC (LB, SC, DH), pp. 277–278.

DATE-2005-Klingauf #embedded #modelling #transaction

Systematic Transaction Level Modeling of Embedded Systems with SystemC (WK), pp. 566–567.

DATE-2005-VargheseCY #analysis #using

Systematic Analysis of Active Clock Deskewing Systems Using Control Theory (VV, TC, PMY), pp. 820–825.

DATE-2005-WangMDCM #analysis #embedded #energy #process #variability

Systematic Analysis of Energy and Delay Impact of Very Deep Submicron Process Variability Effects in Embedded SRAM Modules (HW, MM, WD, FC, KM), pp. 914–919.

ICDAR-2005-Carrera

Making History: an Emergent System for the Systematic Accrual of Transcriptions of Historic Manuscripts (FC), pp. 543–449.

FM-2005-WulfDR #implementation #modelling #realtime

Systematic Implementation of Real-Time Models (MDW, LD, JFR), pp. 139–156.

LSO-2005-Salo #agile #development #learning #validation

Systematical Validation of Learning in Agile Software Development Environment (OS), pp. 92–96.

SEKE-2005-MarewKB #aspect-oriented #case study #composition #development #functional #product line #using

Case Study on Systematic Functional Decomposition in a Product Line using Aspect Oriented Software Development (TM, JK, DHB), pp. 152–157.

MoDELS-2005-BiaG #design #documentation #modelling #uml #web #xml

UML for Document Modeling: Designing Document Structures for Massive and Systematic Production of XML-based Web Contents (AB, JG), pp. 648–660.

MoDELS-2005-BiaG #design #documentation #modelling #uml #web #xml

UML for Document Modeling: Designing Document Structures for Massive and Systematic Production of XML-based Web Contents (AB, JG), pp. 648–660.

SAC-2005-Hutchinson #future of #information management

The future of systematic information protection (BH), p. 1.

ICSE-2005-Al-NaeemGBRB #approach #architecture #distributed #quality

A quality-driven systematic approach for architecting distributed software applications (TAN, IG, MAB, FAR, BB), pp. 244–253.

WICSA-2004-KrugerM #architecture #development

Systematic Development and Exploration of Service-Oriented Software Architectures (IHK, RM), pp. 177–187.

DAC-2004-GuptaH #towards

Toward a systematic-variation aware timing methodology (PG, FLH), pp. 321–326.

DAC-2004-KwonKK #functional #graph #metric #synthesis

Systematic functional coverage metric synthesis from hierarchical temporal event relation graph (YSK, YIK, CMK), pp. 45–48.

DATE-v1-2004-Taherzadeh-SaniLS #design #optimisation #pipes and filters

Systematic Design for Optimization of High-Resolution Pipelined ADCs (MTS, RL, OS), pp. 678–679.

FASE-2004-ChoiCK #component #framework

A Systematic Methodology for Developing Component Frameworks (SWC, SHC, SDK), pp. 359–373.

FASE-2004-MucciniDR #architecture #testing

Systematic Testing of Software Architectures in the C2 Style (HM, MSD, DJR), pp. 295–309.

CAiSE-2004-SalinesiEZ #approach #evolution #modelling #requirements #similarity #using

A Systematic Approach to Express IS Evolution Requirements Using Gap Modelling and Similarity Modelling Techniques (CS, AE, IZ), pp. 338–352.

ICPR-v1-2004-ColemanSH #design #scalability

A Systematic Design Procedure for Scalable Near-Circular Laplacian of Gaussian Operators (SAC, BWS, MGH), pp. 700–703.

ICPR-v2-2004-YaoZ #detection

Systematic Static Shadow Detection (JY, Z(Z), pp. 76–79.

KDD-2004-Fan #concept #data type

Systematic data selection to mine concept-drifting data streams (WF), pp. 128–137.

ICSE-2004-Breen #incremental #named #specification

Statestep: A Tool for Systematic, Incremental Specification (MB), pp. 711–712.

SPLC-2004-JohnS #product line

Starting Product Lines (I) — Systematic Product Line Planning and Adoption (IJ, KS), p. 319.

VLDB-2003-LubbersGJ #data mining #development #quality #tool support

Systematic Development of Data Mining-Based Data Quality Tools (DL, UG, MJ), pp. 548–559.

ITiCSE-2003-Christensen #education #exclamation #testing #topic

Systematic testing should not be a topic in the computer science curriculum! (HBC), pp. 7–10.

IWPC-2003-Walenstein #evaluation #towards

Observing and Measuring Cognitive Support: Steps Toward Systematic Tool Evaluation and Engineering (AW), pp. 185–195.

EDOC-2003-AlmeidaSPQ #approach #concept #design #independence

A Systematic Approach to Platform-Independent Design Based on the Service Concept (JPAA, MvS, LFP, DACQ), pp. 112–123.

KDD-2003-Aggarwal #data mining #design #distance #mining #towards

Towards systematic design of distance functions for data mining applications (CCA), pp. 9–18.

ICSE-2003-HeumesserH #requirements #towards

Towards Systematic Recycling of Systems Requirements (NH, FH), pp. 512–519.

ASE-2002-TanL #design #object-oriented #requirements

Systematic Bridging the Gap between Requirements and OO Design (HBKT, WL), pp. 249–252.

DAC-2002-VandenbusscheULSG #design

Systematic design of a 200 MS/s 8-bit interpolating/averaging A/D converter (JV, KU, EL, MS, GGEG), pp. 449–454.

DATE-2002-PalkovicMC #optimisation #trade-off

Systematic Power-Performance Trade-Off in MPEG-4 by Means of Selective Function Inlining Steered by Address Optimization Opportunities (MP, MM, FC), pp. 1072–1077.

DATE-2002-VandenbusscheLUSG #design

Systematic Design of a 200 Ms/S 8-bit Interpolating A/D Converter (JV, EL, KU, MS, GGEG), pp. 357–361.

SEKE-2002-Becker-KornstaedtR #concept #experience #maintenance #process

A concept to support process model maintenance through systematic experience capture (UBK, RR), pp. 465–468.

SEKE-2002-GrutznerAP #approach #information management #learning

A systematic approach to produce small courseware modules for combined learning and knowledge management environements (IG, NA, DP), pp. 533–539.

SEKE-2002-RusBH #analysis #development #empirical #process #simulation

Systematically combining process simulation and empirical data in support of decision analysis in software development (IR, SB, MH), pp. 827–833.

GPCE-2002-Kiselyov #metaprogramming

Macros That Compose: Systematic Macro Programming (OK), pp. 202–217.

POPL-2002-CousotC #abstract interpretation #design #framework #program transformation

Systematic design of program transformation frameworks by abstract interpretation (PC, RC), pp. 178–190.

RE-2002-JohnMST #analysis #evolution #performance

Efficient and Systematic Software Evolution through Domain Analysis (IJ, DM, PS, ET), pp. 237–246.

RE-2002-KnethenPKH #abstraction #requirements #traceability

Systematic Requirements Recycling through Abstraction and Traceability (AvK, BP, FK, FH), pp. 273–281.

SPLC-2002-ThielH #architecture #design #integration #product line #variability

Systematic Integration of Variability into Product Line Architecture Design (ST, AH), pp. 130–153.

LCTES-SCOPES-2002-JhumkaHCS #consistency #design #embedded #execution #on the

On systematic design of globally consistent executable assertions in embedded software (AJ, MH, VC, NS), pp. 75–84.

DATE-2001-BaghdadiLZJ #architecture #design #multi #performance

An efficient architecture model for systematic design of application-specific multiprocessor SoC (AB, DL, NEZ, AAJ), pp. 55–63.

ESOP-2001-PottierSS #approach #data access

A Systematic Approach to Static Access Control (FP, CS, SFS), pp. 30–45.

RE-2001-Parnas #documentation #requirements

Systematic Documentation of Requirements (DLP), p. 248.

ICSE-2001-DunsmoreRW #object-oriented

Systematic Object-Oriented Inspection — An Emprirical Study (AD, MR, MW), pp. 135–144.

SAT-2001-LynceBM #algorithm #probability #satisfiability

Stochastic Systematic Search Algorithms for Satisfiability (IL, LB, JMS), pp. 190–204.

ASE-2000-BoseM #automation #coordination #generative #policy

Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies (PKB, MGM), p. 325–?.

DAC-2000-MehrotraSBCVN #modelling #performance

A methodology for modeling the effects of systematic within-die interconnect and device variation on circuit performance (VM, SLS, DSB, AC, RV, SRN), pp. 172–175.

DAC-2000-PlasVDBGS #design

Systematic design of a 14-bit 150-MS/s CMOS current-steering D/A converter (GVdP, JV, WD, AvdB, GGEG, WMCS), pp. 452–457.

TOOLS-PACIFIC-2000-BarberG #architecture #identification #object-oriented #tool support

Tool Support for Systematic Class Identification in Object-Oriented Software Architectures (KSB, TJG), pp. 82–93.

FSE-2000-GodefroidJJL #automation #constraints #interactive #testing

Automated systematic testing for constraint-based interactive services (PG, LJJ, RJ, KL), pp. 40–49.

SPLC-2000-PasettiP #concept #development #novel #product line

Two Novel Concepts for systematic product line development (AP, WP), pp. 249–270.

DATE-1999-VerhoevenS #feedback

Systematic Biasing of Negative Feedback Amplifiers (CJMV, AvS), pp. 318–322.

FM-v1-1999-MeyerS #approach #diagrams #specification

A Systematic Approach to Transform OMT Diagrams to a B Specification (EM, JS), pp. 875–895.

HCI-CCAD-1999-Seki #using #visual notation

Systematic auditory training of obstacle sense for the visually impaired by using acoustical VR system (YS), pp. 999–1003.

HCI-EI-1999-Haller #design #interface #relational

Systematic Design of Human-Computer-Interfaces as Relational Semiotic Systems (RH), pp. 607–611.

ICEIS-1999-CarvalhoCNKKBGB #heuristic #object-oriented #reasoning

Expert System Object-Oriented Combining Systematic and Heuristic Reasoning (LFdC, HJTdC, JCN, CAAK, CK, CTB, RZG, VSB), p. 763.

KDD-1999-Hackathorn #web

Farming the Web for Systematic Business Intelligence (Invited talk, Abstract only) (RDH), p. 3.

SEKE-1999-AlthoffBHMNST #maintenance #repository #reuse

Systematic Population, Utilization, and Maintenance of a Repository for Comprehensive Reuse (KDA, AB, SH, WM, MN, DS, CT), pp. 25–50.

SEKE-1999-AlthoffNT

Systematically Diagnosing and Improving the Perceived Usefulness of Organizational Memories (KDA, MN, CT), pp. 72–86.

SEKE-1999-WieserHS #experience

Push of Pull: Two Cognitive Modes of Systematic Experience Transfer at DaimlerChrysler (EW, FH, KS), pp. 186–204.

TOOLS-USA-1999-Parnas99a

Systematic Techniques for Inspecting Critical Software (DLP), p. 410.

ICSE-1999-DeBaudS #approach #product line

A Systematic Approach to Derive the Scope of Software Product Lines (JMD, KS), pp. 34–43.

ICSE-1999-Griss #architecture #component #reuse #scalability

Architecting for Large-Scale Systematic Component Reuse (MLG), pp. 615–616.

DATE-1998-KoegstGCW #analysis #design #reuse

A Systematic Analysis of Reuse Strategies for Design of Electronic Circuits (MK, DG, PC, MGW), pp. 292–296.

ESOP-1998-Scherlis #case study #data transformation #representation

Systematic Change of Data Representation: Program Manipulations and a Case Study (WLS), pp. 252–266.

TACAS-1998-ShermanM #automation #named

Factotum: Automatic and Systematic Sharing Support for Systems Analyzers (DJS, NM), pp. 249–262.

CSMR-1998-BorneRS #analysis #object-oriented #towards

Towards a Systematic Object-Oriented transformation of a Mrise Analysis (IB, AR, FS), pp. 213–215.

ICPR-1998-RigollK #comparison #markov #modelling #online #verification

A systematic comparison between on-line and off-line methods for signature verification with hidden Markov models (GR, AK), pp. 1755–1757.

TOOLS-USA-1998-Griss #architecture #component #reuse #scalability

Architecting for Large-Scale Systematic Component Reuse (MLG), p. 7.

ICRE-1998-Franch #non-functional

Systematic Formulation of Non-Functional Characteristics of Software (XF), pp. 174–181.

ICRE-1998-MaidenMMR #generative #named

CREWS-SAVRE: Systematic Scenario Generation and Use (NAMM, SM, KM, MR), pp. 148–155.

ICSE-1998-ShimizuFH #approach #development

A Systematic Approach to Domain-Oriented Software Development (YS, NF, MH), pp. 499–502.

ICDAR-1997-KimSC #approach #classification #multi #recognition

A systematic approach to classifier selection on combining multiple classifiers for handwritten digit recognition (JK, KS, KC), pp. 459–462.

ICFP-1997-GasserNN #analysis #control flow

Systematic Realisation of Control Flow Analyses for CML (KLSG, FN, HRN), pp. 38–51.

CHI-1997-HornofK #modelling #random

Cognitive Modeling Reveals Menu Search is Both Random and Systematic (AJH, DEK), pp. 107–114.

AdaEurope-1997-WegenerF #ada #source code

Systematic Unit-Testing of Ada Programs (JW, IF), pp. 64–75.

RE-1997-LeiteRBMKHO #requirements #reuse #towards

Ten Steps Towards Systematic Requirements Reuse (WL, JAM, AV), pp. 6–15.

RE-1997-YenT #analysis #requirements #trade-off

A Systematic Tradeoff Analysis for Conflicting Imprecise Requirements (JY, WAT), p. 87–?.

DAC-1996-DesaiY #cpu #design #simulation #using #verification

A Systematic Technique for Verifying Critical Path Delays in a 300MHz Alpha CPU Design Using Circuit Simulation (MPD, YTY), pp. 125–130.

HT-1996-SchwabeRB #design #hypermedia

Systematic Hypermedia Application Design with OOHDM (DS, GR, SDJB), pp. 116–128.

CHI-1996-HansenNS #design

Systematic Design of Spoken Prompts (BH, DGN, SS), pp. 157–164.

ICPR-1996-SatohO #algorithm #comparison #detection

Occlusion detectable stereo-systematic comparison of detection algorithms (KS, YO), pp. 280–286.

ICPR-1996-SuriHS #automation #bound #fault

Correction of systematic errors in automatically produced boundaries from low-contrast ventriculograms (JSS, RMH, FHS), pp. 361–365.

PLILP-1996-Gorlatch #divide and conquer #implementation #parallel

Systematic Extraction and Implementation of Divide-and-Conquer Parallelism (SG), pp. 274–288.

SAC-1996-PowellFK #approach #documentation #maintenance

A systematic approach to creating and maintaining software documentation (ALP, JCF, JCK), pp. 201–208.

ICSE-1996-HerbslebG #bibliography #experience

A Systematic Survey of CMM Experience and Results (JDH, DG), pp. 323–330.

ICSE-1996-Kontio #case study #off the shelf

A Case Study in Applying a Systematic Method for COTS Selection (JK), pp. 201–209.

ICSE-1996-SullivanK #approach #architecture #experience #reuse #scalability

Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse (KJS, JCK), pp. 220–229.

HPDC-1996-ChandyS #design #distributed #framework

Designing Directories in Distributed Systems: A Systematic Framework (KMC, EMS), pp. 318–328.

ISSTA-1996-HughesS #algebra #named #object-oriented #source code #testing

Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects (MH, PDS), pp. 53–61.

RE-1995-ChungNY #non-functional #requirements #using

Using non-functional requirements to systematically support change (LC, BAN, ESKY), pp. 132–139.

KBSE-1994-Hall #incremental #rule-based #validation

Systematic Incremental Validation of Rule-Based Reactive Systems (RJH), pp. 69–78.

SAS-1994-BoulangerB #abstract domain

A Systematic Construction of Abstract Domains (DB, MB), pp. 61–77.

CSCW-1994-TriggB #design #implementation

From Implementation to Design: Tailoring and the Emergence of Systematization in CSCW (RHT, SB), pp. 45–54.

ICRE-1994-OzcanS #evolution #framework #requirements #validation

Validating and evolving software requirements in a systematic framework (MBÖ, JIAS), pp. 202–205.

ILPS-1994-FileR #abstract interpretation #set

Improving Abstract Interpretations by Systematic Lifting to the Powerset (GF, FR), pp. 655–669.

HCI-SHI-1993-KirschA #approach #education #multi #using #visual notation

Using Multimedia to Teach Visual Literacy: A Systematic Approach (RPK, RMA), pp. 531–536.

ICML-1993-Schlimmer #algorithm

Efficiently Inducing Determinations: A Complete and Systematic Search Algorithm that Uses Optimal Pruning (JCS), pp. 284–290.

SEKE-1993-TsaiXZM #framework #specification #testing

A Framework for Systematic Testing of Software Specifications (WTT, WX, IAZ, SKM), pp. 380–387.

TOOLS-PACIFIC-1993-Meyer93c #concurrent #object-oriented #programming

Systematic Concurrent Object-Oriented Programming (BM), p. 325.

TOOLS-PACIFIC-1993-Meyer93d #concurrent #object-oriented #programming

Systematic Concurrent Object-Oriented Programming (BM), pp. 523–576.

TOOLS-USA-1993-Meyer #concurrent #object-oriented #programming

Systematic Concurrent Object-Oriented Programming (BM), p. 553.

KR-1992-Borgida #development #logic #towards

Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed (AB), pp. 259–269.

KR-1992-Rymon #set

Search through Systematic Set Enumeration (RR), pp. 539–550.

ML-1992-Hickey #algorithm #approach #evaluation #towards

Artificial Universes — Towards a Systematic Approach to Evaluation Algorithms which Learn form Examples (RJH), pp. 196–205.

ML-1992-WeinbergBK #clustering #concept

Conceptual Clustering with Systematic Missing Values (JBW, GB, GRK), pp. 464–469.

CADE-1992-Reif

The KIV System: Systematic Construction of Verified Software (WR), pp. 753–757.

PLILP-1990-Nilsson #approximate #logic programming #semantics #source code

Systematic Semantic Approximations of Logic Programs (UN), pp. 293–306.

ESEC-1989-DeitersGS #development #formal method #modelling #process

Systematic Development of Formal Software Process Models (WD, VG, WS), pp. 100–117.

ESEC-1989-WirsingHS #named #reuse #specification

MENU — An Example for the Systematic Reuse of Specifications (MW, RH, RS), pp. 20–41.

DAC-1987-FaroughiS #algorithm #array

An Improved Systematic Method for Constructing Systolic Arrays from Algorithms (NF, MAS), pp. 26–34.

DAC-1985-SaucierT #layout

Systematic and optimized layout of MOS cells (GS, GT), pp. 53–61.

ICSE-1984-BidoitBGGG #exception #specification

Exception Handling: Formal Specification and Systematic Program Construction (MB, BB, MCG, CG, GDG), pp. 18–29.

VLDB-1983-BittonDT #approach #benchmark #database #metric

Benchmarking Database Systems A Systematic Approach (DB, DJD, CT), pp. 8–19.

SIGMOD-1982-ImielinskiL #approach #database #relational

A Systematic Approach to Relational Database Theory (TI, WLJ), pp. 8–14.

ICSE-1982-ShiratoriGN #communication #design #protocol

A New Design Language for Communication Protocols and a Systematic Design Method of Communication Systems (NS, JG, SN), pp. 403–413.

ASPLOS-1982-Jones #design

Systematic Protection Mechanism Design (DWJ), pp. 77–80.

VLDB-1981-VelosoCF #specification

Systematic Derivation of Complementary Specifications (PASV, JMVdC, ALF), pp. 409–421.

ICALP-1979-Rozenberg #approach #formal method #parallel

A Systematic Approach to Formal Language Theory Through Parallel Rewriting (GR), pp. 471–478.

POPL-1979-CousotC #design #framework #program analysis

Systematic Design of Program Analysis Frameworks (PC, RC), pp. 269–282.

ICSE-1979-RamamoorthyBFMNS #approach #development #on the #validation

On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants (CVR, FBB, JMF, YKRM, CWN, KS), pp. 231–240.