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

11th International IEEE Scientific and Technical Conference on Dynamics of Systems, Mechanisms and Machines (Dynamics)

作者： Subbotin, N. A. Lubkin, I. A. Reshetnev Siberian State Aerosp Univ Krasnoyarsk Russia

ISBN: (纸本)9781538618219;9781538618202

Currently, there are many tools that modify the program code of the compiled protected modules. The authors of the considered tools do not publish technique of embedding their protection system and any proofs of their tools' algorithm correctness. This article describes the technique of program module modification with algorithm preservation for the subsequent embedding a protection system. The article suggests the verification technique for automated test of modification correctness and describes developed verification system based on this technique. The results of the work are the technique of program module modification and the verification tool for testing its correctness.

关键词： Code insertion algorithm equivalence program modification program verification

来源：评论

学校读者我要写书评

暂无评论

Clef Design 2018

Clef Design

引用

Proceedings of the 11th European Lisp Symposium on European Lisp Symposium

作者： Klass van Schelven

ISBN: (纸本)9782955747421

In Expressions of Change modifications to programs replace text files as the primary building blocks of software development. This novel approach yields structured historic information at arbitrary levels of program granularity across the programming toolchain. In this paper the associated questions of programming Language Design are explored. We do so in the context of s-expressions, creating a modification-based infrastructure for languages in the Lisp family. We provide a framework for evaluation of the relative utility of different formalizations of program construction, which consists of the following: first, a requirement for completeness, meaning that a formalization of program construction should allow for the transformation of any valid program into any other. Second, a preference for succinctness over verbosity; succinctness of both of the formalization itself and typical expressions in the formalization. Third, a measure of the ability to clearly express intent. Fourth, a description of three ways in which the means of combination of the program itself and those of its means of construction may interact. Finally, we give a particular example of a formalization and use the provided framework to establish its utility.

关键词： program modification programming Language Design S-Expressions

来源：评论

学校读者我要写书评

暂无评论

Automated implementation of Petri Nets on PLCs with OOP 19

Automated implementation of Petri Nets on PLCs with OOP

引用

19th IEEE International Conference on Emerging Technology and Factory Automation (ETFA)

作者： Basile, Francesco Chiacchio, Pasquale Coppola, Jolanda Gerbasio, Diego Univ Salerno Dipartimento Ing Informaz Ing Elettr & Matemat Ap Salerno Italy

ISBN: (纸本)9781479948451

In this paper a method is proposed to implement controllers and supervisors for manufacturing systems designed by Petri Nets (PNs) on programmable Logic Controllers (PLCs) using Object Oriented programming (OOP). In the resulting program each instruction is directly related to the evaluation of a transition, to the update of the marking, or to the enabling of a transition. This preserves the structure of PNs and entails reusability since it allows the user to easily modify the program directly, starting from the modifications made to the PN design.

关键词： Petri nets manufacturing systems object-oriented programming programmable controllers OOP PLC PN design object oriented programming program modification programmable logic controllers Arrays Heating IEC standards Object oriented modeling Reactive power Software XML

来源：评论

学校读者我要写书评

暂无评论

program Conversion for the Protection of Personal Information

Program Conversion for the Protection of Personal Informatio...

引用

15th IEEE International Conference on High Performance Computing and Communications (HPCC) /11th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC)

作者： Kuto, Kuniaki Takahashi, Kenichi Kawamura, Takao Sugahara, Kazunori Tottori Univ Grad Sch Engn Dept Elect & Informat Tottori 6808550 Japan

ISBN: (纸本)9780769550886

Some of Internet services request us to provide our personal information. When we use their services, we have to provide our personal information even if we cannot trust their service providers. This may cause the abuse of their personal information. Therefore, we propose a framework that prevents service providers from abusing users' personal information. In our framework, a user selects a method to use his/her information, and compels the service provider to use the method. Since the personal information is used through the method selected by the user, the user is able to prevent the service provider from the abuse of his/her personal information. Thus, the user can relief to provide his/her personal information to the service provider. We have some problems to be solved for the realization of our framework. In this paper, we discuss a way to install a method selected by a user into a program a service provider has.

关键词： personal information privacy program modification security Privacy abuse Abuse Frameworks Internet services Security

来源：评论

学校读者我要写书评

暂无评论

Adaptive Code Collage: A Framework to Transparently Modify Scientific Codes

引用

COMPUTING IN SCIENCE & ENGINEERING 2012年第1期14卷 52-63页

作者： Kang, Pilsung Ramakrishnan, Naren Ribbens, Calvin J. Varadarajan, Srinidhi Heffner, Michael A. Virginia Tech Dept Comp Sci Blacksburg VA 24061 USA Virginia Tech Ctr High End Comp Syst Blacksburg VA 24061 USA

Legacy scientific codes are often repurposed to fit adaptive needs, but making such code adaptive without changing the original source programs can be challenging. Adaptive Code Collage (ACC) meets this challenge using function-call interception in a language-neutral way at link time, transparently "catching" and redirecting function calls.

