University of Limerick Institutional Repository

Browsing LERO by Title

DSpace Repository

Browsing LERO by Title

Sort by: Order: Results:

  • Schubanz, Mathias; Pleuss, Andreas; Pradhan, Ligaj; Botterweck, Goetz; Thurimella, Anil Kumar (Association for Computing Machinery, 2013)
    In order to increase the level of e ciency and automation, we propose a conceptual model and corresponding tool support to plan and manage the systematic evolution of softwareintensive systems, in particular software ...
  • Pleuss, Andreas; Botterweck, Goetz; Dhungana, Deepak; Polzer, Andreas; Kowalewski, Stefan (Elsevier, 2012)
    Software Product Lines (SPL) are an engineering technique to efficiently derive a set of similar products from a set of shared assets. In particular in conjunction with model-driven engineering, SPL engineering promises ...
  • 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 ...
  • Leen, Gabriel; Heffernan, Donal (IEEE Computer Society, 2007)
    Analysis estimates that more than 80% of all current innovations within vehicles are based on distributed electronic systems. Critical to the functionality and application domain of such systems is the underlying ...
  • Pena, Joaquin; Rouff, Christopher; Hinchey, Mike; Ruiz-Cortes, Antonio (Association for Computing Machinery, 2011)
    The need to collect new data and perform new science is causing the complexity of NASA missions to continually increase. This complexity needs to be controlled via new technological advancements and balanced with a reduction ...
  • Ali, Nour; Chen, Fei; Solis, Carlos (IEEE Computer Society, 2012)
    Service Oriented Architecture (SOA) is a promising approach for designing and developing mobile applications. However, SOA concepts need to be combined with mobile principles to fully accommodate their requirements. ...
  • Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2009)
    NASA exploration missions increasingly rely on the concepts of autonomic computing, exploiting these to increase the survivability of remote missions, particularly when human tending is not feasible. This paper presents ...
  • Mattsson, Anders (University of Limerick, 2012)
    A basic premise of Model Driven Development (MDD) is to capture all important design information in a set of formal or semi-formal models which are then automatically kept consistent by tools. The concept however is still ...
  • Pluska, Michal; Sinclair, David (20th European Meeting on Cybernetics and System Research, 2010)
    Embedded system interacting with physical world should be designed with high degree of safety. In most existing design approaches dealing with such systems verification is done afterwards what may lead to redesign problems. ...
  • Mattsson, Anders; Lundell, Bjorn; Lings, Brian (2008)
    Current techniques for modelling software architecture do not support the modelling of architectural design rules, which are recognized as important design artefacts by current research in software architecture. This is a ...
  • Carroll, Noel; Haque, Rafiqul; Richardson, Ita; Whelan, Eoin (Springer, 2011)
    This paper is concerned with understanding the complex nature of service network environments with particular attention on exploring business transactions across supply chains. Although business transactions have been ...
  • O'Leary, Pádraig; Buckley, Patrick; Richardson, Ita (Springer, 2013)
    Connected Health involves the use of ICT to improve healthcare quality and outcomes. In a connected heath environment, stakeholders can struggle to make best use of this information coming from a variety of sources. Given ...
  • 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 ...
  • Beg, Arshad; Butterfield, Andrew (2010)
    We present our experience of working with the Failures-Divergence Refinement (FDR) toolkit while extending our modelling of the behaviour of Flash Memory. This effort is a step towards the low-level modelling of data-storage ...
  • 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 ...
  • Ali, Nour; Ali Babar, Muhammad (IEEE Computer Society, 2009)
    Mobile applications need to dynamically adapt to requirements of new environments (or locations) as users and their devices continuously move. Service Oriented Architecture (SOA) is a recent approach for designing and ...
  • O'Brien, Michael P.; Buckley, Jim (IEEE Computer Society, 2005)
    Information seeking has been recognised as a core subtask in software maintenance. This paper reviews, merges, and adapts existing information seeking models for different domains to propose a non-linear information-seeking ...
  • Agerfalk, Par J.; Brinkkemper, Sjaak; Henderson-Sellers, Brian; Karlsson, Fredrik; Kelly, Steven; Ralyte, Jolita (Springer, 2007)
    Although the Method Engineering (ME) research community has reached considerable maturity, it has not yet been able to agree on the granularity and definition of the configurable parts of methods. This state of affairs ...
  • Pasquale, Liliana; Spoletini, Paola (IEEE Computer Society, 2011)
    Service compositions are an important family of self-adaptive systems, which need to cope with the variability of the environment (e.g., heterogeneous devices, changing context), and react to unexpected events (e.g., ...
  • 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 DSpace


Browse

My Account

Statistics