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:

  • Gancarski, Pawel; Butterfield, Andrew (Springer, 2009)
    This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked systems. The key result presented here is a ...
  • Cahill, Vinny; Meier, Rene; Harrington, Anthony (Trinity College Dublin, 2005)
    Integrating individual intelligent transportation systems into comprehensive platforms is a key challenge faced by transport authorities in the provision of optimal service s to users. The use of an ITS architecture ...
  • Pahl, Claus (Springer-Verlag, 2010)
    With software services becoming a strategic capability for the software sector, software architecture needs to address integration problems to help services to collaborate and coordinate their activities. The increasing ...
  • John, Jose; Wang, MingXue; Pahl, Claus (Springer-Verlag, 2010)
    Service-oriented architecture is an architectural approach that can be applied for building autonomous service systems dynamically to satisfy on-demand business requests. During the execution of service compositions, ...
  • Basri, Shuib; O'Connor, Rory V. (2010)
    Software development projects always involve knowledge intensive exchanges. Therefore, the influence of well-organized software development knowledge process could prevent organizations from suffering from the knowledge ...
  • Fox, Jorge; Clarke, Siobhán (Association of Computing Machinery, 2009)
    In this work, we compare current approaches to dynamic adaptation (DA) and identify the need for further research on mechanisms for DA, which should allow for higher compositionality and flexibility. Moreover, after exploring ...
  • O'Connor, Rory V.; Basri, Shuib; Coleman, Gerry (Springer-Verlag, 2010)
    This paper compares and contrasts the results of two similar studies into the software process practices in Irish Small and Very Small Enterprises. The first study contains rich findings in relation to the role and influence ...
  • Liu, Yu; Meier, Rene (University of Oslo, 2008)
    Feature interaction describes a situation where the combination of two or more services that individually perform correctly results in unexpected and possibly adverse behaviour. Such feature interaction issues have first ...
  • Wang, Xiaofeng; Vidgen, Richard (Palgrave McMillan, 2006)
    New technologies, notably service oriented architectures and web services, are enabling a third wave of business process management (BPM). Supporters claim that BPM is informed by complexity theory and that business ...
  • Hamilton, Geoff W.; Mendel-Gleason, Gavin E. (Meta2010, 2010)
    In this paper, we give a graph-based definition of the distillation transformation algorithm. This definition is made within a similar framework to the positive supercompilation algorithm, thus allowing for a more in-depth ...
  • Shannon, Ross; Quigley, Aaron; Nixon, Paddy (Association for Computing Machinery, 2010)
    Network visualisations use clustering approaches to simplify the presentation of complex graph structures. We present a novel application of clustering algorithms, which controls the visual arrangement of the vertices in ...
  • Clarke, Paul; O'Connor, Rory V. (2010)
    The quality of the software development process directly affects the quality of the software product. To be successful, software development organisations must respond to changes in technology and business circumstances, ...
  • Dobson, Simon; Nixon, Paddy; Coyle, Lorcan (IEEE Computer Software Society, 2007)
    Event-based systems are a popular substrate for distributing information derived from sensors to be used in driving adaptive behaviour. This paper argues that using events directly provides a poor model of context, and ...
  • Yilmaz, Murat; O'Connor, Rory V.; Collins, J.J. (Springer-Verlag, 2010)
    We introduce the novel concept of applying economic mechanism design to software development process, and aim to find ways to adjust the incentives and disincentives of the software organization to align them with the ...
  • Beg, Arshad; Butterfield, Andrew (2010)
    Following the development of formalisms based on data and behavioural aspects of the system, there are number of attempts in which these two formalisms are mixed together to get benefit of both paradigms. 'Circus' being a ...
  • Linehan, Eamonn; Clarke, Siobhán (DATE10, 2010)
    Recent advances in both the capabilities and accessibility of embedded systems have resulted in the potential to build increasingly complex systems that consequently are difficult to develop, test and deploy. Model-driven ...
  • Yilmaz, Murat; O'Connor, Rory V. (PROFES 2010, 2010)
    In this paper, we introduce the novel approach of employing the economic mechanism design concept in the software development process, and investigate methods to create and adjust the incentives and disincentives of the ...
  • Butterfield, Andrew; Freitas, Leo; Woodcock, Jim (Elsevier, 2007)
    We present second steps in the construction of formal models of NAND flash memory, based on a recently emerged open standard for such devices. The model is intended as a key part of a pilot project to develop a verified ...
  • Conboy, Kieran; Fitzgerald, Brian (Association for Computing Machinery, 2010)
    It has long been acknowledged that software methods should be tailored if they are to achieve optimum effect.However comparatively little research has been carried out to date on this topic in general, and more notably, ...
  • 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. ...

Search DSpace


Browse

My Account

Statistics