32 papers:
ECSA-2015-SporerMKB #agile #approach #design #requirements- A Lean Automotive E/E-System Design Approach with Integrated Requirements Management Capability (HS, GM, CK, EB), pp. 251–258.
CASE-2015-LiangSQLY #agile #assessment #development #using- Criteria for lean practice selection: Development an assessment tool using the rooted arborescence (YL, SS, LQ, YL, GY), pp. 237–242.
DUXU-DD-2015-XimenesAA #agile #design #project management- Software Project Management Combining Agile, Lean Startup and Design Thinking (BHX, INA, CCA), pp. 356–367.
ICEIS-v2-2015-KustersMT #agile #development #fault #injection- The Impact of Lean Techniques on Factors Influencing Defect Injection in Software Development (RJK, FMM, JJMT), pp. 412–419.
- ICEIS-v3-2015-GhezziCRB #agile #approach #case study #comparative #design #mobile #performance
- A Comparative Study on the Impact of Business Model Design & Lean Startup Approach versus Traditional Business Plan on Mobile Startups Performance (AG, AC, AR, RB), pp. 196–203.
OOPSLA-2015-SteindorferV #agile #optimisation #performance #virtual machine- Optimizing hash-array mapped tries for fast and lean immutable JVM collections (MJS, JJV), pp. 783–800.
SPLC-2015-0002Z #agile #approach- Lean variation management: increasing business value with a diversified approach (MB, BZ), p. 385.
CADE-2015-MouraKADR #agile #proving #theorem proving- The Lean Theorem Prover (System Description) (LMdM, SK, JA, FvD, JvR), pp. 378–388.
CSMR-WCRE-2014-AntinyanSMOWWHH #agile #case study #development #experience #identification #industrial #risk management- Identifying risky areas of software code in Agile/Lean software development: An industrial experience report (VA, MS, WM, PÖ, EW, JW, AH, JH), pp. 154–163.
MSR-2014-GousiosVSZ #agile #git- Lean GHTorrent: GitHub data on demand (GG, BV, AS, AZ), pp. 384–387.
- HIMI-DE-2014-LiGF #agile #collaboration #framework #research
- Collaborative Innovation Research on Co-working Platform Based on Lean Startup Model (YL, QG, ZF), pp. 491–502.
- HIMI-D-2013-NakanoOM #3d #artificial reality #using
- Leaning Origami Using 3D Mixed Reality Technique (AN, MO, HM), pp. 126–132.
- CASE-2012-DotoliFIR #agile #modelling #simulation #using
- A lean manufacturing strategy using Value Stream Mapping, the Unified Modeling Language, and discrete event simulation (MD, MPF, GI, GR), pp. 668–673.
- OOPSLA-2012-HuangZ #agile #concurrent #debugging #execution #named #reduction
- LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction (JH, CZ), pp. 451–466.
- CASE-2011-MashaeiLA #agile
- Green and lean control of cyclic pallet systems (MM, BL, GA), pp. 642–647.
KMIS-2011-FalcaoNGPA #agile #education #integration #quality #social- Lean Six Sigma Applied to Quality and Productivity Improvement in the Management Cycle — Planning and Control — of an Education, Training and Social Integration Institution (SF, FN, SCG, SP, SNA), pp. 326–330.
CHI-2009-PerryJEE #agile #collaboration #gesture #video- Lean collaboration through video gestures: co-ordinating the production of live televised sport (MJP, OJ, ME, AE), pp. 2279–2288.
- HIMI-DIE-2009-Ying-chunSYX #agile #research
- Research on the Supplier Promise Management Based on the Lean Six Sigma (WYc, WSj, LYx, ZX), pp. 205–213.
- KMIS-2009-FalcaoNC #agile #data transformation #education #optimisation #process
- Application of Lean Six Sigma Methodology to Optimization Processes of Data Management in an Educational Context (SF, FN, AC), pp. 309–312.
SAT-2009-ChebiryakWKH #agile- Finding Lean Induced Cycles in Binary Hypercubes (YC, TW, DK, LH), pp. 18–31.
- CHI-2008-HarrisonD #agile #user interface
- Lean and zoom: proximity-aware user interface and content magnification (CH, AKD), pp. 507–510.
SIGIR-2008-JiangA #analysis #categorisation- Exploiting subjectivity analysis in blogs to improve political leaning categorization (MJ, SA), pp. 725–726.
IJCAR-2008-Otten #agile #logic #performance #proving #theorem proving- leanCoP 2.0and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (JO), pp. 283–291.
ICALP-2007-BosnackiEGP #agile #commutative #on the- On Commutativity Based Edge Lean Search (DB, EE, BG, DP), pp. 158–170.
- ICEIS-DISI-2006-Vemuri #agile
- The Benefits of Accurate, and Timely Data in Lean Production Environments — RFID in Supply Chain Management (VKV), pp. 221–225.
- ICEIS-SAIC-2006-AdamidesKPK #agile #design #framework #towards
- Towards an Integrated IS Framework for the Design and Management of Lean Supply Chains (EA, NIK, HP, DK), pp. 35–42.
- SAT-2006-KullmannLM #agile #categorisation #kernel #normalisation #satisfiability
- Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel (OK, IL, JMS), pp. 22–35.
SIGMOD-2005-MalufBA #agile #middleware- Lean middleware (DAM, DGB, NA), pp. 788–791.
- IJCAR-2001-HodasT #agile #first-order #implementation #linear #logic #named #proving #theorem proving
- lolliCop — A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic (JSH, NT), pp. 670–684.
CSCW-2000-YamauchiYSI #agile #collaboration #how #open source- Collaboration with Lean Media: how open-source software succeeds (YY, MY, TS, TI), pp. 329–338.
- CADE-1994-BeckertP #agile #named #proving #theorem proving
- leanTAP: Lean Tableau-Based Theorem Proving (Extended Abstract) (BB, JP), pp. 793–797.
SEKE-1992-ReynoldsMZ #induction #using- Extracting Procedural Knowledge from Software Systems Using Inductive Leaning in the PM system (RGR, JIM, EZ), pp. 131–139.
