University of Limerick Institutional Repository

LERO - UL authors

DSpace/Manakin Repository

LERO - UL authors

Browse by

 

Recent Submissions

  • Pullum, Laura; Cui, Xiaohui; Vassev, Emil; Hinchey, Mike; Rouff, Christopher; Buskens, Richard (The American Institute of Aeronautics and Astronautics (AIAA), 2012)
    Adaptive systems are critical for future space and other unmanned and intelligent systems. Verification of these systems is also critical for their use in systems with potential harm to human life or with large financial ...
  • Abid, Saad bin (2013)
    Features in a feature-oriented software product line interact and depend on each other in unexpected ways. Runtime feature dependency relationships implement the runtime behaviour of the end product derived from a product ...
  • Rubin, Julia; Pleuss, Andreas; Botterweck, Goetz; Weiss, David M (IEEE Computer Society, 2013)
    This paper summarizes PLEASE 2013, the fourth edition of the PLEASE workshop series. The main goal of PLEASE is to encourage and promote the adoption of Software Product Line Engineering. To this end, we aim at ...
  • Meade, Anne; Deeptimahanti, Deva Kumar; Johnston, Michael; Buckley, Jim; Collins, J.J. (IEEE Computer Society, 2013)
    Parallelizing serial software systems in order to run in a High Performance Computing (HPC) environment presents many challenges to developers. In particular, the extant literature suggests the task of decomposing ...
  • Shokry, Hesham (University of Limerick, 2013)
    Early system requirements are often captured by declarative and property-based artefacts, such as scenarios and goals. While such artifacts are intuitive and useful, they are partial and typically lack an overarching ...