30 papers:
ICFP-2015-Dunfield #morphism #polymorphism- Elaborating evaluation-order polymorphism (JD), pp. 256–268.
- ICFP-2014-Pottier #functional
- Hindley-milner elaboration in applicative style: functional pearl (FP), pp. 203–212.
IFL-2014-Christiansen #low level #syntax- Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection (DRC), p. 1.
PPDP-2014-FerreiraP #bidirectional #source code- Bidirectional Elaboration of Dependently Typed Programs (FF, BP), pp. 161–174.
REFSQ-2014-OjameruayeB #requirements #using- Systematic Elaboration of Compliance Requirements Using Compliance Debt and Portfolio Theory (BO, RB), pp. 152–167.
KEOD-2013-MendesRB #development #information management #ontology #representation- Development and Population of an Elaborate Formal Ontology for Clinical Practice Knowledge Representation (DM, IPR, CFB), pp. 286–292.
RE-2013-NakagawaOH #evolution- A goal model elaboration for localizing changes in software evolution (HN, AO, SH), pp. 155–164.
- ICFP-2012-Dunfield
- Elaborating intersection and union types (JD), pp. 17–28.
CHI-2012-OganFMDMC #exclamation #interactive #learning #quote #social- “Oh dear Stacy!”: social interaction, elaboration, and learning with teachable agents (AO, SLF, EM, CD, NM, JC), pp. 39–48.
- CHI-2010-WalshDGFGHBF #co-evolution #design
- Layered elaboration: a new technique for co-design with children (GW, AD, MLG, EF, EG, LH, EMB, SF), pp. 1237–1240.
FSE-2010-Shokry #behaviour #synthesis #towards #using- Towards behavior elaboration and synthesis using modes (HS), pp. 349–352.
ICST-2010-Kasurinen #process #testing- Elaborating Software Test Processes and Strategies (JK), pp. 355–358.
KMIS-2009-Grundstein- Distinguishing Knowledge from Information — A Prerequisite for Elaborating KM Initiative Strategy (MG), pp. 135–140.
PEPM-2008-EdwardsZ #concurrent #recursion- Static elaboration of recursion for concurrent software (SAE, JZ), pp. 71–80.
SIGIR-2008-BalogWR #modelling #query- A few examples go a long way: constructing query models from elaborate query formulations (KB, WW, MdR), pp. 371–378.
SAC-2008-DiasSCCA #approach #case study #specification- Elaboration of use case specifications: an approach based on use case fragments (FGD, EAS, MLMC, ALC, AJA), pp. 614–618.
ITiCSE-2007-Ginat #design- Hasty design, futile patching and the elaboration of rigor (DG), pp. 161–165.
- RE-2004-HaleyLMN #requirements #security #trust
- The Effect of Trust Assumptions on the Elaboration of Security Requirements (CBH, RCL, JDM, BN), pp. 102–111.
- SAC-2004-BoninoCFF #framework #multi #semantics
- Multilingual semantic elaboration in the DOSE platform (DB, FC, LF, AF), pp. 1642–1646.
ICSE-2004-Lamsweerde #anti #requirements #security- Elaborating Security Requirements by Construction of Intentional Anti-Models (AvL), pp. 148–157.
TACAS-2003-UchitelCKM #behaviour #named #tool support #using- LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios (SU, RC, JK, JM), pp. 597–601.
ESEC-FSE-2003-UchitelKM #behaviour #lts #using- Behaviour model elaboration using partial labelled transition systems (SU, JK, JM), pp. 19–27.
- ICSE-2002-LetierL #requirements
- Agent-based tactics for goal-oriented requirements elaboration (EL, AvL), pp. 83–93.
- ITiCSE-2000-Ginat
- Colorful examples for elaborating exploration of regularities in high-school CS1 (DG), pp. 81–84.
POPL-2000-KnoblockR #bytecode #java #type system- Type Elaboration and Subtype Completion for Java Bytecode (TBK, JR), pp. 228–242.
- FSE-1996-DarimontL #refinement #requirements
- Formal Refinement Patterns for Goal-Driven Requirements Elaboration (RD, AvL), pp. 179–190.
- RE-1995-LamsweerdeDM #lessons learnt #problem #requirements
- Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt (AvL, RD, PM), pp. 194–203.
KBSE-1993-JohnsonNB #design #interactive- Interactive Elaboration of Generic Designs (WLJ, KN, RB), p. 16.
AdaEurope-1992-LanderM #ada #detection #multi #problem #realtime- Detection and Avoidance of Elaboration-Time Problems for Multi-Unit Real-Time Ada Applications (LCL, SM), pp. 165–181.
CAiSE-1992-DuboisBR #requirements- Elaborating, Structuring and Expressing Formal Requirements of Composite Systems (ED, PDB, AR), pp. 327–347.
