检索结果-内蒙古大学图书馆

Generative software product line development using variability-aware design patterns

COMPUTER languageS SYSTEMS & STRUCTURES 2017年 48卷 89-111页

作者： Seidl, Christoph Schuster, Sven Schaefer, Ina Tech Univ Carolo Wilhelmina Braunschweig Braunschweig Germany

Software Product Lines (SPLs) are an approach to reuse in-the-large that models a set of closely related software systems in terms of commonalities and variabilities. design patterns are best practices for addressing recurring design problems in object-oriented source code. In the practice of implementing SPL, instances of certain design patterns are employed to handle variability, which makes these "variability-aware design patterns" a best practice for SPL design. However, currently there is no dedicated method for proactively developing SPLs using design patterns suitable for realizing variable functionality. In this paper, we present a method to perform generative SPL development with design patterns. We use role models to capture design patterns and their relation to a variability model. We further allow mapping of individual design pattern roles to (parts of) implementation elements to be generated (e.g., classes, methods) and check the conformance of the realization with the specification of the pattern. We provide definitions for the variability-aware versions of the design patterns Observer, Strategy, Template Method and Composite. Furthermore, we support generation of realization's in Java, C++ and UML class diagrams utilizing annotative, compositional and transformational variability realization mechanisms. Hence, we support proactive development of SPLs using design patterns to apply best practices for the realization of variability. We realize our concepts within the Eclipse IDE and demonstrate them within a case study. (C) 2016 Elsevier Ltd. All rights reserved.

关键词： SOFTWARE product line engineering COMPUTER software development SOFTWARE patterns REALIZATION (Linguistics) JAVA (Computer program language) C++ (Computer program language)

来源：评论

学校读者我要写书评

暂无评论

proceedings of the acm sigplan conference on programming language design and implementation (PLDI)

Proceedings of the ACM SIGPLAN Conference on Programming Lan...

引用

3rd acm sigplan International Workshop on the State of the Art in Java Program Analysis, SOAP 2014 - Co-located with PLDI 2014

The proceedings contain 5 papers. The topics discussed include: TS4J: a fluent interface for defining and computing typestate analyses;a software product line for static analyses;dynamic slicing with soot;explicit and symbolic techniques for fast and scalable points-to analysis;and android taint flow analysis for app sets.

关键词：

来源：评论

学校读者我要写书评

暂无评论

PLDI 2014 - proceedings of the 2014 acm sigplan conference on programming language design and implementation

PLDI 2014 - Proceedings of the 2014 ACM SIGPLAN Conference o...

引用

35th acm sigplan conference on programming language design and implementation, PLDI 2014

ISBN: (纸本)9781450327848

The proceedings contain 56 papers. The topics discussed include: test-driven repair of data races in structured parallel programs;atomicity refinement for verified compilation;herding cats: modeling, simulation, testing, and data-mining for weak memory;stochastic optimization of floating-point programs using tunable precision;a framework for enhancing data reuse via associative reordering;first-class runtime generation of high-performance types using exotypes;optimal inference of fields in row-polymorphic records;expressing and verifying probabilistic assertions;compositional solution space quantification for probabilistic software analysis;slicing probabilistic programs;adaptive, efficient parallel execution of parallel programs differentiation;globally precise-restartable execution of parallel programs;and accurate application progress analysis for large-scale parallel debugging.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Sonification Blocks: A Block-Based programming Environment For Embodied Data Sonification 17

Sonification Blocks: A Block-Based Programming Environment F...

引用

16th International acm conference on Interaction design and Children (IDC)

作者： Atherton, Jack Blikstein, Paulo Stanford Univ Ctr Comp Res Mus & Acoust Stanford CA 94305 USA Stanford Univ Grad Sch Educ Stanford CA 94305 USA

ISBN: (纸本)9781450349215

High school students often struggle to find the motivation to learn to program. Music can be a powerful motivator for these students, but existing tools that combine music production with programming often fail to meaningfully engage students with core computer science concepts. Sonification Blocks was created to shift the focus back toward big ideas in programming. Sonification Blocks is a programming language for data sonification, the process of creating audio algorithms and controlling them with streams of data. Its implementation as a block-based language with clear, interactive data visualizers allows high-school-aged learners to develop computational literacy. Furthermore, the act of manipulating sound parameters with data streams that are controlled through body motion may help connect learners with powerful ideas in programming and data science.

