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:
review (56)
softwar (53)
approach (47)
design (43)
model (40)

Stem systemat$ (all stems)

339 papers:

QoSAQoSA-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.
CASECASE-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.
DATEDATE-2015-PerriconeZSHN #3d #design #towards
Towards systematic design of 3D pNML layouts (RP, YZ, KMS, XSH, MTN), pp. 1539–1542.
DATEDATE-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.
CHICHI-2015-Mayer0SH #modelling
Modeling Distant Pointing for Compensating Systematic Displacements (SM, KW, SS, NH), pp. 4165–4168.
HCIDUXU-DD-2015-Zapata #agile #bibliography #integration #perspective #usability
Integration of Usability and Agile Methodologies: A Systematic Review (CZ), pp. 368–378.
HCIHCI-IT-2015-EvansBCLC #bibliography
A Systematic Review of Dementia Focused Assistive Technology (JE, MAB, TC, GL, MPC), pp. 406–417.
ICEISICEIS-v2-2015-AbadeFL #bibliography #perspective #testing
Testing M2T Transformations — A Systematic Literature Review (AA, FF, DL), pp. 177–187.
ICEISICEIS-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.
ICEISICEIS-v2-2015-LucenaAAAJ #approach #modelling
Integrating User Stories and i* Models — A Systematic Approach (ML, CA, FMRA, EA, AJ), pp. 428–438.
ICEISICEIS-v2-2015-PereiraD #formal method #logic #semantics #uml #using
Systematic Mapping — Formalization of UML Semantics using Temporal Logic (VP, MED), pp. 486–493.
ICEISICEIS-v2-2015-TrinkenreichSB #maturity #metric #modelling
Metrics to Support IT Service Maturity Models — A Systematic Mapping Study (BT, GS, MPB), pp. 330–337.
ICEISICEIS-v3-2015-SilvaVC #development #process #usability
Integrating the Usability into the Software Development Process — A Systematic Mapping Study (WS, NMCV, TC), pp. 105–113.
ICMLICML-2015-ScholkopfHWFJSP #fault
Removing systematic errors for exoplanet search via latent causes (BS, DWH, DW, DFM, DJ, CJSG, JP), pp. 2218–2226.
RecSysRecSys-2015-GuoD #approach #bias #category theory
Uncovering Systematic Bias in Ratings across Categories: a Bayesian Approach (FG, DBD), pp. 317–320.
SEKESEKE-2015-GoncalesFSOV #comparison #difference
Model Comparison: a Systematic Mapping Study (LG, KF, MS, TCO, MV), pp. 546–551.
SEKESEKE-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.
SEKESEKE-2015-VacariP #agile #bibliography #perspective
Adopting Agile Methods in the Public Sector: A Systematic Literature Review (IV, RP), pp. 709–714.
BXBX-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.
MoDELSMoDELS-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.
MoDELSMoDELS-2015-HolldoblerRW #model transformation
Systematically deriving domain-specific transformation languages (KH, BR, IW), pp. 136–145.
MoDELSMoDELS-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.
REFSQREFSQ-2015-RiegelD #bibliography #requirements
A Systematic Literature Review of Requirements Prioritization Criteria (NR, JD), pp. 300–317.
SACSAC-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.
SACSAC-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-FSEESEC-FSE-2015-DesaiQS #testing
Systematic testing of asynchronous reactive systems (AD, SQ, SAS), pp. 73–83.
ICSEICSE-v1-2015-HuaKM #automation #editing #question #refactoring
Does Automated Refactoring Obviate Systematic Editing? (LH, MK, KSM), pp. 392–402.
ICSEICSE-v1-2015-ZhangSPK #bibliography #code review #interactive
Interactive Code Review for Systematic Changes (TZ, MS, JP, MK), pp. 111–122.
ICSEICSE-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.
SPLCSPLC-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.
PPoPPPPoPP-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.
CAVCAV-2015-OzkanET #android #debugging
Systematic Asynchrony Bug Exploration for Android Apps (BKO, ME, ST), pp. 455–461.
ISSTAISSTA-2015-AdamsenMM #android #execution #testing
Systematic execution of Android test suites in adverse conditions (CQA, GM, AM), pp. 83–93.
ECSAECSA-2014-LewisLP #architecture #bibliography #perspective
Architecture Strategies for Cyber-Foraging: Preliminary Results from a Systematic Literature Review (GAL, PL, GP), pp. 154–169.
ECSAECSA-2014-WeinreichG #bibliography #fresh look #perspective
A Fresh Look at Codification Approaches for SAKM: A Systematic Literature Review (RW, IG), pp. 1–16.
WICSAWICSA-2014-DragomirLB #approach #architecture
Systematic Architectural Decision Management, A Process-Based Approach (AD, HL, TB), pp. 255–258.
ICSMEICSME-2014-FischerLLE #reuse
Enhancing Clone-and-Own with Systematic Reuse for Developing Software Variants (SF, LL, RELH, AE), pp. 391–400.
CHICHI-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.
HCIHCI-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.
HCILCT-TRE-2014-ArnoldK #education #named #social
E-Portfolios — Fostering Systematic Reflection in Social Work Education (PA, SK), pp. 351–362.
VISSOFTVISSOFT-2014-SeriaiBCS #tool support #validation #visualisation
Validation of Software Visualization Tools: A Systematic Mapping Study (AS, OB, BC, HAS), pp. 60–69.
ICEISICEIS-v2-2014-BarnRAC #collaboration #named
Slrtool: A Tool to Support Collaborative Systematic Literature Reviews (BSB, FR, LA, TC), pp. 440–447.
ICEISICEIS-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.
ICEISICEIS-v2-2014-JuniorP #aspect-oriented #requirements
Aspect-Oriented Requirements Engineering — A Systematic Mapping (PAPJ, RADP), pp. 83–95.
ICEISICEIS-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.
ICPRICPR-2014-CabreraMS #bias
Systematic Labeling Bias: De-biasing Where Everyone is Wrong (GFC, CJM, JS), pp. 4417–4422.
KEODKEOD-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.
SEKESEKE-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.
SEKESEKE-2014-HegdeW #bibliography #developer #how #perspective
How to Enhance the Creativity of Software Developers: A Systematic Literature Review (RH, GSW), pp. 229–234.
ECMFAECMFA-2014-CuadradoGL #model transformation #towards
Towards the Systematic Construction of Domain-Specific Transformation Languages (JSC, EG, JdL), pp. 196–212.
REFSQREFSQ-2014-OjameruayeB #requirements #using
Systematic Elaboration of Compliance Requirements Using Compliance Debt and Portfolio Theory (BO, RB), pp. 152–167.
REFSQREFSQ-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.
SACSAC-2014-BorgesDRI #education #gamification
A systematic mapping on gamification applied to education (SdSB, VHSD, HMR, SI), pp. 216–222.
SACSAC-2014-PaulL #bibliography
A systematic literature review on modified condition and decision coverage (TKP, MFL), pp. 1301–1308.
FSEFSE-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.
OSDIOSDI-2014-0001RB #concurrent #debugging #kernel #named
SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration (PF, RR, BBB), pp. 415–431.
ECSAECSA-2013-WeynsA #adaptation #architecture #bibliography #perspective #self
Claims and Evidence for Architecture-Based Self-adaptation: A Systematic Literature Review (DW, TA), pp. 249–265.
QoSAQoSA-2013-KleinV #architecture #bibliography #research
A systematic review of system-of-systems architecture research (JK, HvV), pp. 13–22.
DACDAC-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.
DATEDATE-2013-PalitHNN #design #logic
Systematic design of nanomagnet logic circuits (IP, XSH, JN, MTN), pp. 1795–1800.
ITiCSEITiCSE-2013-RowanD #bibliography #learning #mobile #using
A systematic literature review on using mobile computing as a learning intervention (MR, JD), p. 339.
TACASTACAS-2013-BalasubramanianPKL #analysis #multi #named #statechart
Polyglot: Systematic Analysis for Multiple Statechart Formalisms (DB, CSP, GK, MRL), pp. 523–529.
WCREWCRE-2013-BandiWA #empirical
Empirical evidence of code decay: A systematic mapping study (AB, BJW, EBA), pp. 341–350.
CHICHI-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.
HCIDUXU-PMT-2013-HsiehLHM #design
Satisfying Consumers’ Needs through Systematic Empathic Design Model (MHH, DBL, CYH, CHM), pp. 488–497.
HCIDUXU-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.
EDOCEDOC-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.
ICEISICEIS-v1-2013-HernandesBF #process
Experimental Studies in Software Inspection Process — A Systematic Mapping (EMH, AB, SF), pp. 66–76.
ICEISICEIS-v1-2013-KahkonenS #enterprise #integration
ERP Integration — A Systematic Mapping Study (TK, KS), pp. 23–35.
ICEISICEIS-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.
ICEISICEIS-v2-2013-TomasSNGAG #architecture #bibliography #perspective
Smart Cities Architectures — A Systematic Review (GHRPT, WMdS, PAdMSN, VCG, , KG), pp. 410–417.
MLDMMLDM-2013-CarvalhoR #bibliography #nondeterminism #perspective
Discovering Frequent Itemsets on Uncertain Data: A Systematic Review (JVdC, DDR), pp. 390–404.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2013-SouzaFV #information management #testing
Knowledge Management Applied to Software Testing: A Systematic Mapping (EFS, RdAF, NLV), pp. 562–567.
ICMTICMT-2013-WieberS #approach #graph transformation #testing
Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns (MW, AS), pp. 205–220.
ECOOPECOOP-2013-GligoricBLOHM #refactoring #testing
Systematic Testing of Refactoring Engines on Real Software Projects (MG, FB, YL, JO, MH, DM), pp. 629–653.
OOPSLAOOPSLA-2013-AzimN #android #testing
Targeted and depth-first exploration for systematic testing of android apps (TA, IN), pp. 641–660.
GPCEGPCE-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.
RERE-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.
REFSQREFSQ-2013-Bjarnason #development #process #requirements
Distances between Requirements Engineering and Later Software Development Activities: A Systematic Map (EB), pp. 292–307.
SACSAC-2013-DurelliSADC #bibliography #mining
A systematic review on mining techniques for crosscutting concerns (RSD, DSMS, NA, MED, VVdC), pp. 1080–1087.
ICSEICSE-2013-JacobellisMK #named #program transformation
LASE: an example-based program transformation tool for locating and applying systematic edits (JJ, NM, MK), pp. 1319–1322.
ICSEICSE-2013-Kulkarni #reuse
Systematically selecting a software module during opportunistic reuse (NK), pp. 1405–1406.
ICSEICSE-2013-MengKM #learning #named
LASE: locating and applying systematic edits by learning from examples (NM, MK, KSM), pp. 502–511.
ICSEICSE-2013-Muslu #analysis #development #maintenance
Integrating systematic exploration, analysis, and maintenance in software development (KM), pp. 1389–1392.
ICSEICSE-2013-PaveseBU #automation #estimation #reliability
Automated reliability estimation over partial systematic explorations (EP, VAB, SU), pp. 602–611.
ICSEICSE-2013-WertHH #automation #performance #problem
Supporting swift reaction: automatically uncovering performance problems by systematic experiments (AW, JH, LH), pp. 552–561.
SPLCSPLC-2013-EichelbergerS #analysis #modelling #variability
A systematic analysis of textual variability modeling languages (HE, KS), pp. 12–21.
ICSTICST-2013-ChristakisGS #concurrent #detection #erlang #fault #source code #testing
Systematic Testing for Detecting Concurrency Errors in Erlang Programs (MC, AG, KFS), pp. 154–163.
ICSTICST-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.
ISSTAISSTA-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.
QoSAQoSA-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.
DACDAC-2012-VenkataramaniSKRR #approximate #logic #named #synthesis
SALSA: systematic logic synthesis of approximate circuits (SV, AS, VJK, KR, AR), pp. 796–801.
ITiCSEITiCSE-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.
ESOPESOP-2012-DownenA #approach #multi
A Systematic Approach to Delimited Control with Multiple Prompts (PD, ZMA), pp. 234–253.
ESOPESOP-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.
ICSMEICSM-2012-TahirM #metric #quality
A systematic mapping study on dynamic metrics and software quality (AT, SGM), pp. 326–335.
SEFMSEFM-2012-FathabadiBR #approach #composition
A Systematic Approach to Atomicity Decomposition in Event-B (ASF, MJB, AR), pp. 78–93.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-2012-KazaiCYT #analysis #fault #information retrieval
An analysis of systematic judging errors in information retrieval (GK, NC, EY, SMMT), pp. 105–114.
SEKESEKE-2012-DuarteN #bibliography #development #embedded #perspective
Aspect-Orientation in the Development of Embedded Systems: A Systematic Review (LSD, EYN), pp. 158–161.
SEKESEKE-2012-MolleriB #automation #bibliography #perspective #process
Automated Approaches to Support Secondary Study Processes: a Systematic Review (JSM, FBVB), pp. 143–147.
SEKESEKE-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.
REFSQREFSQ-2012-TekaCS #bibliography
A Systematic Literature Review on Service Description Methods (AYT, NCF, BS), pp. 239–255.
SACSAC-2012-LemosADR #requirements
A systematic mapping study on creativity in requirements engineering (JL, CFA, LD, GNR), pp. 1083–1088.
ICSEICSE-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.
ICSEICSE-2012-LavalleeR #bibliography #developer #perspective #process
The impacts of software process improvement on developers: A systematic review (ML, PNR), pp. 113–122.
SPLCSPLC-2012-KircherH #agile #case study #development #experience #reuse
Combining systematic reuse with Agile development: experience report (MK, PH), pp. 215–219.
SPLCSPLC-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.
CSLCSL-2012-ChaudhuriHM #approach #calculus
A Systematic Approach to Canonicity in the Classical Sequent Calculus (KC, SH, DM), pp. 183–197.
ECSAECSA-2011-AlebrahimHH #architecture #integration #quality #requirements #towards
Towards Systematic Integration of Quality Requirements into Software Architecture (AA, DH, MH), pp. 17–25.
QoSAQoSA-ISARCS-2011-Koziolek #architecture #bibliography #evaluation #perspective
Sustainability evaluation of software architectures: a systematic review (HK), pp. 3–12.
QoSAQoSA-ISARCS-2011-PeakeS #contract #modelling #trade-off
Systematic simplicity-accuracy tradeoffs in parameterised contract models (IDP, HWS), pp. 95–104.
WICSAWICSA-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.
DACDAC-2011-LinLCHC #random
Common-centroid capacitor placement considering systematic and random mismatches in analog integrated circuits (CWL, JML, YCC, CPH, SJC), pp. 528–533.
DATEDATE-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.
DATEDATE-2011-SieglHGB #embedded #modelling #specification #testing
Formal specification and systematic model-driven testing of embedded automotive systems (SS, KSJH, RG, CB), pp. 118–123.
FASEFASE-2011-HateburHJS #design #development #modelling #requirements #security
Systematic Development of UMLsec Design Models Based on Security Requirements (DH, MH, JJ, HS), pp. 232–246.
FASEFASE-2011-SharmaGAFM #question #random #testing
Testing Container Classes: Random or Systematic? (RS, MG, AA, GF, DM), pp. 262–277.
ICPCICPC-2011-Sharafi #analysis #architecture #visualisation
A Systematic Analysis of Software Architecture Visualization Techniques (ZS), pp. 254–257.
PASTEPASTE-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.
PLDIPLDI-2011-MengKM #editing #generative #program transformation
Systematic editing: generating program transformations from an example (NM, MK, KSM), pp. 329–342.
HCIDUXU-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.
HCIOCSC-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.
ICEISICEIS-J-2011-LemnaruP #classification #problem
Imbalanced Classification Problems: Systematic Study, Issues and Best Practices (CL, RP), pp. 35–50.
ICEISICEIS-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.
SEKESEKE-2011-GuessiON #architecture #bibliography #perspective #representation
Representation of Reference Architectures: A Systematic Review (MG, LBRdO, EYN), pp. 782–785.
BXBX-2011-Kuester #bidirectional #development #towards
Towards Systematic Development of Bidirectional Transformations (JMK), p. 61.
SACSAC-2011-ClevenWW #analysis #design #performance #problem #process
Process performance management: illuminating design issues through a systematic problem analysis (AC, RW, FW), pp. 280–286.
ICSEICSE-2011-Smith #functional #requirements #security #testing #using
Systematizing security test case planning using functional requirements phrases (BS), pp. 1136–1137.
ICSEICSE-2011-WangSG #concurrent #testing
Coverage guided systematic concurrency testing (CW, MS, AG), pp. 221–230.
ICSTICST-2011-CausevicSP #bibliography #development #industrial #perspective
Factors Limiting Industrial Adoption of Test Driven Development: A Systematic Review (AC, DS, SP), pp. 337–346.
ICSTICST-2011-GoKKL #approach #generative #testing #variability
A Systematic Test Case Generation Approach for Testing Message Length Variability (KG, SK, MK, JL), pp. 397–406.
ICSTICST-2011-KhalekK #constraints #database #relational #testing #theorem proving #using
Systematic Testing of Database Engines Using a Relational Constraint Solver (SAK, SK), pp. 50–59.
ECSAECSA-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.
ASEASE-2010-KhalekK #automation #database #generative #query #sql #testing
Automated SQL query generation for systematic testing of database engines (SAK, SK), pp. 329–332.
DATEDATE-2010-Krupp0 #approach
A systematic approach to the test of combined HW/SW systems (AK, WM), pp. 323–326.
IFMIFM-2010-MilhauFGL
Systematic Translation Rules from astd to Event-B (JM, MF, FG, RL), pp. 245–259.
KMISKMIS-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.
SEKESEKE-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.
MODELSMoDELS-v1-2010-Pardillo #bibliography #uml
A Systematic Review on the Definition of UML Profiles (JP), pp. 407–422.
MODELSMoDELS-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.
OOPSLAOOPSLA-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.
FSEFSE-2010-LauterburgKMA #named #source code #testing
Basset: a tool for systematic testing of actor programs (SL, RKK, DM, GA), pp. 363–364.
ICSEICSE-2010-LohK #difference #identification #named
LSdiff: a program differencing tool to identify systematic structural differences (AL, MK), pp. 263–266.
DACDAC-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.
DACDAC-2009-YuanX #identification #on the #pseudo #testing
On systematic illegal state identification for pseudo-functional testing (FY, QX), pp. 702–707.
PEPMPEPM-2009-FradeSU #analysis #bidirectional #data flow
Bidirectional data-flow analyses, type-systematically (MJF, AS, TU), pp. 141–150.
FMFM-2009-RamosSM #component #development
Systematic Development of Trustworthy Component Systems (RR, AS, AM), pp. 140–156.
HCIHIMI-II-2009-NakamuraS #learning
Construction of Systematic Learning Support System of Business Theory and Method (YN, KS), pp. 669–678.
HCIIDGD-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.
SEKESEKE-2009-AzambujaBB #bibliography #requirements #reuse
Systematic Review of Requirements Reuse (FBdA, RMB, APTB), pp. 67–72.
SEKESEKE-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.
SEKESEKE-2009-JuniorAM #architecture #process
A Systematic SOA-based Architecture Process (JJLDJ, ESdA, SRdLM), pp. 328–333.
RERE-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.
SACSAC-2009-SuzukiOSKTK #generative #quality #requirements
A systematic method for generating quality requirements spectrum (SS, AO, TS, HK, MT, KK), pp. 399–400.
ICSEICSE-2009-KimN #representation
Discovering and representing systematic code changes (MK, DN), pp. 309–319.
SPLCSPLC-2009-ChenBA #bibliography #perspective #product line #variability
Variability management in software product lines: a systematic review (LC, MAB, NA), pp. 81–90.
SPLCSPLC-2009-TunBCHH #approach #feature model #requirements
Relating requirements and feature configurations: a systematic approach (TTT, QB, AC, AH, PH), pp. 201–210.
CSLCSL-2009-CiabattoniST #proving
Expanding the Realm of Systematic Proof Theory (AC, LS, KT), pp. 163–178.
CBSECBSE-2008-AlbaniOB #component #identification #towards
Towards a Systematic Method for Identifying Business Components (AA, SO, DB), pp. 262–277.
ECSAECSA-2008-FilhoCNOLAM #bibliography #design #perspective #using
Evaluating Domain Design Approaches Using Systematic Review (EDdSF, RdOC, DFSN, THBdO, LBL, ESdA, SRdLM), pp. 50–65.
DACDAC-2008-BastaniCWA #statistics
Statistical diagnosis of unmodeled systematic timing effects (PB, NC, LCW, MSA), pp. 355–360.
CSMRCSMR-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-VCGT-VC-2007-Bruggink08 #graph transformation #proving #termination #towards
Towards a Systematic Method for Proving Termination of Graph Transformation Systems (HJSB), pp. 23–38.
AdaEuropeAdaEurope-2008-NarayananK #approach #automation #multi #semantics
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions (SHKN, MTK), pp. 185–198.
ICEISICEIS-ISAS2-2008-BreemenS #concept #on the #process
On Conceptualization as a Systematic Process (AJJvB, JJS), pp. 37–42.
SEKESEKE-2008-AfzalTF #non-functional #search-based #testing
A Systematic Mapping Study on Non-Functional Search-based Software Testing (WA, RT, RF), pp. 488–493.
SEKESEKE-2008-AlmeidaAGLFM #domain model #process
A Systematic Process for Domain Engineering (ESdA, , VCG, DL, RPdMF, SRdLM), pp. 655–660.
SEKESEKE-2008-FontouraP #approach #process #risk management
Systematic Approach to Risk Management in Software Projects through Process Tailoring (LMF, RTP), pp. 179–184.
SEKESEKE-2008-GaoLCSX #approach #case study #component
Building Testable Components — a Systematic Approach and Its Experimental Study (JG, WRL, RC, RS, MX), pp. 715–722.
SEKESEKE-2008-HeWTG #process #reuse
A Systematic Method for Process Tailoring Based on Knowledge Reuse (XyH, YsW, YxT, JgG), pp. 38–41.
SEKESEKE-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.
MODELSMoDELS-2008-GutheilKA #approach #modelling #multi
A Systematic Approach to Connectors in a Multi-level Modeling Environment (MG, BK, CA), pp. 843–857.
MODELSMoDELS-2008-GutheilKA #approach #modelling #multi
A Systematic Approach to Connectors in a Multi-level Modeling Environment (MG, BK, CA), pp. 843–857.
ICSEICSE-2008-KegelS #inheritance #java #refactoring
Systematically refactoring inheritance to delegation in java (HK, FS), pp. 431–440.
SLESLE-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.
CAVCAV-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.
DATEDATE-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.
ICDARICDAR-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.
FASEFASE-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.
PLDIPLDI-2007-MusuvathiQ #bound #parallel #source code #testing #thread
Iterative context bounding for systematic testing of multithreaded programs (MM, SQ), pp. 446–455.
HCIDHM-2007-SadasivanG #question
Can We Use Technology to Train Inspectors to Be More Systematic? (SS, AKG), pp. 959–968.
HCIHCI-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.
PPDPPPDP-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.
CAVCAV-2007-JonssonS #model checking
Systematic Acceleration in Regular Model Checking (BJ, MS), pp. 131–144.
FATESTestCom-FATES-2007-SchmerlK #testing #towards
Towards Systematic Signature Testing (SS, HK), pp. 276–291.
DACDAC-2006-KeaneEKSK #framework #logic
Subthreshold logical effort: a systematic framework for optimal subthreshold device sizing (JK, HE, TTHK, SSS, CHK), pp. 425–428.
DACDAC-2006-MukherjeeM
Systematic temperature sensor allocation and placement for microprocessors (RM, SOM), pp. 542–547.
DACDAC-2006-PsarakisGHPRR #pipes and filters #self
Systematic software-based self-test for pipelined processors (MP, DG, MH, AMP, AR, SR), pp. 393–398.
DACDAC-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.
DACDAC-2006-WuJYLT #estimation #functional
A systematic method for functional unit power estimation in microprocessors (WW, LJ, JY, PL, SXDT), pp. 554–557.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2006-VandersteenBDR
Systematic stability-analysis method for analog circuits (GV, SB, PD, YR), pp. 150–155.
DATEDATE-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.
DATEDATE-2006-YavariSR #design #hybrid
Systematic and optimal design of CMOS two-stage opamps with hybrid cascode compensation (MY, OS, ÁRV), pp. 144–149.
FASEFASE-2006-SenA #automation #distributed #source code #testing
Automated Systematic Testing of Open Distributed Programs (KS, GA), pp. 339–356.
AdaEuropeAdaEurope-2006-AlonsoSAP #approach
A Systematic Approach to Developing Safe Tele-operated Robots (DA, PS, , JAP), pp. 119–130.
ICEISICEIS-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.
SEKESEKE-2006-MokhatiBG #approach #diagrams #maude #specification #uml
Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach (FM, MB, PG), pp. 572–577.
LOPSTRLOPSTR-2006-MusuvathiQ #concurrent #named #testing
CHESS: Systematic Stress Testing of Concurrent Software (MM, SQ), pp. 15–16.
RERE-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.
RERE-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.
RERE-2006-Smith #development #documentation #requirements
Systematic Development of Requirements Documentation for General Purpose Scientific Computing Software (SS), pp. 205–215.
RERE-2006-Wasson #case study #requirements
A Case Study in Systematic Improvement of Language for Requirements (KSW), pp. 6–15.
ICSEICSE-2006-BudgenB #re-engineering
Performing systematic literature reviews in software engineering (DB, PB), pp. 1051–1052.
SPLCSPL-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.
VMCAIVMCAI-2006-GurfinkelWC #abstraction #model checking
Systematic Construction of Abstractions for Model-Checking (AG, OW, MC), pp. 381–397.
DACDAC-2005-BhardwajV #random
Leakage minimization of nano-scale circuits in the presence of systematic and random variations (SB, SBKV), pp. 541–546.
DACDAC-2005-WeiD #behaviour #development #megamodelling
Systematic development of analog circuit structural macromodels through behavioral model decoupling (YW, AD), pp. 57–62.
DATEDATE-2005-BarrandonCH #design #pipes and filters
Systematic Figure of Merit Computation for the Design of Pipeline ADC (LB, SC, DH), pp. 277–278.
DATEDATE-2005-Klingauf #embedded #modelling #transaction
Systematic Transaction Level Modeling of Embedded Systems with SystemC (WK), pp. 566–567.
DATEDATE-2005-VargheseCY #analysis #using
Systematic Analysis of Active Clock Deskewing Systems Using Control Theory (VV, TC, PMY), pp. 820–825.
DATEDATE-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.
ICDARICDAR-2005-Carrera
Making History: an Emergent System for the Systematic Accrual of Transcriptions of Historic Manuscripts (FC), pp. 543–449.
FMFM-2005-WulfDR #implementation #modelling #realtime
Systematic Implementation of Real-Time Models (MDW, LD, JFR), pp. 139–156.
LSOLSO-2005-Salo #agile #development #learning #validation
Systematical Validation of Learning in Agile Software Development Environment (OS), pp. 92–96.
SEKESEKE-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
SACSAC-2005-Hutchinson #future of #information management
The future of systematic information protection (BH), p. 1.
ICSEICSE-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.
WICSAWICSA-2004-KrugerM #architecture #development
Systematic Development and Exploration of Service-Oriented Software Architectures (IHK, RM), pp. 177–187.
DACDAC-2004-GuptaH #towards
Toward a systematic-variation aware timing methodology (PG, FLH), pp. 321–326.
DACDAC-2004-KwonKK #functional #graph #metric #synthesis
Systematic functional coverage metric synthesis from hierarchical temporal event relation graph (YSK, YIK, CMK), pp. 45–48.
DATEDATE-v1-2004-Taherzadeh-SaniLS #design #optimisation #pipes and filters
Systematic Design for Optimization of High-Resolution Pipelined ADCs (MTS, RL, OS), pp. 678–679.
FASEFASE-2004-ChoiCK #component #framework
A Systematic Methodology for Developing Component Frameworks (SWC, SHC, SDK), pp. 359–373.
FASEFASE-2004-MucciniDR #architecture #testing
Systematic Testing of Software Architectures in the C2 Style (HM, MSD, DJR), pp. 295–309.
CAiSECAiSE-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.
ICPRICPR-v1-2004-ColemanSH #design #scalability
A Systematic Design Procedure for Scalable Near-Circular Laplacian of Gaussian Operators (SAC, BWS, MGH), pp. 700–703.
ICPRICPR-v2-2004-YaoZ #detection
Systematic Static Shadow Detection (JY, Z(Z), pp. 76–79.
KDDKDD-2004-Fan #concept #data type
Systematic data selection to mine concept-drifting data streams (WF), pp. 128–137.
ICSEICSE-2004-Breen #incremental #named #specification
Statestep: A Tool for Systematic, Incremental Specification (MB), pp. 711–712.
SPLCSPLC-2004-JohnS #product line
Starting Product Lines (I) — Systematic Product Line Planning and Adoption (IJ, KS), p. 319.
VLDBVLDB-2003-LubbersGJ #data mining #development #quality #tool support
Systematic Development of Data Mining-Based Data Quality Tools (DL, UG, MJ), pp. 548–559.
ITiCSEITiCSE-2003-Christensen #education #exclamation #testing #topic
Systematic testing should not be a topic in the computer science curriculum! (HBC), pp. 7–10.
IWPCIWPC-2003-Walenstein #evaluation #towards
Observing and Measuring Cognitive Support: Steps Toward Systematic Tool Evaluation and Engineering (AW), pp. 185–195.
EDOCEDOC-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.
KDDKDD-2003-Aggarwal #data mining #design #distance #mining #towards
Towards systematic design of distance functions for data mining applications (CCA), pp. 9–18.
ICSEICSE-2003-HeumesserH #requirements #towards
Towards Systematic Recycling of Systems Requirements (NH, FH), pp. 512–519.
ASEASE-2002-TanL #design #object-oriented #requirements
Systematic Bridging the Gap between Requirements and OO Design (HBKT, WL), pp. 249–252.
DACDAC-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.
DATEDATE-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.
DATEDATE-2002-VandenbusscheLUSG #design
Systematic Design of a 200 Ms/S 8-bit Interpolating A/D Converter (JV, EL, KU, MS, GGEG), pp. 357–361.
SEKESEKE-2002-Becker-KornstaedtR #concept #experience #maintenance #process
A concept to support process model maintenance through systematic experience capture (UBK, RR), pp. 465–468.
SEKESEKE-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.
SEKESEKE-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.
GPCEGPCE-2002-Kiselyov #metaprogramming
Macros That Compose: Systematic Macro Programming (OK), pp. 202–217.
POPLPOPL-2002-CousotC #abstract interpretation #design #framework #program transformation
Systematic design of program transformation frameworks by abstract interpretation (PC, RC), pp. 178–190.
RERE-2002-JohnMST #analysis #evolution #performance
Efficient and Systematic Software Evolution through Domain Analysis (IJ, DM, PS, ET), pp. 237–246.
RERE-2002-KnethenPKH #abstraction #requirements #traceability
Systematic Requirements Recycling through Abstraction and Traceability (AvK, BP, FK, FH), pp. 273–281.
SPLCSPLC-2002-ThielH #architecture #design #integration #product line #variability
Systematic Integration of Variability into Product Line Architecture Design (ST, AH), pp. 130–153.
LCTESLCTES-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.
DATEDATE-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.
ESOPESOP-2001-PottierSS #approach #data access
A Systematic Approach to Static Access Control (FP, CS, SFS), pp. 30–45.
RERE-2001-Parnas #documentation #requirements
Systematic Documentation of Requirements (DLP), p. 248.
ICSEICSE-2001-DunsmoreRW #object-oriented
Systematic Object-Oriented Inspection — An Emprirical Study (AD, MR, MW), pp. 135–144.
ICSTSAT-2001-LynceBM #algorithm #probability #satisfiability
Stochastic Systematic Search Algorithms for Satisfiability (IL, LB, JMS), pp. 190–204.
ASEASE-2000-BoseM #automation #coordination #generative #policy
Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies (PKB, MGM), p. 325–?.
DACDAC-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.
DACDAC-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.
TOOLSTOOLS-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.
FSEFSE-2000-GodefroidJJL #automation #constraints #interactive #testing
Automated systematic testing for constraint-based interactive services (PG, LJJ, RJ, KL), pp. 40–49.
SPLCSPLC-2000-PasettiP #concept #development #novel #product line
Two Novel Concepts for systematic product line development (AP, WP), pp. 249–270.
DATEDATE-1999-VerhoevenS #feedback
Systematic Biasing of Negative Feedback Amplifiers (CJMV, AvS), pp. 318–322.
FMFM-v1-1999-MeyerS #approach #diagrams #specification
A Systematic Approach to Transform OMT Diagrams to a B Specification (EM, JS), pp. 875–895.
HCIHCI-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.
HCIHCI-EI-1999-Haller #design #interface #relational
Systematic Design of Human-Computer-Interfaces as Relational Semiotic Systems (RH), pp. 607–611.
ICEISICEIS-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.
KDDKDD-1999-Hackathorn #web
Farming the Web for Systematic Business Intelligence (Invited talk, Abstract only) (RDH), p. 3.
SEKESEKE-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.
SEKESEKE-1999-AlthoffNT
Systematically Diagnosing and Improving the Perceived Usefulness of Organizational Memories (KDA, MN, CT), pp. 72–86.
SEKESEKE-1999-WieserHS #experience
Push of Pull: Two Cognitive Modes of Systematic Experience Transfer at DaimlerChrysler (EW, FH, KS), pp. 186–204.
TOOLSTOOLS-USA-1999-Parnas99a
Systematic Techniques for Inspecting Critical Software (DLP), p. 410.
ICSEICSE-1999-DeBaudS #approach #product line
A Systematic Approach to Derive the Scope of Software Product Lines (JMD, KS), pp. 34–43.
ICSEICSE-1999-Griss #architecture #component #reuse #scalability
Architecting for Large-Scale Systematic Component Reuse (MLG), pp. 615–616.
DATEDATE-1998-KoegstGCW #analysis #design #reuse
A Systematic Analysis of Reuse Strategies for Design of Electronic Circuits (MK, DG, PC, MGW), pp. 292–296.
ESOPESOP-1998-Scherlis #case study #data transformation #representation
Systematic Change of Data Representation: Program Manipulations and a Case Study (WLS), pp. 252–266.
TACASTACAS-1998-ShermanM #automation #named
Factotum: Automatic and Systematic Sharing Support for Systems Analyzers (DJS, NM), pp. 249–262.
CSMRCSMR-1998-BorneRS #analysis #object-oriented #towards
Towards a Systematic Object-Oriented transformation of a Mrise Analysis (IB, AR, FS), pp. 213–215.
ICPRICPR-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.
TOOLSTOOLS-USA-1998-Griss #architecture #component #reuse #scalability
Architecting for Large-Scale Systematic Component Reuse (MLG), p. 7.
REICRE-1998-Franch #non-functional
Systematic Formulation of Non-Functional Characteristics of Software (XF), pp. 174–181.
REICRE-1998-MaidenMMR #generative #named
CREWS-SAVRE: Systematic Scenario Generation and Use (NAMM, SM, KM, MR), pp. 148–155.
ICSEICSE-1998-ShimizuFH #approach #development
A Systematic Approach to Domain-Oriented Software Development (YS, NF, MH), pp. 499–502.
ICDARICDAR-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.
ICFPICFP-1997-GasserNN #analysis #control flow
Systematic Realisation of Control Flow Analyses for CML (KLSG, FN, HRN), pp. 38–51.
CHICHI-1997-HornofK #modelling #random
Cognitive Modeling Reveals Menu Search is Both Random and Systematic (AJH, DEK), pp. 107–114.
AdaEuropeAdaEurope-1997-WegenerF #ada #source code
Systematic Unit-Testing of Ada Programs (JW, IF), pp. 64–75.
RERE-1997-LeiteRBMKHO #requirements #reuse #towards
Ten Steps Towards Systematic Requirements Reuse (WL, JAM, AV), pp. 6–15.
RERE-1997-YenT #analysis #requirements #trade-off
A Systematic Tradeoff Analysis for Conflicting Imprecise Requirements (JY, WAT), p. 87–?.
DACDAC-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.
HTHT-1996-SchwabeRB #design #hypermedia
Systematic Hypermedia Application Design with OOHDM (DS, GR, SDJB), pp. 116–128.
CHICHI-1996-HansenNS #design
Systematic Design of Spoken Prompts (BH, DGN, SS), pp. 157–164.
ICPRICPR-1996-SatohO #algorithm #comparison #detection
Occlusion detectable stereo-systematic comparison of detection algorithms (KS, YO), pp. 280–286.
ICPRICPR-1996-SuriHS #automation #bound #fault
Correction of systematic errors in automatically produced boundaries from low-contrast ventriculograms (JSS, RMH, FHS), pp. 361–365.
PPDPPLILP-1996-Gorlatch #divide and conquer #implementation #parallel
Systematic Extraction and Implementation of Divide-and-Conquer Parallelism (SG), pp. 274–288.
SACSAC-1996-PowellFK #approach #documentation #maintenance
A systematic approach to creating and maintaining software documentation (ALP, JCF, JCK), pp. 201–208.
ICSEICSE-1996-HerbslebG #bibliography #experience
A Systematic Survey of CMM Experience and Results (JDH, DG), pp. 323–330.
ICSEICSE-1996-Kontio #case study #off the shelf
A Case Study in Applying a Systematic Method for COTS Selection (JK), pp. 201–209.
ICSEICSE-1996-SullivanK #approach #architecture #experience #reuse #scalability
Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse (KJS, JCK), pp. 220–229.
HPDCHPDC-1996-ChandyS #design #distributed #framework
Designing Directories in Distributed Systems: A Systematic Framework (KMC, EMS), pp. 318–328.
ISSTAISSTA-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.
RERE-1995-ChungNY #non-functional #requirements #using
Using non-functional requirements to systematically support change (LC, BAN, ESKY), pp. 132–139.
ASEKBSE-1994-Hall #incremental #rule-based #validation
Systematic Incremental Validation of Rule-Based Reactive Systems (RJH), pp. 69–78.
SASSAS-1994-BoulangerB #abstract domain
A Systematic Construction of Abstract Domains (DB, MB), pp. 61–77.
CSCWCSCW-1994-TriggB #design #implementation
From Implementation to Design: Tailoring and the Emergence of Systematization in CSCW (RHT, SB), pp. 45–54.
REICRE-1994-OzcanS #evolution #framework #requirements #validation
Validating and evolving software requirements in a systematic framework (MBÖ, JIAS), pp. 202–205.
ICLPILPS-1994-FileR #abstract interpretation #set
Improving Abstract Interpretations by Systematic Lifting to the Powerset (GF, FR), pp. 655–669.
HCIHCI-SHI-1993-KirschA #approach #education #multi #using #visual notation
Using Multimedia to Teach Visual Literacy: A Systematic Approach (RPK, RMA), pp. 531–536.
ICMLICML-1993-Schlimmer #algorithm
Efficiently Inducing Determinations: A Complete and Systematic Search Algorithm that Uses Optimal Pruning (JCS), pp. 284–290.
SEKESEKE-1993-TsaiXZM #framework #specification #testing
A Framework for Systematic Testing of Software Specifications (WTT, WX, IAZ, SKM), pp. 380–387.
TOOLSTOOLS-PACIFIC-1993-Meyer93c #concurrent #object-oriented #programming
Systematic Concurrent Object-Oriented Programming (BM), p. 325.
TOOLSTOOLS-PACIFIC-1993-Meyer93d #concurrent #object-oriented #programming
Systematic Concurrent Object-Oriented Programming (BM), pp. 523–576.
TOOLSTOOLS-USA-1993-Meyer #concurrent #object-oriented #programming
Systematic Concurrent Object-Oriented Programming (BM), p. 553.
KRKR-1992-Borgida #development #logic #towards
Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed (AB), pp. 259–269.
KRKR-1992-Rymon #set
Search through Systematic Set Enumeration (RR), pp. 539–550.
ICMLML-1992-Hickey #algorithm #approach #evaluation #towards
Artificial Universes — Towards a Systematic Approach to Evaluation Algorithms which Learn form Examples (RJH), pp. 196–205.
ICMLML-1992-WeinbergBK #clustering #concept
Conceptual Clustering with Systematic Missing Values (JBW, GB, GRK), pp. 464–469.
CADECADE-1992-Reif
The KIV System: Systematic Construction of Verified Software (WR), pp. 753–757.
PPDPPLILP-1990-Nilsson #approximate #logic programming #semantics #source code
Systematic Semantic Approximations of Logic Programs (UN), pp. 293–306.
ESECESEC-1989-DeitersGS #development #formal method #modelling #process
Systematic Development of Formal Software Process Models (WD, VG, WS), pp. 100–117.
ESECESEC-1989-WirsingHS #named #reuse #specification
MENU — An Example for the Systematic Reuse of Specifications (MW, RH, RS), pp. 20–41.
DACDAC-1987-FaroughiS #algorithm #array
An Improved Systematic Method for Constructing Systolic Arrays from Algorithms (NF, MAS), pp. 26–34.
DACDAC-1985-SaucierT #layout
Systematic and optimized layout of MOS cells (GS, GT), pp. 53–61.
ICSEICSE-1984-BidoitBGGG #exception #specification
Exception Handling: Formal Specification and Systematic Program Construction (MB, BB, MCG, CG, GDG), pp. 18–29.
VLDBVLDB-1983-BittonDT #approach #benchmark #database #metric
Benchmarking Database Systems A Systematic Approach (DB, DJD, CT), pp. 8–19.
SIGMODSIGMOD-1982-ImielinskiL #approach #database #relational
A Systematic Approach to Relational Database Theory (TI, WLJ), pp. 8–14.
ICSEICSE-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.
ASPLOSASPLOS-1982-Jones #design
Systematic Protection Mechanism Design (DWJ), pp. 77–80.
VLDBVLDB-1981-VelosoCF #specification
Systematic Derivation of Complementary Specifications (PASV, JMVdC, ALF), pp. 409–421.
ICALPICALP-1979-Rozenberg #approach #formal method #parallel
A Systematic Approach to Formal Language Theory Through Parallel Rewriting (GR), pp. 471–478.
POPLPOPL-1979-CousotC #design #framework #program analysis
Systematic Design of Program Analysis Frameworks (PC, RC), pp. 269–282.
ICSEICSE-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.

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.