標(biāo)題: Titlebook: Generative Programming and Component Engineering; ACM SIGPLAN/SIGSOFT Don Batory,Charles Consel,Walid Taha Conference proceedings 2002 Spr [打印本頁] 作者: 搖尾乞憐 時間: 2025-3-21 17:43
書目名稱Generative Programming and Component Engineering影響因子(影響力)
書目名稱Generative Programming and Component Engineering影響因子(影響力)學(xué)科排名
書目名稱Generative Programming and Component Engineering網(wǎng)絡(luò)公開度
書目名稱Generative Programming and Component Engineering網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Generative Programming and Component Engineering被引頻次
書目名稱Generative Programming and Component Engineering被引頻次學(xué)科排名
書目名稱Generative Programming and Component Engineering年度引用
書目名稱Generative Programming and Component Engineering年度引用學(xué)科排名
書目名稱Generative Programming and Component Engineering讀者反饋
書目名稱Generative Programming and Component Engineering讀者反饋學(xué)科排名
作者: 蜈蚣 時間: 2025-3-21 20:42 作者: Progesterone 時間: 2025-3-22 03:49
https://doi.org/10.1057/9780312299590ility. However, several interesting and challenging problems remain to be solved before it becomes a reality. Solving them is also ., if we hope ever to elevate software engineering from its current state (a highly-developed handiwork) into a successful branch of engineering, capable of solving a wi作者: 步履蹣跚 時間: 2025-3-22 07:20 作者: 沉著 時間: 2025-3-22 10:33
Yulia Vymyatnina,Daria Antonovaric types often do not provide the required flexibility, which can be achieved with the use of metadata attached or extracted from objects by means of reflection. We present a general mechanism to support reflection in C++, exploiting template metaprogramming techniques. Metaclass objects are presen作者: Innocence 時間: 2025-3-22 15:04 作者: Innocence 時間: 2025-3-22 18:15
https://doi.org/10.1007/978-3-030-42343-8 function is the identity function at some complicated type. A typed functional language such as ML provides a natural support to express the functions and type-directed partial evaluation provides a convenient setting to obtain the normal form of their composition. However, off-the-shelf type-direc作者: Kinetic 時間: 2025-3-22 22:30
Creating An American Culture: 1775-1800they are usually not very good at capturing the behavioral aspects. Two important implementation problems result, namely, reprogramming similar behavior and configuration of crosscutting concerns. In this paper, we present an approach to solve the problems of reprogramming similar behavior and absen作者: intoxicate 時間: 2025-3-23 05:09
https://doi.org/10.1057/9780230612914a general-purpose language or in a language that is fine-tuned to a specific aspect in consideration. Aspect-specific languages provide more concise and more readable aspect declarations but are limited to a specific domain. Moreover, multiple aspects may be needed in a single application and compos作者: 終端 時間: 2025-3-23 08:00
https://doi.org/10.1057/9780230557062e management systems is being developed as a case study for the methodology research. The methodology revolves around a set of models for the domain, the functionality, the architecture, the design, and the code. These models reflect the common and variable features of the domain..Refactoring of sou作者: BIDE 時間: 2025-3-23 22:18
https://doi.org/10.1007/978-3-319-54540-0 to promote design and code reuse. Separation of Concerns (SoC) separates requirements such as synchronization and scheduling from the core functionality. These requirements are often referred to as crosscutting-concerns. The implementation of such requirements is scattered throughout the system, wh作者: 完成 時間: 2025-3-24 05:26
Creating and Digitizing Language Corporaing R5RS Scheme macros as an example, we develop and present a general practical methodology of building complex macros systematically, by combining simpler components by functional composition or higher-order operators..Macro programming is complex because the systematic approach does not apply to 作者: 有其法作用 時間: 2025-3-24 07:02
Downsizing as a Positive Experiences for some data values. For an actual analysis, . are used to capture the data size changes in possible program state transitions. A graph sequence that respects program control flow is called a .. The set of multipaths describe possible state transition sequences. To show that such sequences are fi作者: Incorruptible 時間: 2025-3-24 14:01 作者: 來這真柔軟 時間: 2025-3-24 15:15 作者: LUCY 時間: 2025-3-24 21:15
Conclusion: What Comes After Work,mponents are “.” into larger attribute grammar systems through higher-order attribute grammars. Higher-order attributes are used as (intermediate) “gluing” data structures..This paper also presents two attribute grammar components that can be re-used across different language-based tool specificatio作者: 偏離 時間: 2025-3-24 23:32
Scott M. Brooks,Jeffrey M. Saltzmanrability between off-the-shelf components. A system allowing such alterations should operate at the bytecode level in order to preserve portability and to be useful for pieces of software whose source code is not available. Furthermore, working at the bytecode level should be done while keeping high作者: 翅膀拍動 時間: 2025-3-25 07:17
Making Films and Video Art with Smartphones,a-programmers use to reason about programs and the notation for abstract syntax manipulation provided by general purpose (meta-) programming languages is too great for many applications. In this paper it is shown how the syntax definition formalism SDF can be employed to fit . meta-programming langu作者: Spinous-Process 時間: 2025-3-25 10:17 作者: 不怕任性 時間: 2025-3-25 15:44
https://doi.org/10.1007/3-540-45821-2Attribut; Fusion; Java; Refactoring; architecture; automated program generation; component engineering; com作者: 胎兒 時間: 2025-3-25 16:00
Program Generation, Termination, and Binding-Time Analysisility. However, several interesting and challenging problems remain to be solved before it becomes a reality. Solving them is also ., if we hope ever to elevate software engineering from its current state (a highly-developed handiwork) into a successful branch of engineering, capable of solving a wi作者: conception 時間: 2025-3-25 23:12 作者: 宇宙你 時間: 2025-3-26 01:35
Self Reflection for Adaptive Programmingric types often do not provide the required flexibility, which can be achieved with the use of metadata attached or extracted from objects by means of reflection. We present a general mechanism to support reflection in C++, exploiting template metaprogramming techniques. Metaclass objects are presen作者: 爭論 時間: 2025-3-26 06:31
DataScript- A Specification and Scripting Language for Binary Dataion language that uses DataScript types to describe the physical layout of data and a language binding that provides a simple programming interface to script binary data. A DataScript compiler generates Java libraries that are linked with DataScript scripts..DataScript specifications can be used to 作者: Anticoagulant 時間: 2025-3-26 08:38 作者: 去才蔑視 時間: 2025-3-26 14:39
A Protocol Stack Development Tool Using Generative Programmingthey are usually not very good at capturing the behavioral aspects. Two important implementation problems result, namely, reprogramming similar behavior and configuration of crosscutting concerns. In this paper, we present an approach to solve the problems of reprogramming similar behavior and absen作者: BORE 時間: 2025-3-26 19:41 作者: 失眠癥 時間: 2025-3-27 00:46
Architectural Refactoring in Framework Evolution: A Case Studye management systems is being developed as a case study for the methodology research. The methodology revolves around a set of models for the domain, the functionality, the architecture, the design, and the code. These models reflect the common and variable features of the domain..Refactoring of sou作者: Exaggerate 時間: 2025-3-27 04:22
Towards a Modular Program Derivation via Fusion and Tuplingediate data structures (fusion) followed by the elimination of redundant calls (tupling), we systematically realise both space and time efficient algorithms from naive specifications. We illustrate our approach using a well-known maximum segment sum (MSS) problem, and a less-known maximum segment pr作者: 爭議的蘋果 時間: 2025-3-27 06:58
Generative Programming for Embedded Software: An Industrial Experience Reportized to fit its limited memory and computing power. Generative programming is well suited for developing embedded software since it allows us to automatically produce variants of embedded software optimized for specific products. This paper reports on our experience in applying generative programmin作者: PAEAN 時間: 2025-3-27 09:52
A Framework for the Detection and Resolution of Aspect Interactionsnteraction is an important problem. Currently there is almost no support for the detection and resolution of such interactions. The programmer is responsible for identifying interactions between conflicting aspects and implementing conflict resolution code. In this paper, we propose a solution to th作者: 熄滅 時間: 2025-3-27 16:22
Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design to promote design and code reuse. Separation of Concerns (SoC) separates requirements such as synchronization and scheduling from the core functionality. These requirements are often referred to as crosscutting-concerns. The implementation of such requirements is scattered throughout the system, wh作者: 富饒 時間: 2025-3-27 19:23 作者: agglomerate 時間: 2025-3-28 00:06 作者: 不再流行 時間: 2025-3-28 05:25
Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systemsproach involves the creation of high-level graphical models representing the QoS adaptation policies. The models are constructed using a domain-specific modeling language - the Adaptive Quality Modeling Language. Multiple generators have been developed using the Model-Integrated Computing framework 作者: 托運 時間: 2025-3-28 07:51
Optimizing Content Management System Pipelines Separation and Merging of Concernst, application logic and visual styling. Current systems largely maintain this separation of concerns after document deployment. Their runtime processing pipeline is a composition of generators, or document transformations. We exploit commutativity to enable new static evaluations of the composite d作者: hankering 時間: 2025-3-28 12:39 作者: emulsify 時間: 2025-3-28 16:33
Altering Java Semantics via Bytecode Manipulationrability between off-the-shelf components. A system allowing such alterations should operate at the bytecode level in order to preserve portability and to be useful for pieces of software whose source code is not available. Furthermore, working at the bytecode level should be done while keeping high作者: 使激動 時間: 2025-3-28 21:01
Meta-programming with Concrete Object Syntaxa-programmers use to reason about programs and the notation for abstract syntax manipulation provided by general purpose (meta-) programming languages is too great for many applications. In this paper it is shown how the syntax definition formalism SDF can be employed to fit . meta-programming langu作者: 祖?zhèn)?nbsp; 時間: 2025-3-28 23:51
https://doi.org/10.1057/9780312299590lization..A key problem in all program generation is . of the generation process. This paper describes recent progress towards automatically solving the termination problem, first for individual programs, and then for specializers and “generating extensions,” the program generators that most offline作者: CEDE 時間: 2025-3-29 05:02
Sherri Sheinfeld Gorin,Catherine L. Davisnough to describe many commonly used formats. Similar to how scripting languages such as Perl allow the manipulation of text files, the libraries generated by the DataScript compiler can be used to quickly write scripts that safely manipulate binary files.作者: Astigmatism 時間: 2025-3-29 07:41 作者: 淡紫色花 時間: 2025-3-29 15:06
Downsizing as a Positive Experienced amongst them an .— some graph whose infinite occurrence in a multipath causes infinite descent. The SCT approximations are based on finding and eliminating anchors, as far as possible. If the remaining graphs cannot loop, then SCT is established..An efficient method is proposed to find anchors amo作者: mighty 時間: 2025-3-29 19:05 作者: 舊石器 時間: 2025-3-29 23:19 作者: 拖網(wǎng) 時間: 2025-3-30 01:19 作者: Anonymous 時間: 2025-3-30 06:17 作者: allergen 時間: 2025-3-30 10:20
Program Termination Analysis in Polynomial Timed amongst them an .— some graph whose infinite occurrence in a multipath causes infinite descent. The SCT approximations are based on finding and eliminating anchors, as far as possible. If the remaining graphs cannot loop, then SCT is established..An efficient method is proposed to find anchors amo作者: 粗語 時間: 2025-3-30 16:05
Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded SystemsQoS adaptation in DRE systems. A case study in applying this approach to an Unmanned Aerial Vehicle - Video Streaming application is presented. This approach has goals that are similar to those specified in the OMG’s Model-Driven Architecture initiative.作者: 冥想后 時間: 2025-3-30 19:14
Conference proceedings 2002ongly ov- lapping interests: the Generative and Component-Based Software Engineering Conference (GCSE) and the International Workshop on the Semantics, App- cations, and Implementation of Program Generation (SAIG). Researchers in the GCSE community address the topic of program automation from a cont作者: foodstuff 時間: 2025-3-31 00:02 作者: sphincter 時間: 2025-3-31 01:58 作者: Excise 時間: 2025-3-31 05:56
Creating An American Culture: 1775-1800ce of systematic configuration mechanisms for crosscutting concerns in communication systems. Our approach is based on generative programming, has been implemented in C++ and has been validated with several protocols. We also sketch an approach for run-time reconfigurable protocol stacks.作者: abject 時間: 2025-3-31 12:45
Creating and Animating the Virtual Worldoduct (MSP) problem. While the two problems share similar specifications, their optimised codes are significantly different. This divergence in the transformed codes do not pose any difficulty. By relying on modular techniques, we are able to systematically reuse both code and transformation in our derivation.作者: 不可比擬 時間: 2025-3-31 15:03
Lieselotte Anderwald,Susanne Wagnerg in the embedded domain. We propose an extended feature modeling notation, discuss tool support for feature modeling, describe a domain-independent system configuration editor, and comment on the applicability of static configuration in the area of embedded systems.作者: 因無茶而冷淡 時間: 2025-3-31 18:25
Seth Mehl,Sean Wallis,Bas Aartsis problem based on a generic framework for AOP. The contributions are threefold: we present a formal and expressive crosscut language, two static conflict analyses and some linguistic support for conflict resolution.作者: Prophylaxis 時間: 2025-3-31 22:17 作者: 裹住 時間: 2025-4-1 02:48 作者: Feature 時間: 2025-4-1 06:39 作者: CORD 時間: 2025-4-1 13:20
A Protocol Stack Development Tool Using Generative Programmingce of systematic configuration mechanisms for crosscutting concerns in communication systems. Our approach is based on generative programming, has been implemented in C++ and has been validated with several protocols. We also sketch an approach for run-time reconfigurable protocol stacks.作者: 格言 時間: 2025-4-1 16:19
Towards a Modular Program Derivation via Fusion and Tuplingoduct (MSP) problem. While the two problems share similar specifications, their optimised codes are significantly different. This divergence in the transformed codes do not pose any difficulty. By relying on modular techniques, we are able to systematically reuse both code and transformation in our derivation.作者: 圓木可阻礙 時間: 2025-4-1 20:08
Generative Programming for Embedded Software: An Industrial Experience Reportg in the embedded domain. We propose an extended feature modeling notation, discuss tool support for feature modeling, describe a domain-independent system configuration editor, and comment on the applicability of static configuration in the area of embedded systems.作者: CREST 時間: 2025-4-2 01:21
A Framework for the Detection and Resolution of Aspect Interactionsis problem based on a generic framework for AOP. The contributions are threefold: we present a formal and expressive crosscut language, two static conflict analyses and some linguistic support for conflict resolution.作者: Certainty 時間: 2025-4-2 05:50
Optimizing Content Management System Pipelines Separation and Merging of Concernsuring document deployment. Unlike traditional caching, we arrive at closed-form composites even for styled, database-driven documents. This eliminates the runtime penalties of a separation of concerns while preserving their software engineering benefits.作者: 話 時間: 2025-4-2 09:23 作者: 填滿 時間: 2025-4-2 14:13
