CÁC BÀI BÁO KHOA HỌC 03:05:42 Ngày 20/01/2020 GMT+7
Component-based software engineering* the need to linie methods and their theories

We discuss some of the difficulties and significant issues that we need to consider when developing a formal method for component-based software engineering. We argue that to deal with the challenges, there is a need in research to link existing theories and methods of programming for effective support to component-based software engineering. We then present our initiative on a unified multi-view approach to modelling, design and analysis of component systems, emphasising the integration of models for different views. © Springer-Verlag Berlin Heidelberg 2005.

 He J., Li X., Liu Z.
   732.pdf    Gửi cho bạn bè
  Từ khóa : Components; Computer simulation; Contracts; Formal logic; Interfaces (computer); Logic design; Network protocols; Consistency; Functionality; Refinement; Software engineering