关键词： computer science education music sonification embodied cognition constructionism

来源：评论

学校读者我要写书评

暂无评论

design Principles of an Embedded language (EFL) Enabling Well Defined Order-Independent Execution 17

Design Principles of an Embedded Language (EFL) Enabling Wel...

引用

5th European conference on the Engineering of Computer-Based Systems (ECBS)

作者： Goldstein, Moshe Dayan, David Rabin, Max Berlowitz, Devora Berlowitz, Or Yehezkael, Raphael B. Jerusalem Coll Technol Flexible Computat Res Lab Havaad Haleumi 21 IL-9372115 Jerusalem Israel

ISBN: (纸本)9781450348430

Parallel programming platforms are heterogeneous and incompatible;a common approach is needed to free programmers from platforms' technical intricacies, allowing flexible execution in which sequential and parallel executions produce identical results. The execution and programming model of an embedded flexible language (EFL), which implement this common approach, are presented. EFL allows embedding of deterministic parallel code blocks into a sequential program, written in any host language. EFL programming model constructs are presented. An EFL implementation of the Reduce Parallel design Pattern is presented. With EFL we aim to implement safe and efficient parallel execution, in software, hardware, or both. Consequences of Rice's theorem regarding parallel computation are discussed. These consequences severely restrict what can be checked at compile time. An approach is proposed for circumventing these restrictions.

关键词： Parallel programming parallel design pattern flexible computation

来源：评论

学校读者我要写书评

暂无评论

proceedings of the acm sigplan conference on programming language design and implementation (PLDI)

Proceedings of the ACM SIGPLAN Conference on Programming Lan...

引用

1st acm sigplan International Workshop on Libraries, languages and Compilers for Array programming, ARRAY 2014 - Part of PLDI 2014

ISBN: (纸本)9781450329378

The proceedings contain 17 papers. The topics discussed include: exploiting implicit parallelism in dynamic array programming languages;NOVA: a functional language for data parallelism;abstracting vector architectures in library generators: case study convolution filters;just-in-time length specialization of dynamic vector code;a local-view array library for partitioned global address space C++ programs;GPGPU composition with OCaml;a composable array function interface for heterogeneous computing in java;just-in-time shape inference for array-based languages;array operators using multiple dispatch;Co-dfns: ancient language, modern compiler;extract and extend parallelism using C/C++ extension for array notation on multicore and many-core platforms - an empirical investigation with quantitative finance examples;on predicting the impact of resource redistributions in streaming applications;***: transformation-based code generation for GPUs and CPUs;and multi-target C code generation from MATLAB.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Linking language & Thinking with Code: Computing within a Writing-Intensive Introduction to the Liberal Arts 17

Linking Language & Thinking with Code: Computing within a Wr...

引用

acm conference on Innovation and Technology in Computer Science Education (ITiCSE)

作者： O'Hara, Keith J. Burke, Kathleen Ruggiero, Diana Anderson, Sven Bard Coll Comp Sci Program Annandale On Hudson NY 12504 USA

ISBN: (纸本)9781450347044

This paper describes the design, implementation and preliminary evaluation of a computing component for a three-week writing-intensive introductory program at a liberal arts college. Specific curricular recommendations are presented that could have a direct, positive impact if adopted in similar courses. A two-pronged approach involving a faculty-led HTML workshop, along with student-led contextualized coding studios, was employed. Computing Unplugged activities were used, including a novel Page Rank Unplugged networking activity. An analysis of attitude surveys shows the program positively changed students attitudes about enjoyment solving CS problems, but potentially reinforced the misconception that CS is just learning programming languages.

关键词： computing in liberal arts computing unplugged attitudes

来源：评论

学校读者我要写书评

暂无评论

From Scenario Modeling to Scenario programming for Reactive Systems with Dynamic Topology 2017

From Scenario Modeling to Scenario Programming for Reactive ...

引用

11th Joint Meeting of European Software Engineering conference (ESEC) / acm SIGSOFT Symposium on the Foundations of Software Engineering (FSE)

