Exploring heterogeneous mobile architectures with a high-level programming model

W de Carvalho, G Andrade, P Caldeira… - 2017 29th …, 2017 - ieeexplore.ieee.org
The development of new technologies is setting a new era characterized, among other
factors, by the rise of sophisticated mobile devices containing CPUs and GPUs. This …

[PDF][PDF] Towards simplification of the software development process-the'Hyper-code abstraction'

ET Zirintis - 2000 - research-repository.st-andrews.ac …
Following Aristotle's theory of substances and accidents, the difficulties in developing
software can be categorised into essences and accidents. Essences are the conceptual …

Using generative programming to visualise hypercode in complex and dynamic systems

K Mickan, R Morrison… - 27th …, 2004 - research-repository.st-andrews.ac …
The research presented here takes place in the context of the EC Funded ArchWare project
which focuses on innovative architecture-centric languages, frameworks and tools for …

Unifying static and dynamic approaches to evolution through the compliant systems architecture

K Falkner, H Detmold, D Howard… - 37th Annual Hawaii …, 2004 - ieeexplore.ieee.org
Support for evolution can be classified as static or dynamic. Static evolvability is principally
concerned with structuring systems as separated abstractions. Dynamic evolvability is …

A flexible, policy-aware middleware system

SM Walker - 2006 - research-repository.st-andrews.ac …
Middleware augments operating systems and network infrastructure to assist in the creation
of distributed applications in a heterogeneous environment. Current middleware systems …

Towards adaptable and adaptive policy-free middleware

A Dearle, G Kirby, S Norcross, A Macdonald… - arXiv preprint arXiv …, 2010 - arxiv.org
We believe that to fully support adaptive distributed applications, middleware must itself be
adaptable, adaptive and policy-free. In this paper we present a new language-independent …

Architecture for compliance analysis of distributed service based systems

J Sinclair, B Hudzia, M Lindner, A Stewart… - … Conference on Cloud …, 2011 - scitepress.org
Businesses today are required to comply with a litany of legislation, regulations and
standards. However, with an increasing utilisation of the internet for delivering products as …

Flexible static semantic checking using first-order logic

S Rura, B Lerner - European Workshop on Software Process Technology, 2003 - Springer
Static analysis of software processes is important in assessing the correctness of processes,
particularly since their long duration and distributed execution make them difficult to test. We …

A compliant environment for enacting evolvable process models

W Seet, B Warboys - European Workshop on Software Process …, 2003 - Springer
Process models have an inherent need to rapidly evolve in order to maintain
synchronization with the human domain that they are supporting. To support the required …

The Impact of Software‐Architecture Compliance on System Evolution

RM Greenwood, K Mayes, W Seet… - … : Theory and Practice, 2006 - Wiley Online Library
Businesses need software systems that support their ability to evolve in response to their
rapidly changing environment. Legacy systems that limit a business's adaptability are seen …