University of Limerick Institutional Repository

Browsing LERO by Title

DSpace Repository

Browsing LERO by Title

Sort by: Order: Results:

  • Linehan, Eamonn; O'Toole, Eamonn; Clarke, Siobhán (Association for Computing Machinery, 2012)
    Developing testbenches for dynamic functional verification of hardware designs is a software inten- sive process that lies on the critical path of electronic system design. The increasing capabilities of electronic ...
  • Botterweck, Goetz; O'Brien, Liam; Thiel, Steffen (Association for Computing Machinery, 2007)
    Product Derivation is one of the central activities in Software Product Lines (SPL). One of the main challenges of the process of product derivation is dealing with complexity, which is caused by the large number of ...
  • Pleuss, Andreas; Wollny, Stefan; Botterweck, Goetz (Association for Computing Machinery, 2013)
    One of the main benefits of model-driven development of User Interfaces (UIs) is the increase in efficiency and consistency when developing multiple variants of a UI. For instance, multiple UIs for different target ...
  • Pleuss, Andreas; Gracanin, Denis; Zhang, Xiaoyu (Association for Computing Machinery, 2011)
    While there is a lot of research done in the area of 2D or 3D user interfaces (UIs) construction, comparatively little is known about systematic approaches to designing and developing integrated 2D/3D UIs and applications. ...
  • Pleuss, Andreas; Hussmann, Heinrich (Springer, 2011)
    There is an increasing demand for high-quality interactive applications which combine complex application logic with a sophisticated user interface, making use of individual media objects like graphics, animations, 3D ...
  • 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 ...

Search DSpace


Browse

My Account

Statistics