作者： Greenyer, Joel Gritzner, Daniel Koenig, Florian Dahlke, Jannik Shi, Jianwei Wete, Eric Leibniz Univ Hannover Software Engn Grp Welfengarten 1 D-30167 Hannover Germany

ISBN: (纸本)9781450351058

Software-intensive systems often consist of cooperating reactive components. In mobile and reconfigurable systems, their topology changes at run-time, which influences how the components must cooperate. The Scenario Modeling language (SML) offers a formal approach for specifying the reactive behavior such systems that aligns with how humans conceive and communicate behavioral requirements. Simulation and formal checks can find specification flaws early. We present a framework for the Scenario-based programming (SBP) that reflects the concepts of SML in Java and makes the scenario modeling approach available for programming. SBP code can also be generated from SML and extended with platform-specific code, thus streamlining the transition from design to implementation. As an example serves a car-to-x communication *** video and artifact: http://***/esecfse-2017-tool-demo/

关键词： Scenario-based modeling reactive systems distributed embedded systems dynamic topologies assume/guarantee specifications

来源：评论

学校读者我要写书评

暂无评论

Demo abstract: design and implementation of a low-cost arduino-based high-frequency AC waveform meter board for the raspberry Pi 4

Demo abstract: Design and implementation of a low-cost ardui...

引用

4th acm International conference on Systems for Energy-Efficient Built Environments, BuildSys 2017

作者： Quintana, Matias Lange, Henning Bergés, Mario Carnegie Mellon University PittsburghPA United States

ISBN: (纸本)9781450354769

This paper introduces a low-cost AC meter designed to continuously measure voltage and current waveforms at up to 14 kHz. The AC power meter, provided as open hardware, is designed using the same micro controller as the Arduino UNO1 with an In-system programming (ISP) interface, thus allowing the user to change the firmware to match their particular use case using Arduino libraries or standard C language. The suggested design is compatible with the Raspberry Pi 32, making it a suitable real-time measurement accessory for the single board computer. The platform features an 8 channel simultaneous sampling Analog-to-Digital Converter (ADC) which allows a high fidelity sampling without time offsets. Depending on how the user decides to combine current transformers (CTs) and AC-AC voltage adapters for the input channels, circuit breakers or appliances can be measured in either one phase or three phases. © 2017 Copyright held by the owner/author(s).

关键词： Firmware

来源：评论

学校读者我要写书评

暂无评论

Elevate embedded real-time programming with a synchronous language 17

Elevate embedded real-time programming with a synchronous la...

引用

15th acm-IEEE International conference on Formal Methods and Models for System design (MEMOCODE)

作者： Grosch, Franz-Josef Robert Bosch GmbH Gerlingen Germany

ISBN: (纸本)9781450350938

Product development at companies such as Bosch requires systems engineering for digital hardware and mechatronic components as well as software engineering for resource-constrained real-time applications cooperating with distributed server applications. While many of the involved engineering disciplines greatly benefit from model-based approaches and from advances in software infrastructures, deeply embedded software still is written in C since the seventies and runs on platforms designed in the nineties (e.g. OSEK). Simulation tools like Simulink or Modelica are used to test discrete code against continuous plant models or to generate code for certain aspects, but they do not really provide modern implementation technologies to address software architecture and qualities or to make embedded programming "attractive" for software *** regard synchronous languages as suitable to solve many of the issues in the integration (causality) and synchronisation (clocks) of time-triggered and event-triggered embedded functions that exhibit their behaviour over time steps and are coordinated according to their mode-switching in a structured synchronous control flow. Searching for an imperative synchronous language (with deterministic concurrent composition, and synchronous control flow), equipped with features for encapsulation and composition (objects, packages, separate compilation) and supporting programming parallel tasks deployed to separate cores (clock refinement and deterministic inter-task communication), we ended up in designing our own language, suitable for resource-constrained, real-time applications running on multi-core *** will explain the main requirements and features of this language, how they integrate with the principles of a synchronous language, how they can be applied to typical everyday problems in embedded development, and how such locally synchronous services may integrate in a globally asynchronous service architecture.

关键词：

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：