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:

  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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