157,594 research outputs found
On Featured Transition Systems
Software Product Lines (SPLs) are families of similar software products built from a common set of features. As the number of products of an SPL is potentially exponential in the number of its features, analysing SPLs is harder than for single software. In this invited paper, we synthesise six years of efforts in alleviating SPL verification and testing issues. To this end, we introduced Featured Transition Systems~(FTS) as a compact behavioural model for SPLs. Based on this formalism, we designed verification algorithms and tools allowing to check temporal properties on FTS, thereby assessing the correct behaviour of all the SPL products. We also used FTS to define test coverage and generation techniques for model-driven SPLs. We also successfully employed the formalism in order to foster mutation analysis. We conclude with future directions on the development of FTS for SPL analysis
Functional Skills Support Programme: Developing functional skills in design and technology
This booklet is part of "... a series of 11 booklets which helps schools to implement functional skills across the curriculum. The booklets illustrate how functional skills can be applied and developed in different subjects and contexts, supporting achievement at Key Stage 3 and Key Stage 4.
Each booklet contains an introduction to functional skills for subject teachers, three practical planning examples with links to related websites and resources, a process for planning and a list of additional resources to support the teaching and learning of functional skills." - The National Strategies website
A review of information flow diagrammatic models for product-service systems
A product-service system (PSS) is a combination of products and services to
create value for both customers and manufacturers. Modelling a PSS based on
function orientation offers a useful way to distinguish system inputs and
outputs with regards to how data are consumed and information is used, i.e.
information flow. This article presents a review of diagrammatic information
flow tools, which are designed to describe a system through its functions. The
origin, concept and applications of these tools are investigated, followed by an
analysis of information flow modelling with regards to key PSS properties. A
case study of selection laser melting technology implemented as PSS will then be
used to show the application of information flow modelling for PSS design. A
discussion based on the usefulness of the tools in modelling the key elements of
PSS and possible future research directions are also presented
Visual and interactive exploration of point data
Point data, such as Unit Postcodes (UPC), can provide very detailed information at fine
scales of resolution. For instance, socio-economic attributes are commonly assigned to
UPC. Hence, they can be represented as points and observable at the postcode level.
Using UPC as a common field allows the concatenation of variables from disparate data
sources that can potentially support sophisticated spatial analysis. However, visualising
UPC in urban areas has at least three limitations. First, at small scales UPC occurrences
can be very dense making their visualisation as points difficult. On the other hand,
patterns in the associated attribute values are often hardly recognisable at large scales.
Secondly, UPC can be used as a common field to allow the concatenation of highly
multivariate data sets with an associated postcode. Finally, socio-economic variables
assigned to UPC (such as the ones used here) can be non-Normal in their distributions
as a result of a large presence of zero values and high variances which constrain their
analysis using traditional statistics.
This paper discusses a Point Visualisation Tool (PVT), a proof-of-concept system
developed to visually explore point data. Various well-known visualisation techniques
were implemented to enable their interactive and dynamic interrogation. PVT provides
multiple representations of point data to facilitate the understanding of the relations
between attributes or variables as well as their spatial characteristics. Brushing between
alternative views is used to link several representations of a single attribute, as well as
to simultaneously explore more than one variable. PVT’s functionality shows how the
use of visual techniques embedded in an interactive environment enable the exploration
of large amounts of multivariate point data
Future management needs of a "software-driven" science community
The work of astronomers is getting more complex and advanced as the progress
of computer development occurs. With improved computing capabilities and
increased data flow, more sophisticated software is required in order to
interpret, and fully exploit, astronomic data. However, it is not possible for
every astronomer to also be a software specialist. As history has shown, the
work of scientists always becomes increasingly specialised, and we here argue
in favour of another, at least partial, split between "programmers" and
"interpreters". In this presentation we outline our vision for a new approach
and symbiosis between software specialists and scientists, and present its
advantages along with a simple test case.Comment: 7 pages, 3 figures, as presented at SPIE Astronomical instrumentation
201
Towards truly simultaneous PIXE and RBS analysis of layered objects in cultural heritage
For a long time, RBS and PIXE techniques have been used in the field of
cultural heritage. Although the complementarity of both techniques has long
been acknowledged, its full potential has not been yet developed due to the
lack of general purpose software tools for analysing the data from both
techniques in a coherent way. In this work we provide an example of how the
recent addition of PIXE to the set of techniques supported by the DataFurnace
code can significantly change this situation. We present a case in which a non
homogeneous sample (an oxidized metal from a photographic plate -heliography-
made by Niepce in 1827) is analysed using RBS and PIXE in a straightforward and
powerful way that can only be performed with a code that treats both techniques
simultaneously as a part of one single and coherent analysis. The optimization
capabilities of DataFurnace, allowed us to obtain the composition profiles for
these samples in a very simple way.Comment: 9 pages, 3 figure
Modeling the object-oriented software process: OPEN and the unified process
A short introduction to software process modeling is presented, particularly object-oriented modeling. Two major industrial process models are discussed: the OPEN model and the Unified Process model. In more detail, the quality assurance in the Unified Process tool (formally called Objectory) is reviewed
Functional Skills Support Programme: Developing functional skills in art and design
This booklet is part of "... a series of 11 booklets which helps schools to implement functional skills across the curriculum. The booklets illustrate how functional skills can be applied and developed in different subjects and contexts, supporting achievement at Key Stage 3 and Key Stage 4.
Each booklet contains an introduction to functional skills for subject teachers, three practical planning examples with links to related websites and resources, a process for planning and a list of additional resources to support the teaching and learning of functional skills." - The National Strategies website
- …