University of Limerick Institutional Repository

Browsing LERO - The Irish Software Research Centre by Title

DSpace Repository

Browsing LERO - The Irish Software Research Centre by Title

Sort by: Order: Results:

  • S2T2-Configurator: interactive support for configuration of large feature models 
    Botterweck, Goetz; Pleuss, Andreas (2012)
    S2T2-Configurator is a visual tool for con guration of fea- ture models. In this tool paper, we focus on interactive techniques that support the con guration of large and complex models.
  • Safe artificial intelligence and formal methods (position paper) 
    Vassev, Emil (Springer, 2016)
    In one aspect of our life or another, today we all live with AI. For example, the mechanisms behind the search engines operating on the Internet do not just retrieve information, but also constantly learn how to respond ...
  • Safe stopping of running component-based distributed systems 
    Ghafari, Mohammad; Jamshidi, Pooyan; Shahbazi, Saeed; Haghighi, Hassan (Association for Computing Machinery, 2012)
    Continuous availability of services and low degree of disruption are two inherent necessities for mission-critical software systems. These systems could not be stopped to perform updates because disruption in their ...
  • Safety critical software development – extending quality management system practices to achieve compliance with regulatory requirements 
    Bujok, Andrzej Beniamin; MacMahon, Silvana Togneri; Mc Caffery, Fergal; Whelan, Dick; Mulcahy, Bernard; Rickard, William J (Springer, 2016)
    Software is increasingly being used to provide functionality in safety critical domains. The complexity involved in the development of software for these domains can bring challenges concerned with safety and security. ...
  • Scalability analysis of grammatical evolution based test data generation 
    Anjum, Muhammad Sheraz; Ryan, Conor (ACM, 2020)
    Heuristic-based search techniques have been increasingly used to automate different aspects of software testing. Several studies suggest that variable interdependencies may exist in branching conditions of real-life programs, ...
  • Scalable software testing and verification for industrial-scale systems: the challenges 
    Mjeda, Anila; Botterweck, Goetz (Technische Universität Berlin, Universitätsbibliothek, 2019)
    In this position paper, we argue that more collaborative research is needed to increase the use of research-led verification and testing techniques in industrialscale projects. We focus on the a) practical applicability ...
  • Scaling agile methods to regulated environments: an industry case study 
    Fitzgerald, Brian; Stol, Klaas-Jan; O'Sullivan, Ryan; O'Brien, Donal (IEEE Computer Society, 2013)
    Agile development methods are growing in popularity with a recent survey reporting that more than 80% of organizations now following an agile approach. Agile methods were seen initially as best suited to small, co-located ...
  • Scenarios, quality attributes, and patterns: capturing and using their synergistic relationships for product line architectures 
    Ali Babar, Muhammad (IEEE Computer Society, 2004)
    Typically, architectural choices determine the achievement of desired goals (such as reusability and maintainability) of product line software development. Several methods have been proposed to design and analyze product ...
  • Scheduling research grant proposal evaluation meetings 
    Healy, Patrick (PATAT 2006, 2006)
    In many funding agencies a model is adopted whereby a fixed panel of evaluators evaluate the set of applications. This is then followed by a general meeting where each proposal is discussed by those evaluators assigned ...
  • Scientific workflows with the jABC framework 
    Lamprecht, Anna-Lena; Steffen, Bernhard; Margaria, Tiziana (Springer, 2016)
    The jABC is a framework for process modelling and execution according to the XMDD (eXtreme model-driven design) paradigm, which advocates the rigorous use of user-level models in the software development process and software ...
  • Scoring system utilization through business profiles 
    Iglesias, Jesus Omana; Thorburn, James; Parsons, Trevor; Murphy, John; O'Sullivan, Patrick (IEEE Computer Society, 2011)
    Understanding system utilization is currently a difficult challenge for industry. Current monitoring tools tend to focus on monitoring critical servers and databases within a narrow technical context, and have not been ...
  • A Scrumban integrated gamification approach to guide software process improvement: A Turkish case study 
    Yilmaz, Murat; O'Connor, Rory V. (Sveuciliste Josipa Jurja Strossmayera u Osijeku * Strojarski Fakultet u Slavanskom Brodu, 2016)
    In recent years, there has been an increasing interest in tailoring agile development methodologies by combining different agile practices. The adoption of such a balancing approach requires a systematic customization of ...
  • Searching for novel regression functions 
    Martínez, Yuliana; Galván-López, Edgar (IEEE Computer Society, 2013)
    The objective function is the core element in most search algorithms that are used to solve engineering and scientific problems, referred to as the fitness function in evolutionary computation. Some researchers have ...
  • Second level computer science teacher self-efficacy and how it influences the use of teaching and assessment strategies 
    McInerney, Clare (University of Limerick, 2021)
    As software transforms our world, it has become increasingly impor tant to educate the next generation about the fundamental importance of Computer Science. As a result new Computer Science (CS) curric ula are being ...
  • SecuriTAS: a tool for engineering adaptive security 
    Pasquale, Liliana; Menghi, Claudio; Salehie, Mazeiar; Cavallaro, Luca; Omoronyia, Inah; Nuseibeh, Bashar (Association for Computing Machinery, 2012)
    This paper presents SecuriTAS, a tool to engineer adaptive security. It allows software designers to model security concerns together with the requirements of a system. This model is then used at runtime to analyze changes ...
  • A security assurance framework for networked medical devices 
    Finngegan, Anita; Mc Caffery, Fergal; Coleman, Gerry (Springer, 2013)
    This paper presents work for the development of a framework to assure the security of networked medical devices being incorporated. The paper focuses on one component of the framework, which addresses system development ...
  • Security design patterns in the MASTER workbench 
    Kearney, Paul J.; Sinclair, David; Wagner, Sebastian (2012)
    This paper describes pattern-related aspects of the prototype Protection and Assessment Workbench developed as part of the MASTER EU 7th Framework collaborative research project. The Workbench supports a model-driven ...
  • SEDS-Lite: using open source tools (R, BIRT, MySQL) to report and analyze performance data 
    Trubin, Ignor A; Ghaith, Shadi (2012)
    Statistical Exception Detection System (SEDS) is one of the variations of learning behavior based performance analysis methodology developed, implemented and published by the Authors. This paper takes the main SEDS tools ...
  • A self-adaptive architecture for autonomic systems developed with ASSL. 
    Vassev, Emil; Hinchey, Mike; Quigley, Aaron (2009)
    We address the need to realize a runtime self-modifiable architecture for autonomic systems, specified and generated with the ASSL (Autonomic System Specification Language) framework. This framework generates such systems ...
  • Self-awareness in autonomous nano-technology swarm missions. 
    Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2011)
    NASA is currently exploring swarm-based technologies, targeting the development of prospective exploration missions to explore regions of space, where single large spacecraft would be impractical. Such systems are envisioned ...

Search ULIR


Browse

My Account

Statistics