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:

  • Portillo-Domínguez, Andrés Omar; Wang, Miao; Magoni, Damien; Perry, Philip; Murphy, John (IEEE Computer Society, 2014)
    Modern computer applications, especially at enterprise-level, are commonly deployed with a big number of clustered instances to achieve a higher system performance, in which case single machine based solutions are less ...
  • Butterfield, Andrew (2012)
    U (TP)2 is a theorem prover developed to support the Unifying Theories of Programming (UTP) framework. Its primary design goal was to support the higher-order logic, alphabets, equational reasoning and \programs as ...
  • Coyle, Sharon; Conboy, Kieran; Acton, Thomas (ACIS, 2011)
    The importance of effective decision making in organisations has been well documented. Groups are often formed in order to collaborate skills and information and assist with decision-making. Despite the many benefits associated ...
  • Heras, Federico; Morgado, Antonio; Marques-Silva, Joao (Springer, 2012)
    This paper presents several ways to compute lower and upper bounds for MaxSAT based on calling a complete SAT solver. Preliminary results indicate that (i) the bounds are of high quality, (ii) the bounds can boost the ...
  • Taylor, Adam; Galván-López, Edgar; Clarke, Siobhán; Cahill, Vinny (2012)
    A key change in the move to Smart Grids (SGs) is the use of dynamic pricing; this together with less reliable energy from renewable resources makes optimising electricity use highly complex. For smart-devices to function ...
  • Yilmaz, Murat; O'Connor, Rory V. (EuroSPI, 2012)
    We consider software development as an economic activity, where goods and services can be modeled as a resource constrained task allocation problem. This paper introduces a market based mechanism to overcome task ...
  • Morgado, Antonio; Liffiton, Mark; Marques-Silva, Joao (2012)
    Enumeration of Minimal Correction Sets (MCS) finds a wide range of practical applications, including the identification of Minimal Unsatisfiable Subsets (MUS) used in verifying the complex control logic of microprocessor ...
  • O'Hara, Niall; Slot, Marco; Marinescu, Dan; Čurn, Jan; Yang, Dawei; Asplund, Mikael; Bouroche, Mélanie; Clarke, Siobhán; Cahill, Vinny (IEEE Computer Society, 2012)
    Research and development in the field of intelligent transportation systems (ITS) can be costly in terms of both time and money. A significant initial and ongoing investment is often required in order to obtain a physical ...
  • Clarke, Paul; O'Connor, Rory V. (Springer, 2011)
    Software processes support the work of software development and software process improvement (SPI) is concerned with improving the operation of the software process. One of the primary reasons for conducting SPI is to ...
  • Jordan, Howell; Collier, Rem W. (2012)
    In any engineering domain, a detailed understanding of what constitutes a 'good' product is vital for the development of theories that are both general and useful. However, software engineering researchers' understanding ...
  • Flood, Derek; Mc Caffery, Fergal; Casey, Valentine; Regan, Gilbert (Springer, 2013)
    A critical component to the success of software systems is the incor-poration of the end user. Ensuring that the end user can use the system effec-tively and efficiently is an important consideration. Failure to do this ...
  • Mc Caffery, Fergal; Casey, Valentine (2010)
    In this paper we describe how a lightweight assessment method was developed to educate Irish software development organisations in relation to becoming medical device software suppliers.
  • Casey, Valentine; Mc Caffery, Fergal (2011)
    Traceability is central to medical device software development and is an essential requirement for regulatory approval. To achieve compliance an effective traceability process needs to be in place. This process must ensure ...
  • 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 ...

Search ULIR


Browse

My Account

Statistics