University of Limerick Institutional Repository

Browsing LERO by Title

DSpace Repository

Browsing LERO by Title

Sort by: Order: Results:

  • 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 ...
  • 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 ...
  • Cawley, Oisín; Richardson, Ita; Wang, Xiaofeng (2011)
    Developing software for the manufacture of medical devices is a sensitive operation from many perspectives, such as: safety and regulatory compliance. Medical Device companies are required to have a well defined development ...
  • 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 ...
  • Conboy, Kieran; Fitzgerald, Brian (Association for Computing Machinery, 2010)
    It has long been acknowledged that software methods should be tailored if they are to achieve optimum effect.However comparatively little research has been carried out to date on this topic in general, and more notably, ...
  • 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 ...
  • Karlsson, Fredrik; Agerfalk, Par J. (2005)
    Method engineering approaches are often based on the assumption that method users are able to explicitly express their situational method requirements. However, similar to software requirements,situational method requirements ...
  • Yang, Hui; De Roeck, Anne; Willis, Alistair; Nuseibeh, Bashar (The Association for Computational Linguistics, 2010)
    Nocuous ambiguity occurs when a linguistic expression is interpreted differently by different readers in a given context. We present an approach to automatically identify nocuous ambiguity that is likely to lead to ...
  • 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 ...
  • Agerfalk, Par J.; Fitzgerald, Brian (2005)
    Systems development methods are used to express and communicate knowledge about systems and software development processes; i.e. methods encapsulate knowledge. Since methods encapsulate knowledge, they also encapsulate ...
  • Khoshkbarforoushha, Alireza; Jamshidi, Pooyan; Nikravesh, Ali; Fereidoon, Shams (Springer-Verlag, 2011)
    BPEL processes are workflow-oriented composite services for service-oriented solutions. Rapidly changing environment and turbulent market conditions require flexible BPEL processes to adapt with several modifications during ...

Search DSpace


Browse

My Account

Statistics