This paper reports on a pioneer effort for the establishment of a software composite metric with key capability of distinguishing among different structures. As a part of this effort most of the previously proposed pr...This paper reports on a pioneer effort for the establishment of a software composite metric with key capability of distinguishing among different structures. As a part of this effort most of the previously proposed program control-flow complexity metrics are evaluated. It is observed that most of these metrics are inherently limited in distinguishing capability. However, the concept of composite metrics is potentially useful for the development of a practical metrics. This paper presents a methodology for the develop- ment of a practical composite metric using statistical techniques. The proposed metric differs from all previous metrics in 2 ways: (1) It is based on an overall structural analysis of a given program in deeper and broader context. It captures various structural measurements taken from all existing structural levels; (2) It unifies a set of 19 important structural metrics. The compositing model of these metrics is based on statistical techniques rather than on an arbitrary method. Experinces with the pro- posed metric clearly indicate that it distinguishes different structures better than the previous metrics.展开更多
The fast development of the Internet has extended wider space for Information and Communications Technology(ICT),and it has brought a series of challenges for traditional software theories,models,approaches and techno...The fast development of the Internet has extended wider space for Information and Communications Technology(ICT),and it has brought a series of challenges for traditional software theories,models,approaches and technologies.This paper looks back some popular Internet-based new computing paradigms and application schemas,discusses the current status and the future trend of software technologies for Internet Computing,including topics of software model,software runtime supporting platform,software development methodologies and software quality measurement and assurance.展开更多
The concept of institution of variable truth values is introduced and somemain results about institutions are generalized. In particular, some propertiesof institutions of variable truth vaues preserved by change of t...The concept of institution of variable truth values is introduced and somemain results about institutions are generalized. In particular, some propertiesof institutions of variable truth vaues preserved by change of truth values areestablished.展开更多
The problem of putting consistent theories together in institutions is dis-cussed. A general necessary condition for consistency of the resulting theory iscarried out, and some sufficient conditions are given for diag...The problem of putting consistent theories together in institutions is dis-cussed. A general necessary condition for consistency of the resulting theory iscarried out, and some sufficient conditions are given for diagrams of theories inwhich shapes are tree bundles or directed graphs. Moreover, some transforma-tions from complicated cases to simple ones are established.展开更多
Despite a short history of the Web development, Web-related technologies are rapidly develop- ing. However, the Web application quality is improving slowly, which requires efficient methods for devel- oping Web system...Despite a short history of the Web development, Web-related technologies are rapidly develop- ing. However, the Web application quality is improving slowly, which requires efficient methods for devel- oping Web systems. This study presents a model for Web-based software development for analysis and design phases based on the ISO/IEC 12207 standard. It describes the methods used to define processes and entities in order to reflect the contents in Web applications. It applies the methodology of Web-Road Map by KCC Information and Technology using this model to the public project. As a result, Web-Road Map is proven to be an efficient model to analyze and design Web-applications.展开更多
文摘This paper reports on a pioneer effort for the establishment of a software composite metric with key capability of distinguishing among different structures. As a part of this effort most of the previously proposed program control-flow complexity metrics are evaluated. It is observed that most of these metrics are inherently limited in distinguishing capability. However, the concept of composite metrics is potentially useful for the development of a practical metrics. This paper presents a methodology for the develop- ment of a practical composite metric using statistical techniques. The proposed metric differs from all previous metrics in 2 ways: (1) It is based on an overall structural analysis of a given program in deeper and broader context. It captures various structural measurements taken from all existing structural levels; (2) It unifies a set of 19 important structural metrics. The compositing model of these metrics is based on statistical techniques rather than on an arbitrary method. Experinces with the pro- posed metric clearly indicate that it distinguishes different structures better than the previous metrics.
基金supported by the National Basic Research Program of China (2009CB320700)the National Natural Science Foundation of China (60821003)
文摘The fast development of the Internet has extended wider space for Information and Communications Technology(ICT),and it has brought a series of challenges for traditional software theories,models,approaches and technologies.This paper looks back some popular Internet-based new computing paradigms and application schemas,discusses the current status and the future trend of software technologies for Internet Computing,including topics of software model,software runtime supporting platform,software development methodologies and software quality measurement and assurance.
文摘The concept of institution of variable truth values is introduced and somemain results about institutions are generalized. In particular, some propertiesof institutions of variable truth vaues preserved by change of truth values areestablished.
文摘The problem of putting consistent theories together in institutions is dis-cussed. A general necessary condition for consistency of the resulting theory iscarried out, and some sufficient conditions are given for diagrams of theories inwhich shapes are tree bundles or directed graphs. Moreover, some transforma-tions from complicated cases to simple ones are established.
文摘Despite a short history of the Web development, Web-related technologies are rapidly develop- ing. However, the Web application quality is improving slowly, which requires efficient methods for devel- oping Web systems. This study presents a model for Web-based software development for analysis and design phases based on the ISO/IEC 12207 standard. It describes the methods used to define processes and entities in order to reflect the contents in Web applications. It applies the methodology of Web-Road Map by KCC Information and Technology using this model to the public project. As a result, Web-Road Map is proven to be an efficient model to analyze and design Web-applications.