Últimos itens adicionados do Acervo: University of Limerick

A University of Limerick é uma universidade pública na cidade de Limerick, Irlanda. Foi fundada em 1972.

Página 9 dos resultados de 4241 itens digitais encontrados em 0.002 segundos

Managing the new venture

Birdthistle, Naomi; Hynes, Briga
Fonte: Oak Tree Press Publicador: Oak Tree Press
Tipo: Book chapter; all_ul_research; ul_published_reviewed; none
Português
peer-reviewed

Property disputes between co-owning cohabitees — a conveyancer’s perspective

Woods, Una
Fonte: Taylor and Francis Publicador: Taylor and Francis
Tipo: Article; all_ul_research; ul_published_reviewed; none
Português
peer-reviewed

Unilateral severance of joint tenancies — the case for abolition

Woods, Una
Fonte: Taylor and Francis Publicador: Taylor and Francis
Tipo: Article; all_ul_research; ul_published_reviewed; none
Português
peer-reviewed

Disciplined methods of software specifications: a case study

Baber, Robert L.; Parnas, David Lorge; Vilkomir, Sergiy A.; Harrison, Paul; O'Connor, Tony
Fonte: IEEE Computer Society Publicador: IEEE Computer Society
Tipo: Conference item; all_ul_research; none
Português
non-peer-reviewed; We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and to help practitioners who want to apply such methods by allowing them to pick the best one for their problem. The object for the case study is software used by Dell Products for testing the functionality of the keyboards on notebook computers. Starting from informal documents, we developed a variety of tabular representations of finite state machine specifications and tabular trace specifications. We found that the discipline required by these methods raised issues that had never been considered and resulted in documents that were both more complete and much clearer. The various tabular representations are compared from a user’s point of view, i.e., clarity, consistency, unambiguity, completeness, suitability, etc.

'Loosely-coupled' consistency between agent-oriented conceptual models and Z specifications

Krishna, Aneesh; Ghose, Aditya K.; Vilkomir, Sergiy A.
Fonte: University of Limerick Publicador: University of Limerick
Tipo: Conference item; all_ul_research; none
Português
non-peer-reviewed; Agent-oriented conceptual modelling (AOCM) is a relatively new technique that offers significant benefits in the modelling and development of complex computer systems. It is highly effective in answering questions such that what are the main goals of the system, how key actors depend on each other, and what alternatives exist. A formal method can benefit any stage of the software development lifecycle and improves the quality of the computer systems. The paper defines an approach that allows to complement requirements modelling notations with formal specifications, while preserving the consistency between them.

Evaluation of automated testing coverage: a case study of wireless secure connection software testing

Vilkomir, Sergiy A.; Tips, Paul; Parnas, David Lorge; Monahan, J.; O'Connor, Tony
Fonte: University of Limerick Publicador: University of Limerick
Tipo: Conference item; all_ul_research; none
Português
non-peer-reviewed

Segregated failures model for availability evaluation of fault-tolerant systems

Vilkomir, Sergiy A.; Parnas, David Lorge; Mendiratta, Veena B.; Murphy, Eamonn
Fonte: Australian Computer Society, Inc. Publicador: Australian Computer Society, Inc.
Tipo: Conference item; all_ul_research; none
Português
non-peer-reviewed; This paper presents a method of estimating the availability of fault-tolerant computer systems with several recovery procedures. A segregated failures model has been proposed recently for this purpose. This paper provides further analysis and extension of this model. The segregated failures model is compared with a Markov chain model and is extended for the situation when the coverage factor is unknown and failure escalation rates must be used instead. This situation is illustrated in detail by estimating availability of a Lucent Technologies Reliable Clustered Computing architecture. For this example, numeric values are provided for availability indexes and the contribution of each recovery procedure to total system availability is analysed.

Software product lines: what to do when enumeration won't work

Parnas, David Lorge
Fonte: University of Limerick Publicador: University of Limerick
Tipo: Conference item; all_ul_research; none
Português
non-peer-reviewed; The history of research on the development of program-families is briefly reviewed. Two distinct problems, configuration-management and family-design are identified. It is explained that, while software configuration-management is not fundamentally different from configurationmanagement for other products, in practice, inadequate attention to family-design exacerbates all problems associated with developing and maintaining program families. It is suggested that although enumeration is useable for configuration-management, product-line design by enumeration is not generally feasible. An alternative approach, family member characterization using abstract documentation, is discussed. This approach is practical for family-design and can make configuration-management easier. The advantages of designing an interface in terms of programs over an interface expressed as a data structure using conventions such as XML are also discussed.