关键词： Adaptation model Encoding Heuristic algorithms Scientific computing Scientific software adaptation Software algorithms function-call interception program modification scientific programming

来源：评论

学校读者我要写书评

暂无评论

Scripting Language Open PROMOL and its Processor

引用

Informatica 2000年第1期11卷 71-86页

作者： Štuikys, Vytautas Damaševičius, Robertas Kaunas University of Technology 3031 Kaunas Studentu̧ 50 Lithuania

We present the capabilities of the scripting language Open PROMOL and its processor. The intention of the language is to pre-program specifications for modifying programs written in a target language. We use its processor either as a tool for developing the stand-alone reusable components or as a "component-from-the-shelf" in generative tools for generating domain specific programs. The processor itself uses the module (lexical analyser and parser) produced by Lex & Yacc as a reusable component. We describe the generation, computation, control, parameterization and gluing capabilities of the language. We compare our approach with the similar approaches known in the literature.

关键词： Component-based reuse Domain specific program Generative reuse program modification Scripting language Target language VHDL

来源：评论

学校读者我要写书评

暂无评论

Application of verification method and a decomposition method to program modification

引用

SYSTEMS AND COMPUTERS IN JAPAN 1996年第1期27卷 12-26页

作者： Ono, K Maruyama, K Fukuzawa, Y WASEDA UNIV SCH SCI & ENGN TOKYO 169 JAPAN

This paper considers the case where the specification and the program are modified. A method is proposed that specifies the range which is affected by the modification using the verification method and decomposition technique. By the proposed technique, the points where the modification is required or the point which may contain an error can be estimated when the program is modified. The inductive assertion is used as the verification technique. It is assumed that the specification before modification as well as the program are already verified for the correctness. The object of verification is simplified by the comparison and validation of the verification history and the object of correctness verification. The part which is left without being simplified is the range affected by the modification before the comparison and after the correctness verification, the rage which is affected by the modification as well as the range for which the validation is not satisfies can be specified.

关键词： formal specification program modification verification of correctness inductive assertion method program slicing AP

来源：评论

学校读者我要写书评

暂无评论

Towards a formal framework for software reuse

引用

INFORMATION SCIENCES 1998年第3-4期110卷 135-149页

作者： Mili, R Raymond, J Univ Texas Dept Comp Sci Richardson TX 75083 USA Univ Ottawa Dept Comp Sci Ottawa ON K1N 6N5 Canada

It is reasonable to expect that the use of formal methods in software reuse will help improve the practice of this discipline as well as enhance our understanding of its products and processes. We have identified the following technical activities that Cake place in software reuse as candidates for a formal modeling: representing reusable assets, representing reuse queries, defining matching criteria, defining a storage structure, deriving measures of distance and deriving a calculus of program modification. In this paper we discuss how a simple mathematical model based on set theory and relation theory allows us to capture these activities in a unified, coherent framework. (C) 1998 Elsevier Science Inc. All rights reserved.

关键词： formal specifications software reuse functional distance structural distance component retrieval program modification

来源：评论

学校读者我要写书评

暂无评论

Reusing analogous components

引用

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING 1997年第2期9卷 341-349页

作者： Cheng, BHC Jeng, JJ AT&T BELL LABS MIDDLETOWNNJ 07748

Using formal specifications to represent software components facilitates the determination of reusability because they more precisely characterize the functionality of the software, and the well-defined syntax makes processing amenable to automation. This paper presents an approach, based on formal methods, to the search, retrieval, and modification of reusable software components. From a two-tiered hierarchy of reusable software components, the existing components that are analogous to the query specification are retrieved from the hierarchy. The specification for an analogous retrieved component is compared to the query specification to determine what changes need to be applied to the corresponding program component in order to make it satisfy the query specification.

关键词： software reuse formal methods analogical reasoning program modification

来源：评论

学校读者我要写书评

暂无评论

ORTHOGONAL LANGUAGES - A FRAMEWORK FOR program-DEVELOPMENT

引用

COMPUTER LANGUAGES 1992年第2期17卷 83-100页

作者： ROTENSTREICH, S Department of Electrical Engineering and Computer Science The George Washington University Washington DC 20052 U.S.A.

Debugging, performance measurement, program testing, visualization and program modifications are some of the activities undertaken during program development. Since these activities require programming, this paper proposes a language, called an Orthogonal Language, that can be used to write both regular programs and development activities programs. An orthogonal language contains the regular programming language but must also have features that may not be in a regular language such as concurrency, exception handling and access to the run-time environment. Despite the added features, the orthogonal language is almost identical to the regular language. Development activities are programmed as fragments of programs that are inserted interactively into a regular program being developed. Fragments are supported by an extension of the scope and visibility rules of the regular language. Translation rules merge fragments into the executable image of the regular program without changing the source of the regular program. The source of fragments is also maintained.

关键词： DATA COLLECTION DEBUGGING ERROR HANDLING program modification PERFORMANCE MEASUREMENT

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：