How can we create boundary objects that empower beginners and engage experts? How is creativity and exploration supported in hardware? This paper describes the design and development of a new hardware and software too...
详细信息
ISBN:
(纸本)9781450329033
How can we create boundary objects that empower beginners and engage experts? How is creativity and exploration supported in hardware? This paper describes the design and development of a new hardware and software toolkit for creating musical interactions to be demonstrated at DIS. Modular-Mus aims to lower the barrier to entry to working with electronics and musical programming. Transparency coupled with simplicity contribute to enabling an accessible yet deep interaction design tool. The toolkit utilizes audio cables to connect to a variety of sensors, tactile interfaces and output modules, both familiar and atypical of music interactions.
The slow industrial take-up of formal methods is partly due to their high cost when considered on a per-system basis. Formal methods are best employed either on relatively small and strictly bounded sub-problems withi...
详细信息
The slow industrial take-up of formal methods is partly due to their high cost when considered on a per-system basis. Formal methods are best employed either on relatively small and strictly bounded sub-problems within a project, or on the qualification of components and tools that are used on successive projects. One class of tools that are becoming more commonly used are graphical specification editors that provide an automatic code generation facility. There are a number of advantages that arise if such tools are used for production quality code. Not least of these is the potential for reducing the risk and cost of software development, by reducing the potential for the introduction of errors, and increasing the speed with which software can be produced. The magnitude of these advantages is increased where the risk and cost of software production is higher, such as in the case of high-integrity systems development. In order to derive these benefits, it is vitally important to ensure that the generated code is functionally faithful to its specification. The British Aerospace Dependable Computing Systems Centre is looking at how formal techniques can be employed to ensure that an automatic code generator produces code that is faithful to its specification. The use of formal techniques is important to this process, since it is only through these that the high level of assurance required can be attained.
The Nord Modular music synthesiser system comprises a stand-alone array of digital signal processors programmed by a dataflow visual langauage and supported by a visual programming environment that runs on commodity h...
详细信息
ISBN:
(纸本)0909925852
The Nord Modular music synthesiser system comprises a stand-alone array of digital signal processors programmed by a dataflow visual langauage and supported by a visual programming environment that runs on commodity hardware. We have investigated applying program visualisation techniques to over 400 Nord Modular programs. Our visualisations make explicit module types and signal flows that are only implicit in the metaphorical graphical syntax adopted by the Nord Modular visual programming language. We have also analysed the programming style used in Nord Modular programs, in particular, the direction of program layouts. While we found that programs tended to arrange signal flow top down and left to right, we found much more variation than we expected, both within individual programs and across the Nord factory program corpus.
Computational thinking (CT) is considered a necessary skill for the 21st century. Researchers have increasingly focused on how to effectively enhance students’ CT in programming courses. This study proposes a progres...
详细信息
ISBN:
(纸本)9798400709111
Computational thinking (CT) is considered a necessary skill for the 21st century. Researchers have increasingly focused on how to effectively enhance students’ CT in programming courses. This study proposes a progressive scaffolding approach with flowcharts and visual programming codes applied to a visual programming course based on an open-source hardware platform to improve CT skills and self-efficacy in middle school students. Forty-five middle school students in grades 7 and 8 participated in this study. Both quantitative and qualitative data were collected by using CT tests, scales, and semi-structured interviews. A repeated measures analysis of variance (ANOVA) examined differences in CT skills and self-efficacy on the pre-test, mid-test, and post-test. The results indicated that the progressive scaffolding approach significantly improved middle school students’ CT skills and self-efficacy. These results reveal the effectiveness of the progressive scaffolding approach in improving the computational thinking of middle school students in a visual programming course with an open-source hardware platform, which helps to extend the design of progressive scaffolding.
The paper describes a lightweight, interactive tool for visualizing different operation modes of an induction machine and the transitions between them. A traditional equivalent model of an induction machine has been e...
详细信息
The paper describes a lightweight, interactive tool for visualizing different operation modes of an induction machine and the transitions between them. A traditional equivalent model of an induction machine has been examined to derive a simple operation set for execution in any visual programming language. “Python 3.7” has been used to provide a working example. The work is based on a premise, that by adding the element of interactive animation, the degree of comprehension is greatly improved for both first time study as well as profound contemplation on specific subtopics.
Is it possible to achieve some of the benefits of formal testing within the informal programming conventions of the spreadsheet paradigm? We have been working on an approach that attempts to do so via the development ...
详细信息
ISBN:
(纸本)9781581132069
Is it possible to achieve some of the benefits of formal testing within the informal programming conventions of the spreadsheet paradigm? We have been working on an approach that attempts to do so via the development of a testing methodology for this paradigm. Our “What You See Is What You Test” (WYSIWYT) methodology supplements the convention by which spreadsheets provide automatic immediate visual feedback about values by providing automatic immediate visual feedback about “testedness”. In previous work we described this methodology; in this paper, we present empirical data about the methodology's effectiveness. Our results show that the use of the methodology was associated with significant improvement in testing effectiveness and efficiency even with no training on the theory of testing or test adequacy that the model implements. These results may be due at least in part to the fact that use of the methodology was associated with a significant reduction in overconfidence.
The proposed IEC65B PLC (programmable logic controller) standard which covers many facets of PLC construction and usage also includes an important section on PLC programming. Four new textual and graphical programming...
详细信息
The proposed IEC65B PLC (programmable logic controller) standard which covers many facets of PLC construction and usage also includes an important section on PLC programming. Four new textual and graphical programming languages are defined. This paper addresses standards that are now being developed to provide a consistent architecture and a set of languages for programming programmable logic controllers.< >
The power of programmable controllers having greatly increased has given much enhanced capability but in return needs attention to program structure, status and error information automatically provided by the products...
详细信息
The power of programmable controllers having greatly increased has given much enhanced capability but in return needs attention to program structure, status and error information automatically provided by the products and a much higher level of visibility of the condition and effectiveness of automation systems. There is continuing pressure to maximise up-time of plant, and also maintain a consistently high product quality through analysis of production tolerances and trends. Therefore the implementation of diagnostic functions within the PLC and its program for commissioning, plant operation, and maintenance is a primary concern in many industries. This is designed-in diagnostics (or D2 for short). D2 can be applied in three ways according to the facilities provided by the PLC manufacturer within the processor and its I/O structure: fault display routines; structured relay ladder programming; and the graphical program definition and structure.< >
This workshop is for high school and college teachers of general-interest ("CS 0") computer science courses, especially the AP CS: Principles course. SNAP! (Build Your Own Blocks) is a free, browser-based, g...
详细信息
ISBN:
(纸本)9781450326056
This workshop is for high school and college teachers of general-interest ("CS 0") computer science courses, especially the AP CS: Principles course. SNAP! (Build Your Own Blocks) is a free, browser-based, graphical, drag-and-drop language inspired by Scratch. The beauty of the Scratch programming environment, designed for 8-14 year olds, is that it makes abstract concepts more concrete and understandable to a broader audience. SNAP! extends Scratch to support older learners (14-20) with built-in named procedures (thus recursion), procedures as data (thus higher order functions), structured lists, and sprites as first class objects with *** will learn SNAP! hands-on. See http://*** for details. Network connected laptop required.
暂无评论