Dissertation > Excellent graduate degree dissertation topics show

Implementation of Composed Data Type in Apla Through Delphi

Author: KangLiang
Tutor: XueJinYun
School: Jiangxi Normal University
Course: Applied Computer Technology
Keywords: Combined data PAR method Apla language Abstract data
CLC: TP312.1
Type: Master's thesis
Year: 2008
Downloads: 18
Quote: 0
Read: Download Dissertation

Abstract


Professor Xue Jinyun in 863 countries and a number of National Natural Science Fund funding, creatively put forward a formal development method - PAR method. Is to use mathematical and logical method to describe and verify that the software the PAR method described in the program is rigorous derivation of proved, so to ensure the correctness and reliability of the program. And because PAR method and PAR automatic conversion system algorithm the Statute to abstract program as well as to the automatic conversion of the executable program, so that part of the software development automation. Apla an abstract algorithm description language, it has a high level of abstraction, expressing strong characteristics. The Apla language tree collection sequence and combination of data types as the predefined type, and contains a the obvious syntax mechanism to support generic programming and user-defined ADT type. The contrary, can not be directly used Object Pascal tree collection, sequence and combination type. How in Delphi support the Apla of these mechanisms are the focus of this paper to study and difficult Apla - Delphi automatic program conversion system's goal is to make all the right Apla program can get the correct converter Delphi program, and be able to run to get the right results. The source language of the converter is Apla, the target language is Object Pascal Delphi compiler. This article made is an important part of the PAR method. Is also an important part of the National Natural Science Foundation of China \The main objective of this study is to further improve the automatic converter parts library. Right to achieve to achieve the Apla language in the combination of data types in Delphi. In response to these research objectives of this thesis were the following: analysis of the existing formal methods and their supporting tools, and the the PAR method as the theoretical basis of this study. The generic research Apla language programming mechanism to convert the Delphi language program. Apla-Delphi converter, the concrete realization of the Apla combination of data types in Delphi. Perfect Apla-Delphi automatic program conversion system. Further work includes improve the Apla - Delphi automatic program conversion system conversion mechanism; improve the reliability of automatic program conversion system Apla-Delphi; instance increase Apla conversion, so that the degree of commercialization of products to improve can further product and apply to the actual in software development in order to promote the rapid development of the software industry.

Related Dissertations

  1. The Weakest Pre-Predicate Generator Design and Implementation Based PAR,TP311.11
  2. Analysis Design and Implementation of Generator for Safety Management System Running on PDA,TP311.52
  3. The Analysis of Isabelle Theorem Prover and Its Application in PAR Method/PAR Platform,TP311.11
  4. Development of Relational Algebra to Relational Calculus Conversion System,TP311.1
  5. Based on a combination of data types Delphi PAR method to achieve,TP311.11
  6. Research on Loop Invariant Development Technology,TP311.52
  7. Development of APLA to C++ Automatic Program Transformation System,TP311.5
  8. Implementation of Composed Data Type in APLA Through C++,TP311.52
  9. Development of APLA-JAVA Automatic Program Transformation System,TP311.5
  10. Research and Implement of Radl->Apla Automatic Program Transformation System,TP311.52
  11. Integration and Application of Programming Intelligent Computer-Aided Instruction PICAI,TP311.5
  12. The Description and Realization of RelatioalDatabase Mechanism in PAR Method,TP311.138
  13. Design and Implementation of Apla to VB.NET Automatic Program Transformation System,TP311.11
  14. Research and Application of On-line Network Teaching System Using PAR Method Based on Streaming Media Technology,TP319
  15. The Applied Research of PAR Method on Combinatorics Problems,TP301.6
  16. The Applied Research of PAR Method on the Problems of the Informatics Olympiad Race,TP301
  17. The Research and Implementation of Component Software Development Based on PAR Method,TP311.52
  18. The Research on the Application of PAR Method in Constructing High-Reliability MIS,TP311.52
  19. RADL->APLA Algorithm Program Automatic Transformor Experiment System Study,TP311.52
  20. The Applied Research of PAR Method in Numerical Methods,TP311.52

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Programming language ALGOL
© 2012 www.DissertationTopic.Net  Mobile