Search results for " Software Engineering"
showing 10 items of 582 documents
An organisational approach to engineer emergence within holarchies
2010
An open issue in self-organisation is how to engineer emergent behaviours. This issue is also of interest for engineering holonic multi-agent systems as any level of a holarchy is dependant of the emergent behaviours of its sub-levels. In order to tackle this specific feature of holonic multi-agent systems, the capacity concept which abstracts a know-how from its concrete realisation is introduced. The use of this concept is illustrated in this paper through a case study using the ASPECS development process which enables the analysis, design, implementation and deployment of holonic multi-agent systems and integrates the capacity as a core concept of it is underlying metamodel, called capac…
How to combine tools and methods in practice— a field study
1990
In spring 1989 we surveyed the experiences of some Finnish companies in methodology modelling (metamodelling) and adaptation of tools and methodologies to each other (methodology adaptation). The companies represented software production, banking, wood and metal industry, and wholesale trade. The study was carried out as a field study where we interviewed method developers, systems analysts and their supervisors. The goal of the survey was to find out whether there was need for metamodelling or methodology adaptation in general and how this need had been satisfied. The study shows that a little experience had been gained in adapting data dictionaries to methodologies but no such attempts ha…
From Strategy to Code: Achieving Strategical Alignment in Software Development Projects Through Conceptual Modelling
2021
In this article we propose S2C, a strategy-to-code methodological approach to integrate organisational, business process, and information system modelling levels to support strategic alignment in software development. Through a model-driven approach and under the Conceptual-Model Programming paradigm, the proposal supports the semi-automatic generation of working software, as well as traceability among the modelling levels. Via a working example, we illustrate how strategic definitions can be traced into specific software components by the integration of three modelling methods: Lite*, for modelling strategic reaction to external influences, Communication Analysis, for business process mode…
An inductive learning perspective on automated generation of feature models from given product specifications
2018
For explicit representation of commonality and variability of a product line, a feature model is mostly used. An open question is how a feature model can be inductively learned in an automated way from a limited number of given product specifications in terms of features.We propose to address this problem through machine learning, more precisely inductive generalization from examples. However, no counter-examples are assumed to exist. Basically, a feature model needs to be complete with respect to all the given example specifications. First results indicate the feasibility of this approach, even for generating hierarchies, but many open challenges remain.
And Now for Something Completely Different: Running Lisp on GPUs
2018
The internal parallelism of compute resources increases permanently, and graphics processing units (GPUs) and other accelerators have been gaining importance in many domains. Researchers from life science, bioinformatics or artificial intelligence, for example, use GPUs to accelerate their computations. However, languages typically used in some of these disciplines often do not benefit from the technical developments because they cannot be executed natively on GPUs. Instead existing programs must be rewritten in other, less dynamic programming languages. On the other hand, the gap in programming features between accelerators and common CPUs shrinks permanently. Since accelerators are becomi…
The long and winding road: Accidents and tinkering in software standardization
2021
Software is based on universal principles but not its development. Relating software to hardware is never automatic or easy. Attempts to optimize software production and drastically reduce their costs (like in hardware) have been very restricted. Instead, highly-skilled and experienced individuals are ultimately responsible for project success. The long and convoluted path towards useful and reliable software is often plagued by idiosyncratic accidents and emergent complexity. It was expected that software standardisation would remove these sources of unwanted diversity by aiming to controllable development processes, universal programming languages, and toolkits of reusable software compon…
Investigating the causal mechanisms underlying the customization of software development methods
2017
Over the last four decades, software development has been one of the mainstream topics in the Software Engineering and Information Systems disciplines. Thousands of methods have been put forward offering prescriptions for software development processes. The goal of these methods is to produce high-quality software in a systematic manner. However, it is widely known that these methods are rarely followed as prescribed – developers often modify or skip different steps, practices, or quality rules recommended by software development methods. While a group of previous studies suggests that maximizing the flexibility and leanness of software development processes is the key driver of such custom…
All congruences below stability-preserving fair testing or CFFD
2020
AbstractIn process algebras, a congruence is an equivalence that remains valid when any subsystem is replaced by an equivalent one. Whether or not an equivalence is a congruence depends on the set of operators used in building systems from subsystems. Numerous congruences have been found, differing from each other in fine details, major ideas, or both, and none of them is good for all situations. The world of congruences seems thus chaotic, which is unpleasant, because the notion of congruence is at the heart of process algebras. This study continues attempts to clarify the big picture by proving that in certain sub-areas, there are no other congruences than those that are already known or …
Introducing a novel mesh following technique for approximation-free robotic tool path trajectories
2017
Abstract Modern tools for designing and manufacturing of large components with complex geometries allow more flexible production with reduced cycle times. This is achieved through a combination of traditional subtractive approaches and new additive manufacturing processes. The problem of generating optimum tool-paths to perform specific actions (e.g. part manufacturing or inspection) on curved surface samples, through numerical control machinery or robotic manipulators, will be increasingly encountered. Part variability often precludes using original design CAD data directly for toolpath generation (especially for composite materials), instead surface mapping software is often used to gener…
Hadroproduction of open heavy flavour for PDF analyses
2019
Due to the large masses of the charm and bottom quarks, their production cross sections are calculable within the perturbative QCD. This makes the heavy-quark mesons important observables in high-energy collisions of protons and nuclei. However, the available calculations for heavy-flavored-meson hadroproduction have been somewhat problematic in reliably describing the cross sections across the full kinematic range from zero to very high $p_{\rm T}$. This has put some question marks on the robustness of LHC heavy-flavored-meson measurements in studying the partonic structure of the colliding hadrons and nuclei. Here, we introduce SACOT-$m_{\rm T}$ - a novel scheme for open heavy-flavour had…