12 papers:
SEKE-2014-ChenM #abstraction #evolution- Change and Role as First-Class Abstractions for Realising Dynamic Evolution (YC, XM), pp. 443–446.
Onward-2012-Beynon #development #experience- Realising software development as a lived experience (MB), pp. 229–244.
SAC-2011-WajidMNG #comprehension #documentation #enterprise #tool support- Tool support for realising a common understanding of business documents in collaborating enterprises (UW, NM, AN, PG), pp. 331–333.
RTA-2010-Oostrom- Realising Optimal Sharing (VvO), pp. 5–6.
CSL-2009-Munch-Maccagnoni- Focalisation and Classical Realisability (GMM), pp. 409–423.
DATE-2008-MostermanOSJKRCM #automation #embedded #functional #modelling- Automatically Realising Embedded Systems from High-Level Functional Models (PJM, DO, JS, AAJ, WK, VR, CGC, GM).
ASE-2007-Gawley #automation #feature model #identification #modelling #variability- Automating the identification of variability realisation techniques from feature models (RG), pp. 555–558.
CAiSE-2002-NorrieP #approach #composition #modelling- A Modelling Approach to the Realisation of Modular Information Spaces (MCN, AP), pp. 245–261.
EDOC-2002-SalinesiP #adaptation #information management- A Method to Analyse Changes in the Realisation of Business Intentions and Strategies for Information System Adaptation (CS, MJP), pp. 84–95.
- EDOC-2000-LupuSDD #concept #enterprise #named
- Ponder: Realising Enterprise Viewpoint Concepts (EL, MS, ND, ND), pp. 66–75.
LICS-1999-MarzRS #abstraction- Full Abstraction and Universality via Realisability (MM, AR, TS), pp. 174–182.
ICFP-1997-GasserNN #analysis #control flow- Systematic Realisation of Control Flow Analyses for CML (KLSG, FN, HRN), pp. 38–51.
