University of Limerick Institutional Repository

Browsing by Title

DSpace/Manakin Repository

Browsing by Title

Sort by: Order: Results:

  • Mechanising a formal model of flash memory
    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 ...
  • Med-Adept : a lightweight assessment method for the Irish medical device software industry
    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.
  • MedeSPI: a software process improvement model for the medical device industry based upon Automotive SPICE
    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 ...
  • Mediating geography: threshold places
    Hilliard, Alan (School of Architecture, University of Limerick, 2012)
    My thesis investigations are based on ideas of threshold and mediation in architecture. Movement or mediation between distinct places implies thresholds; skin, walls, doors, bridges etc. This mediating geography describes ...
  • Medical device software development - a perspective from a lean manufacturing plant
    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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Med-Trace: traceability assessment method for medical device software development
    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 ...
  • Merchant Seamen Monument
    Brendan Gleeson [photography] (Glucksman Library, University of Limerick, 1991)
  • 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 ...
  • The Mescher bones playing tradition : syncopations on the American landscape
    Mercier, Mel (University of Limerick, 2011)
    This dissertation explores the creation and transmission of the Mescher two-handed bones playing style which was first developed by the German-American farmer, Albert Mescher, in the 1920s, in Iowa, and subsequently passed ...
  • Mesoporous solids for low temperature CO2 adsorption
    Reimann, Wiebke (University of Limerick, 2012)
    Carbon dioxide concentrations in the atmosphere have risen since the onset of the Industrial Revolution. It is a potent green house gas contributing to climate change. One of the biggest carbon dioxide emitters are large ...
  • 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 ...
  • Metal levels in seven species of mollusc and in seaweeds from the Shannon Estuary.
    Breen, John; O'Leary, Caitriona (The Royal Irish Academy, 1997)
    Metal levels (iron, zinc, manganese, cobalt, chromium, copper and nickel) were determined in Cerastoderma edule, Mytilus edulis, Monodonta lineata, Patella vulgata, Nucella lapillus, Littorina obtusata and L. littorea at ...
  • Metal surface nucleated supercritical fluid–solid–solid growth of Si and Ge/SiOx core–shell nanowires.
    Barrett, Christopher A.; Gunning, Robert D.; Hantschel, Thomas; Arstila, Kai; Ryan, Kevin M. (Royal Society of Chemistry, 2010)
    High yields of single-crystalline silicon nanowires and germanium/silicon oxide core-shell nanostructures were synthesized using a supercritical fluid-solid-solid growth mechanism. The formation of the one-dimensional ...
  • Method and developer characteristics for effective agile method tailoring:a study of expert opinion
    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, ...
  • A methodology for automatic identification of nocuous ambiguity
    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 ...
  • Methods as action knowledge:exploring the concept of method rationale in method construction, tailoring and use
    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 ...
  • 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 ...

Search DSpace

Browse

My Account