University of Limerick Institutional Repository

Browsing LERO by Title

DSpace Repository

Browsing LERO by Title

Sort by: Order: Results:

  • Rosik, Jacek (2008)
  • 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 ...
  • Deshpande, Sadhana; Richardson, Ita (IEEE Computer Society, 2009)
    In Global Software Engineering Research, there have been many studies carried out from the perspective of the company who is outsourcing software development. However, very few studies focus on the companies to whom the ...
  • Polzer, Andreas; Merschen, Daniel; Botterweck, Goetz; Pleuss, Andreas; Thomas, Jacques; Hedenetz, Bernd; Kowalewski, Stefan (Springer, 2012)
    This paper presents a framework for modelbased product lines of embedded systems.We show how to integrate model-based product line techniques into a consistent framework that can deal with large product lines as they ...
  • Rubin, Julia; Kirshin, Andrei; Botterweck, Goetz; Chechik, Marsha (Association for Computing Machinery, 2012)
    We consider the problem of supporting effective code reuse as part of Software Product Line Engineering. Our approach is based on code forking – a practice commonly used in industry where new products are created by ...
  • Linehan, Eamonn; Clarke, Siobhán (DATE10, 2010)
    Recent advances in both the capabilities and accessibility of embedded systems have resulted in the potential to build increasingly complex systems that consequently are difficult to develop, test and deploy. Model-driven ...
  • Wiredu, Gamel O. (2007)
    In this paper, I analyse how and why reducing task interdependencies and increasing information interdependencies constitute worthy strategies for managing interdependencies in the face of global-distribution of resources. ...
  • Ali Babar, Muhammad; Chen, Lianping; Shull, Forrest (IEEE Computer Society, 2010)
    Variability management (VM) is a fundamental activity of software product line engineering (SPLE). VM explicitly represents software artifact variations for managing dependencies among SPL variants and support their ...
  • 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 ...
  • Yilmaz, Murat; O'Connor, Rory V. (PROFES 2010, 2010)
    In this paper, we introduce the novel approach of employing the economic mechanism design concept in the software development process, and investigate methods to create and adjust the incentives and disincentives of the ...
  • 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 ...
  • Butterfield, Andrew; Freitas, Leo; Woodcock, Jim (Elsevier, 2007)
    We present second steps in the construction of formal models of NAND flash memory, based on a recently emerged open standard for such devices. The model is intended as a key part of a pilot project to develop a verified ...
  • 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; Richardson, Ita (2007)
    Software is becoming an increasingly important aspect of medical devices and medical device regulation. Software enables highly complex systems to be built. However, complexity is the enemy of safety, therefore strict ...
  • 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 ...

Search DSpace


Browse

My Account

Statistics