Browsing LERO by Title

Now showing items 608-627 of 861

Rapid GUI development on legacy systems: a runtime model-based solution

Song, Hui; Gallagher, Michael; Clarke, Siobhán (Association for Computing Machinery, 2012)

Graphical User Interface (GUI) is a common feature for modern software systems, while there are still many legacy systems that do not have GUIs, but only provide text and commands for user interaction. In this paper, ...
Reachability analysis for annotated code

Janota, Mikolas; Grigore, Radu; Moskal, Michal (Association for Computing Machinery, 2007)

We devised a reachability analysis that exploits code annotations and implemented it as a component of the extended static checker ESC/Java2. The component reports unchecked code and a class of errors previously undetected. ...
Reactive model-based testing design for embedded automotive software

Mjeda, Anila (2008)
Real-time sensor signal capture from a harsh environment

Purcell, Mark; Vasudevan, Aravind; Gregg, David (IEEE Computer Society, 2012)

Understanding the baseline underwater acoustic signature of an offshore location is a necessary, early step in formulating an environmental impact assessment of wave energy conversion devices. But in order to even begin ...
Reasoning about feature models in higher-order logic.

Janota, Mikolas; Kiniry, Joseph R. (IEEE Computer Society, 2007)

A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modeling approaches found in the literature. This ...
Reasoning with contextual requirements: detecting inconsistency and conflicts

Ali, Raian; Dalpiaz, Fabiano; Giorgini, Paolo (Elsevier, 2013)

CONTEXT. The environment in which the system operates, its context, is variable. The autonomous ability of a software to adapt to context has to be planned since the requirements analysis stage as a strong mutual ...
RE challenges for geographically distributed stakeholders

Caulfield, Irene; Power, Norah (2008)

This paper describes preliminary results of a longitudinal case study of an Irish based automotive aftermarket company engaged in software development with multiple stakeholders that are geographically separated. Due to ...
The reconstruction of portable computers: On the flexibility of mobile computing in mobile activities

Wiredu, Gamel O. (2005)

The remote distribution of contemporary activities has direct implications for the mobility of humans and associated actions. Remote distribution inherently entails parameters such as the mobility of individuals, artefacts, ...
Reducing electricity costs in a dynamic pricing environment

Galván-López, Edgar; Harris, Colin; Dusparic, Ivana; Clarke, Siobhán; Cahill, Vinny (IEEE Computer Society, 2012)

Smart Grid technologies are becoming increasingly dynamic, so the use of computational intelligence is becoming more and more common to support the grid to automatically and intelligently respond to certain requests ...
A reference model for successful distributed development of software systems

Lings, Brian; Lundell, Bjorn; Agerfalk, Par J.; Fitzgerald, Brian (IEEE Computer Society, 2007)

Distributed Development (DD) of Software Systems is an issue of increasing significance for organisations today, all the more so given the current trend towards globalisation. In this paper we present a reference model ...
Regulated software development– an onerous transformation

Cawley, Oisín; Wang, Xiaofeng; Richardson, Ita (2012)

Software development within regulated settings is becoming more and more common place. Compliance typically involves saying what you do and doing what you say. However, in some domains, especially safety-critical ones, it ...
Reporting empirical research in open source software: the state of practice.

Stol, Klaas-Jan; Ali Babar, Muhammad (Springer, 2009)

Background: The number of reported empirical studies of Open Source Software (OSS) has continuously been increasing. However, there has been no effort to systematically review the state of the practice of reporting empirical ...
Representing knowledge in robotic systems with KnowLang

Vassev, Emil; Hinchey, Mike (2011)

Building intelligent robotic systems is both stirring and extremely challenging. Researchers have realized that robot intelligence can be achieved with a logical approach, but still AI struggles to connect that abstract ...
Requirements and initial model for KnowLang –a language for knowledge representation in autonomic service-component ensembles

Vassev, Emil; Hinchey, Mike; Gaudin, Benoit; Nixon, Paddy (Association for Computing Machinery, 2011)

Autonomic Service-Component Ensembles (ASCENS) is a class of multi-agent systems formed as mobile, intelligent and open-ended swarms of special autonomic service components capable of local and distributed reasoning. Such ...
Requirements-based visualization tools for software maintenance and evolution

Buckley, Jim (IEEE Computer Society, 2009)

Developing well-formed software visualization tools requires increased empirical study of programmers’ information requirements.
Requirements-driven adaptive security: protecting variable assets at runtime

Salehie, Mazeiar; Pasquale, Liliana; Omoronyia, Inah; Ali, Raian; Nuseibeh, Bashar (2012)

Security is primarily concerned with protecting assets from harm. Identifying and evaluating assets are therefore key activities in any security engineering process – from modeling threats and attacks, discovering ...
Requirements-driven collaborative choreography customization

Mahfouz, Ayman; Barroca, Leonor; Laney, Robin; Nuseibeh, Bashar (Association for Computing Machinery, 2009)

Evolving business needs call for customizing choreographed interactions. However, conventional choreography description languages provide only a partial view of the interaction. Business goals of each participant and ...
Requirements-driven design of service-oriented interactions

Mahfouz, Ayman; Barroca, Leonor; Laney, Robin; Nuseibeh, Bashar (IEEE Computer Society, 2010)

Service-oriented architecture (SOA) enables interenterprise service interactions. Services provide platform-independent abstractions around software systems, thereby enabling interoperability between heterogeneous systems. ...
Requirements elicitation in open source software development: a case study

Noll, John; Liu, Wei-Ming (Association for Computing Machinery, 2010)

A growing body of empirical research has examined large, successful open source software projects such as the Linux kernel, Apache web server, and Mozilla web browser. Do these results extend to small open source efforts ...
Requirements evolution: from assumptions to reality

Ali, Raian; Dalpiaz, Fabiano; Giorgini, Paolo; Souza, Victor E (2011)

Requirements evolution is a main driver for systems evolution. Traditionally, requirements evolution is associated to changes in the users’ needs and environments. In this paper, we explore another cause for requirements ...

Now showing items 608-627 of 861

Search DSpace

Advanced Search

Browse

All of DSpace
This Community
- Authors
- Titles
- Subjects

Browsing LERO by Title

DSpace/Manakin Repository

Browsing LERO by Title

Search DSpace

Browse

All of DSpace

This Community

My Account