Dissertation > Excellent graduate degree dissertation topics show

Research of Application on Component-Based Formal Method on Software Development

Author: WangYongWei
Tutor: YangJing
School: Harbin Engineering University
Course: Applied Computer Technology
Keywords: Component Model Linkers Formal Z language session type
CLC: TP311.52
Type: Master's thesis
Year: 2010
Downloads: 87
Quote: 2
Read: Download Dissertation

Abstract


Based on component-based software development is to improve software productivity and improve software quality , solve software crisis is a hot research field of software reuse ; solve the software crisis, on the other hand is how to establish a strict mathematical methods , how to conduct a formal software development. How the combination of component-based software development and formal methods is an important direction of the development of the software development . In view of the lack of rigorous mathematical reasoning component-based software development , there is no formal specification , most of the development process using a natural language description of this paper, the component-based formal software development model , focusing on the needs analysis in the model formalize the design phase of software architecture , formal component model and formalization of component interaction . For inaccurate and ambiguity of traditional software development needs analysis , formal representation of the expansion , and an example of the formal representation described using the Z language needs analysis , which has to eliminate ambiguity needs analysis and inconsistency of capacity. Needs analysis to focus on how to portray the problem space , the software architecture is concerned about how to characterize the solution space , needs analysis , software architecture is not conclusive , given access to the method of the outline design software architecture based on function and three development framework . Lack of information for the component interface definition at this stage of component behavior and interaction protocols using formal language session type defines the components, connectors, sub- component interaction semantics , refinement of the completion of the detailed design phase of software architecture , enhanced component interface information descriptive ability. Finally, the formal software development model used in component-based office supplies management system in a company OA development, and the results show that the model has the feasibility and applicability , and has a certain practical value .

Related Dissertations

  1. Research and Implementation on Knowledge Representation of Gene Regulatory Network,Q78
  2. Fuzzy Rhetoric Research of the Literary Language,H05
  3. A Contrastive Study of Buyi Language and English Speech Sounds,H319
  4. A Study of the Application of TBLT to English Teaching in Rural Middle School,H319
  5. Research on Structure Transition Technology for SMT,TP391.2
  6. Development of Software Platform for Electro-Optical Test System,TP311.52
  7. Word Sense Disambiguation Corpus Automatic Acquisition,TP391.1
  8. Study of Classic Style Renaissanceand It′Sapply in Modern Fashion Design,TS941.2
  9. The use of mathematical methods in language teaching,G633.3
  10. Study on Two-way Interaction between the Sense of Language and Reading in Chinese Teaching in Primary Schools,G623.2
  11. Zhou full significance of theoretical study,B812
  12. Incomplete information on the completeness of the system and its knowledge acquisition,TP311.13
  13. Korean Students ' Acquisition of Chinese Classifiers error analysis,H195
  14. The senior Chinese as a foreign language textbooks in literary works,H195
  15. English -speaking Chinese learners willing verb bias analysis,H195
  16. Japan’s Textbook on Modern Beijing Mandarin "Language from Near Sets" Inheritance and Development,H195
  17. The interrogative pronouns Non - doubt usage Acquisition of Russian students,H195
  18. On Chinese New Words Teaching,H195
  19. The culture of the Chinese as a Foreign Language Teaching cross-cultural awareness,H195
  20. The game type tasks pedagogy international Chinese teaching,H195
  21. Summary of Dissertation about Tone Adverbs,H146

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Program design,software engineering > Software Engineering > Software Development
© 2012 www.DissertationTopic.Net  Mobile