找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Generative and Transformational Techniques in Software Engineering II; International Summer Ralf L?mmel,Joost Visser,Jo?o Saraiva Textbook

[復(fù)制鏈接]
樓主: encroach
11#
發(fā)表于 2025-3-23 09:55:39 | 只看該作者
WebDSL: A Case Study in Domain-Specific Language Engineeringhe DSL. The contributions of the paper are three-fold. (1) A tutorial in the application of the specific SDF and Stratego/XT technology for building DSLs. (2) A description of an incremental DSL development process. (3)?A domain-specific language for web-applications with rich data models. The paper
12#
發(fā)表于 2025-3-23 14:00:35 | 只看該作者
Model-Driven Engineering of Rules for Web Servicesvice is described by a (set of) rule(s) regulating how Web services’ messages are exchanged. By leveraging the principles of model-driven engineering, we define a rule-based modeling language supporting the proposed modeling approach. More specifically, the rule-based modeling language supports reac
13#
發(fā)表于 2025-3-23 21:11:15 | 只看該作者
14#
發(fā)表于 2025-3-24 01:04:41 | 只看該作者
Design Space of Heterogeneous Synchronizatione expressed in different languages. Our main application scenario is synchronization of software artifacts, such as code, models, and configuration files. We classify heterogeneous synchronizers according to the cardinality of the relation that they enforce between artifacts, their directionality, t
15#
發(fā)表于 2025-3-24 03:36:01 | 只看該作者
Software Reuse beyond Components with XVCL (Tutorial)reuse is based on components and architectures. We describe how reuse of structural similarities extends the benefits of conventional component reuse, and realization of the concept with a generative technique of XVCL. Structural similarities are repetition patterns in software of any type or granul
16#
發(fā)表于 2025-3-24 07:00:55 | 只看該作者
.QL: Object-Oriented Queries Made Easyoftware quality, namely to find bugs, to compute metrics and to enforce coding conventions. The class mechanism of .QL is discussed in depth, and we demonstrate how it can be used to build libraries of reusable queries.
17#
發(fā)表于 2025-3-24 11:19:52 | 只看該作者
Transforming Data by Calculation and associated constraints. These are justified in an algebraic style via the ., a technique whereby predicates are lifted to binary relation terms (of the algebra of programming) in a two-level style encompassing both data and operations. This approach to data calculation, which also includes tran
18#
發(fā)表于 2025-3-24 16:36:28 | 只看該作者
How to Write Fast Numerical Code: A Small Introductionightforward implementations based on algorithms that minimize the operations count often fall short in performance by at least one order of magnitude. This tutorial introduces the reader to a set of general techniques to improve the performance of numerical code, focusing on optimizations for the co
19#
發(fā)表于 2025-3-24 21:49:50 | 只看該作者
A Gentle Introduction to Multi-stage Programming, Part IIllowing up on a paper with a similar title, this paper focuses on dynamically typed languages, covering issues ranging from parsing to defining and staging an interpreter for an interesting subset of Dr. Scheme. Preliminary experimental results indicate that the speedups reported in previous work fo
20#
發(fā)表于 2025-3-25 00:11:32 | 只看該作者
WebDSL: A Case Study in Domain-Specific Language Engineeringroduction of DSLs in the software development process requires a smooth workflow for the production of DSLs themselves. This requires technology for designing and implementing DSLs, but also a methodology for using that technology. That is, a collection of guidelines, design patterns, and reusable D
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-9 17:53
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
霍林郭勒市| 泰州市| 友谊县| 蕲春县| 荥经县| 方山县| 遂川县| 稻城县| 曲麻莱县| 民县| 孙吴县| 宁安市| 河北省| 安丘市| 望奎县| 永靖县| 聂荣县| 师宗县| 湄潭县| 赣州市| 鞍山市| 哈巴河县| 霍城县| 昭觉县| 深水埗区| 洛南县| 荆门市| 鸡泽县| 威远县| 柳河县| 金平| 漳浦县| 凤庆县| 连山| 闵行区| 定陶县| 鱼台县| 临高县| 盐池县| 吕梁市| 宣武区|