The role of inspection in software quality assurance

Parnas, David Lorge; Lawford, Mark
Fonte: IEEE Computer Society Publicador: IEEE Computer Society
Tipo: Article; all_ul_research; ul_published_reviewed; none
Português
peer-reviewed

Inspection’s role in software quality assurance

Parnas, David Lorge; Lawford, Mark
Fonte: IEEE Computer Society Publicador: IEEE Computer Society
Tipo: Article; all_ul_research; ul_published_reviewed; none
Português
peer-reviewed

The limits of empirical studies of software engineering

Parnas, David Lorge
Fonte: IEEE Computer Society Publicador: IEEE Computer Society
Tipo: Conference item; all_ul_research; none
Português
non-peer-reviewed; Some advocates of empirical studies of software engineeringappear to be claiming that empirical studies alone cantellus how we should do software development.This paperargues that what can be learned from empirical studies,while important, is very limited.Mathematical studies andempirical studies must be seen as mutually supportiveways to increase our knowledge of software developmentmethods.The role of empirical studies should be limited toconfirming that what works in theory can actually be used(and useful) in practice.

Co-evolution of complementary formal and informal requirements

Krishna, Aneesh; Ghose, Aditya K.; Vilkomir, Sergiy A.
Fonte: IEEE Computer Society Publicador: IEEE Computer Society
Tipo: Conference item; all_ul_research; none
Português
Non-peer-reviewed; Agent-oriented Conceptual Modelling (AoCM, as exemplified by the i* notation [5], represents an interesting approach to modelling early phase requirements that is particularly effective in capturing organizational contexts, stakeholder intentions and rationale. There are significant benefits in using formal methods for the development of computer systems and improving their quality. We propose a methodology which permits the use of these two otherwise disparate approaches in a complementary and synergistic fashion for requirements engineering.

Specification of software component requirements using the trace function method.

Quinn, Colm; Vilkomir, Sergiy A.; Parnas, David Lorge; Kostic, Srdjan
Fonte: IEEE Computer Society Publicador: IEEE Computer Society
Tipo: Conference item; all_ul_research; none
Português
non-peer-reviewed; This paper describes the application of the Trace Function Method to specify the requirements of a software component. We illustrate the method on a software component of a telecommunications system that was developed by Ericsson. Beginning with incomplete informal descriptions, we analysed the requirements of the system and wrote a description that contains all pertinent information in one easily used reference document. The resulting documentation is more compact and complete than traditional software documentation and provides precise information that will be useful for testing and inspection.

'Taking Responsibility for the abortion issue: thoughts on legislative reform in the aftermath of A, B and C’.

Schweppe, Jennifer
Fonte: Thomson Round Hall Publicador: Thomson Round Hall
Tipo: info:eu-repo/semantics/article; all_ul_research; ul_published_reviewed
Português
peer-reviewed; Discusses the issue of abortion in Ireland following the European Court of Human Rights decision in A v Ireland (25579/05) and suggests that Ireland is under an obligation to introduce legislation which reconciles the right to life of the unborn and that of the mother. Considers, using the salient principles explored in the Irish Supreme Court ruling in Attorney General v X, some of the issues that future legislation should address, namely: (1) in what circumstances is a woman entitled to an abortion, (2) the rights of the parents of a pregnant girl; and (3) the obligations of the medial profession.

Prototyping languages related constructs and tools with Squeak

Bergel, Alexandre; Denker, Marcus
Fonte: University of Limerick Publicador: University of Limerick
Tipo: info:eu-repo/semantics/conferenceObject; all_ul_research; ul_published_reviewed
Português
peer-reviewed; Prototyping new programming languages is often assimilated as a task requiring heavy expertise in parsing and compilation. This paper argues that choosing as a host platform a language having advanced reflective capabilities helps in reducing the effort and time spent on developing new language related constructs and tools. The Squeak Smalltalk implementation provides very expressive reflective facilities. In this paper we focus on having methods as first class entities, enabling methods manipulation as plain standard objects and reification of method execution. Powerful language related tools and efficient new programming constructs can be quickly implemented. ByteSurgeon, a bytecode manipulation library, and FacetS, an aspect mechanism, serve as illustrations.

Distilling scenarios from patterns for software architecture evaluation

Zhu, Liming; Ali Babar, Muhammad
Fonte: IEEE Computer Society Publicador: IEEE Computer Society
Tipo: info:eu-repo/semantics/conferenceObject; all_ul_research; ul_published_reviewed
Português
peer-reviewed; Software architecture (SA) evaluation is a quality assurance technique that is increasingly attracting significant research and commercial interests. A number of SA evaluation methods have been developed. Most of these methods are scenario-based, which relies on the quality of the scenarios used for the evaluation. Most of the existing techniques for developing scenarios use stakeholders and requirements documents as main sources of collecting scenarios. Recently, architectures of large software systems are usually composed of patterns and styles. One of the purposes of using patterns is to develop systems with predictable quality attributes. Since patterns are documented in a format that requires the inclusion of problem, solution and quality consequences, we observed that scenarios are, though as informal text, pervasive in patterns description, which can be extracted and documented for the SA evaluation. Thus, we claim that the patterns can be another source of collecting quality attributes sensitive scenarios. This position paper presents arguments and examples to support our claim.

Architectural views through collapsing strategies

Stoermer, Cristoph; O'Brien, Liam; Verhoef, Chris
Fonte: IEEE Computer Society Publicador: IEEE Computer Society
Tipo: info:eu-repo/semantics/conferenceObject; all_ul_research; ul_published_reviewed
Português
peer-reviewed; Architectural views help to better understand and analyze software from particular stakeholder perspectives. Views are abstractions that are generated in an architecture reconstruction effort with collapsing strategies. Collapsing is the mechanism to aggregate detailed source information into architectural elements that constitute the architectural views. The elements are presented in a particular viewtype and style. Traditional software architecture reconstruction tools assume that source elements are collapsed into mostly one container. However, the Satellite Tracking System case study, outlined in this paper, required the introduction of multi-collapses. Multi-collapses allow the aggregation of one element into multiple containers. Multi-collapses are either the result of applying incorrect collapsing strategies or an excellent starting point for software analysis to gain better understanding of existing software. We describe implementation and visualization aspects of multi-collapses within an architecture reconstruction environment.

Towards scatterbox: a context-aware message forwarding platform

Knox, Stephen; Clear, Adrian K.; Shannon, Ross; Coyle, Lorcan; Dobson, Simon; Quigley, Aaron; Nixon, Paddy
Fonte: University of Limerick Publicador: University of Limerick
Tipo: info:eu-repo/semantics/conferenceObject; all_ul_research; ul_published_reviewed
Português
peer-reviewed; Context-aware systems that rely on mobile devices for user interaction must address the low bandwidth of both communications and more importantly the user’s limited attention, which will typically be split between several competing tasks. Content delivery in such systems must be adapted closely to users’ evolving situations and shifting priorities, in a way that cannot be accomplished using static filtering determined a priori. We propose a more dynamic contextdriven approach to content delivery, that integrates information from a wide range of sources. We demonstrate our approach on a system for adaptive message prioritisation and forwarding.

Visualising network communications to evaluate a data dissemination method for ubiquitous systems

Shannon, Ross; Williamson, Graham; Quigley, Aaron; Nixon, Paddy
Fonte: University of Limerick Publicador: University of Limerick
Tipo: info:eu-repo/semantics/conferenceObject; all_ul_research; ul_published_reviewed
Português
peer-reviewed; Ubiquitous computing systems which include wireless devices in their networks rely on sometimes frag- ile ah-hoc communication channels between heteroge- neous devices to operate. To maintain stability and ro- bustness, the contextual information contained on each node present in the system needs to be disseminated be- tween nodes, so that in the event of a node failure, the data is still available to the wider network. One approach to disseminating information around topologically un- stable networks is a type of epidemic algorithm called gossiping. However, developing an e cient, resilient al- gorithm to operate e ectively in such an environment is an ongoing challenge. We have developed a visualisation tool that supports the evaluation of gossiping methods by enabling the algorithm designer to view the visual evolution of a network of nodes, from which they can monitor the stability of information within the network. By using this tool the designer can watch as information is propagated throughout their network, and see the ef- fects of events such as node failures, so that they can make informed changes to the design of their algorithms.

Modelling architectural design rules in UML

Mattsson, Anders; Lundell, Bjorn; Lings, Brian
Fonte: University of Limerick Publicador: University of Limerick
Tipo: info:eu-repo/semantics/conferenceObject; all_ul_research; ul_published_reviewed
Português
peer-reviewed; 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 problem in the context of Model-Driven Development in which it is assumed that major design artefacts are represented as formal or semi-formal models. This paper addresses this problem by proposing how architectural design rules could be expressed in UML in a meta-model for the system model