University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Title

DSpace Repository

Browsing LERO - Project partner authors by Title

Sort by: Order: Results:

  • Medi SPICE : an update 
    Mc Caffery, Fergal; Dorling, Alec; Casey, Valentine (2010)
    This paper provides an update on the development of a software process assessment and improvement model (Medi SPICE) specifically for the medical device industry. The development of Medi SPICE was launched at the SPICE ...
  • Medi SPICE and the development of a process reference model for inclusion in IEC 62304 
    Casey, Valentine; Mc Caffery, Fergal (2012)
    The demand for medical device software continues to grow and there is an associated increase in its importance and complexity. This paper discusses medical device software process assessment and improvement. It outlines ...
  • Medical device software traceability. 
    Mc Caffery, Fergal; Casey, Valentine; Sivakumar, M.S.; Coleman, Gerry; Donnelly, Peter; Burton, John (Springer Verlag, 2012)
    Software traceability is central to medical device software develop-ment and essential for regulatory approval. In order to comply with the regulatory requirements of the medical device industry it is essential to have ...
  • Medical device standards' requirements for traceability during the software development lifecycle and implementation of a traceability assessment model 
    Regan, Gilbert; Mc Caffery, Fergal; Mc Daid, Kevin; Flood, Derek (Elsevier, 2013)
    Developing safety critical software is a complex process. Due to the fact that medical device software failure can lead to catastrophic consequences, numerous standards have been developed which govern software development ...
  • Merging agile methodologies the case for DSDM and XP 
    Golding, Andrew M; O'Connor, Rory V. (EuroSPI, 2004)
    This paper presents the proposal that while the agile approach to developing software is proving to be a success, there is value in merging some of the best practices of more than one approach. In this paper, two specific ...
  • Meta-driven browsers 
    Bergel, Alexandre; Ducasse, Stéphane; Putney, Colin; Wuyts, Roel (Springer, 2006)
    Smalltalk is not only an object-oriented programming language; it is also known for its extensive integrated development environment supporting interactive and dynamic programming. While the default tools are adequate ...
  • Method transfer using an open source community 
    Mattsson, Anders; Lundell, Bjorn (2009)
    Method transfer is a problematic task. This paper discusses issues to be addressed when transferring a method and tool to a wide community by forming an open source community contrasted with the experiences from transfer ...
  • A methodology for software process improvement roadmaps for regulated domains – example with IEC 62366 
    Flood, Derek; Mc Caffery, Fergal; Casey, Valentine; Regan, Gilbert (Springer, 2013)
    Software process improvement initiatives offer many benefits in terms of productivity, cost savings and quality. As part of these initiatives or-ganisations undergo an assessment and then embark on a software process ...
  • Minimal unroll factor for code generation of software pipelining 
    Bachir, Mounira; Touati, Sid-Ahmed-Ali; Brault, Frederic; Gregg, David; Cohen, Albert (Springer, 2013)
    We address the problem of generating compact code from software pipelined loops. Although software pipelining is a powerful technique to extract fine-grain parallelism, it generates lifetime intervals spanning multiple ...
  • MobiTest: a cross-platform tool for testing mobile applications 
    Bayley, Ian; Flood, Derek; Harrison, Rachel; Martin, Clare (IARIA International Academy, Research and Industry Association, 2012)
    Testing is an essential part of the software development lifecycle. However, it can cost a lot of time and money to perform. For mobile applications, this problem is further exacerbated by the need to develop apps in a ...
  • Model construction with external constraints:an interactive journey from semantics to syntax 
    Janota, Mikolas; Kuzina, Victoria; Wasowski, Andrzej (Association for Computing Machinery, 2008)
    Mainstream development environments have recently assimilated guidance technologies based on constraint satisfaction. We investigate one class of such technologies, namely, interactive guided derivation of models, where ...
  • Model driven design of distribution patterns for web service compositions 
    Pahl, Claus; Barrett, Ronan; IRCSET (IEEE Computer Society, 2006)
    Increasingly, distributed systems are being constructed by composing a number of components, often legacy applications exposed using Web service interfaces. There are a number of architectural configurations or distribution ...
  • Model driven engineering of cross-layer monitoring and adaptation 
    Song, Hui; Raj, Amit; Hajebi, Saeed; Clarke, Siobhán; Clarke, Aidan (INSTICC, 2013)
    Monitoring and adaptation of multilayer systems are challenging, because the mismatches and adaptations are interrelated across the layers. This interrelation introduces two important but difficult questions. 1) When a ...
  • Model-based testing of software product lines 
    Metzger, Andreas; Pohl, Klaus; Reis, Sacha; Reuys, A (2006)
    Due to the rising demand for individualised software products and software-intensive systems (e.g.,mobile phone or automotive software), organizations are faced with the challenge to provide a diversity of software systems ...
  • A model-driven approach to the engineering of multiple user interfaces 
    Botterweck, Goetz (Association Computing Machinery, 2006)
    In this paper, we describe MANTRA1, a model-driven approach to the development of multiple consistent user interfaces for one application. The common essence of these user interfaces is captured in an abstract UI model ...
  • Model-driven theme/UML 
    Carton, Andrew; Driver, Cormac; Jackson, Andrew; Clarke, Siobhán (Springer-Verlag, 2009)
    TTTTheme/UML is an existing approach to aspect-oriented modelling that supports the modularisation and composition of concerns, including crosscutting ones, in design. To date, its lack of integration with model-driven ...
  • Modelling e verification language testbenches in UML 2.0 with theme and marte 
    Linehan, Eamonn; Clarke, Siobhán (Lero, University of Limerick, 2010)
    This document presents a metamodel for the e Hardware Verification Language through example. The e metamodel is captured as a UML 2 profile (UML's mechanism for lightweight extension). Stereotypes from this profile can ...
  • Modelling hardware verification concerns specified in the e language: an experience report. 
    Galpin, Darren; Driver, Cormac; Clarke, Siobhán (Association for Computing Machinery, 2009)
    e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In recent years, the continued growth of the ...
  • Modelling the haemodialysis machine with Circus 
    Gomes, Arthur O; Butterfield, Andrew (Springer, 2016)
    We present a formal model of aspects of the haemodialysis machine case study using the Circus speci cation notation. We focus on building a model in which each of the software requirements (R-1{36) are represented by a ...
  • Monitoring the cloud - CloudMon 
    Thorpe, Christina; Cerqueus, Thomas; Ventresque, Anthony (2013)
    The Cloud is a complex, heterogeneous environment consisting of many layered components with complicated interconnections and relationships. Monitoring the Cloud is vital in providing service assurance and upholding SLAs. ...

Search ULIR


Browse

My Account

Statistics