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

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

来源：评论

学校读者我要写书评

暂无评论

The Evolution of programs: Automatic program modification

引用

IEEE Transactions on Software Engineering 1977年第6期SE-3卷 377-385页

作者： Dershowitz, Nachum Manna, Zohar Stanford Artificial Intelligence Laboratory Department of Computer Science Stanford University Stanford CA 94305 United States

An attempt is made to formulate techniques of program modification, whereby a given program that achieves one goal can be transformed into a new program that uses the same principles to achieve a different goal. For example, a program that uses the binary search paradigm to calculate the square root of a number may be modified to divide two numbers in a similar manner, or vice versa. The essence of the approach is to find an analogy between the specifications of the given and desired programs, and then to transform the given program accordingly. program debugging is considered as a special case of modification: if a program computes wrong results, it must be modified to achieve the intended results. The instantiation of abstract program schemata to concrete problems is also viewed from the perspective of modification techniques. We have embedded this approach in a running implementation;our methods are illustrated with several examples that have been performed by it. Copyright © 1977 by The Institute of Electrical and Electronics Engineers, Inc.

关键词： program program debugging program modification schemata transformations

来源：评论

学校读者我要写书评

暂无评论

Technique of Verified program Module modification with Algorithm Preservation 11

Technique of Verified Program Module Modification with Algor...

引用

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

MODULARIZATION OF LARGE programS

引用

SOFTWARE-PRACTICE & EXPERIENCE 1981年第5期11卷 497-520页

作者： HENDERSON, P GIMSON, RB NATL UNIV IRELAND UNIV COLL DUBLIN DEPT COMPUTING SCIDUBLINIRELAND UNIV NEWCASTLE UPON TYNE COMPUTING LABNEWCASTLE TYNE NE1 7RUTYNE & WEARENGLAND

This report describes a macroprocessor, ‘Supermac’, and its use for modularization of large programs. The development of the macroprocessor and its application to program modularization was undertaken in a research project sponsored by GEC Telecommunications, Coventry, and this document forms the final report of that project. The project arose from the wish to be able to structure large pieces of software, written in a conventional programming language, in order to make them more easily understood and hence more easily constructed, maintained and modified. In this report the use of the specially developed Supermac macroprocessor to achieve better structured programs will be described in detail. A full definition of the Supermac notation.

关键词： Modulization Macroprocessor String processing program modification Preprocessor Inner mechanism

来源：评论

学校读者我要写书评

暂无评论

THE programMERS APPRENTICE - KNOWLEDGE BASED program EDITING

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1982年第1期8卷 1-12页

作者： WATERS, RC Artificial Intelligence Laboratory Massachusetts Institute of Technology

An interactive programming aid called the programmer's apprentice (PA) has been developed. The intention is that the programmer will do the hard parts of design and implementation, while PA will supply all routine elements. The current version of PA is composed of 5 parts: 1. an analyzer that can construct the plan for a program, 2. a coder that can create program text corresponding to the plan, 3. a drawer that can draw a graphical representation of the plan, 4. a library of plans for common algorithmic fragments, and 5. a plan editor that makes it possible for a programmer to modify a program by modifying its plan.

关键词： Transformations Computer Aided Design Editing Lisp Plans program Analysis programmers Apprentice program modification program Synthesis program Understanding

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：