University of Limerick Institutional Repository

Browsing LERO - UL authors by Title

DSpace Repository

Browsing LERO - UL authors by Title

Sort by: Order: Results:

  • Mid-career employees embracing technology (MEET): a case study 
    Fitzgerald, Brian; Neville, Karen (Informing Science Institute, 2002)
    The importance of information technology (IT) for modern business and, indeed, research in general cannot be questioned, as its sheer pervasiveness adequately attests. However, simplistic views of technological utopianism ...
  • MILPIBEA: Algorithm for multi-objective features selection in (evolving) software product lines 
    Saber, Takfarinas; Brevet, David; Botterweck, Goetz; Ventresque, Anthony (Springer, 2020)
    Software Product Lines Engineering (SPLE) proposes techniques to model, create and improve groups of related software systems in a systematic way, with different alternatives formally expressed, e.g., as Feature Models. ...
  • Misuse case techniques for mobile privacy 
    Omoronyia, Inah; Salehie, Mazeiar; Ali, Raian; Kaiya, Haruhiko; Nuseibeh, Bashar (2011)
  • Mobile home automation-merging mobile value added services and home automation technologies 
    Rosendahl, Andreas; Hampe, Felix J.; Botterweck, Goetz (IEEE Computer Society, 2007)
    In this paper we study mobile home automation, a field that emerges from an integration of mobile application platforms and home automation technologies. In a conceptual introduction we first illustrate the need for such ...
  • Mobile RFID management - an application scenario on the handling of industrial liquid containers 
    Botterweck, Goetz; Hampe, Felix J.; Westenberg, Sven (2007)
    This paper deals with concepts, challenges and design alternatives for the application of RFID technology within an industry context. We are especially interested in the combination of RFID technology with positioning ...
  • Model checking for autonomic systems specified with ASSL 
    Vassev, Emil; Hinchey, Mike; Quigley, Aaron (2009)
    Autonomic computing augurs great promise for deep space exploration missions, bringing onboard intelligence and less reliance on control links. As part of our research on the ASSL (Autonomic System Specification Language) ...
  • Model driven configuration of fault tolerance solutions for component-based software system 
    Wu, Yihan; Huang, Gang; Song, Hui; Zhang, Ying (Springer, 2012)
    Fault tolerance is very important for complex component-based software systems, but its configuration is complicated and challenging. In this paper, we propose a model driven approach to semi-automatic configuration ...
  • Model driven development and software architecture in embedded systems 
    Mattsson, Anders (2008)
  • Model driven support for the service oriented architecture modeling language 
    Ali, Nour; Nellipaiappan, Rukmani; Chandran, Rajalaxmi; Ali Babar, Muhammad (Association for Computing Machinery, 2010)
    Service Oriented Architecture (SOA) is an architectural style that is widely used in distributed and dynamic systems. The Service oriented architecture Modeling Language (SoaML) is an OMG standard for modelling SOA independent ...
  • Model-based testing design for embedded automotive software 
    Mjeda, Anila; McElligott, Pat; Ryan, Kevin; Thiel, Steffen (SAE International, 2009)
    The ever increasing complexity of embedded automotive software is not matched by the current development and test processes of automotive embedded software and the latter have become the limiting factor. A model-based ...
  • Model-based verification of embedded software 
    Shokry, Hesham; Hinchey, Mike (IEEE Computer Society, 2009)
    Current advances in model-based develop-ment technology indicate that embedded software developers can expect more tool support for the whole embedded-software spectrum, from applications to system software.
  • Model-centered customizable architectural design decisions management 
    Chen, Lianping; Ali Babar, Muhammad; Liang, Haiqi (2010)
    Architectural Design Decisions (ADD) form a key element of Architectural Knowledge (AK), which plays a vital role in the software architecture process. To help manage ADDs, several tools have been proposed. However, most ...
  • Model-driven automation for simulation-based functional verification 
    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 ...
  • Model-driven derivation of product architectures 
    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 ...
  • Model-driven development and evolution of customized user interfaces 
    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 ...
  • Model-driven development of interactive and integrated 2D and 3D user interfaces using MML 
    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. ...
  • Model-driven development of interactive multimedia applications with MML 
    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 ...
  • Model-driven planning and monitoring of long-term software product line evolution 
    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 ...
  • Model-driven support for product line evolution on feature level 
    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 ...
  • Modeling and verification of a time-triggered networking protocol 
    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 ...

Search ULIR


Browse

My Account

Statistics