| Putting Consistent Theories Together in Institutions |
| |
| 作者姓名： | Ying Mingsheng |
| |
| 作者单位： | DepartmentofMathematics,JiangxiNormalUniversity,Nanchang330027 |
| |
| 摘 要： | The problem of putting consistent theories together in institutions is discussed.A general necessary condition for consistency of the resulting theory is carried out,and some sufficient conditions are given for diagrams of theories in which shapes are tree bundles or directed graphs.Moreover,some transformations from complicated cases to simple ones are established.
|
| 关 键 词： | 软件工程 自治性理论 绝对模型理论 |
Putting consistent theories together in institutions |
| |
| Ying Mingsheng.Putting Consistent Theories Together in Institutions[J].Journal of Computer Science and Technology,1995,10(3):260-266. |
| |
| Authors: | Mingsheng Ying |
| |
| Affiliation: | Department of Mathematics; Jiangxi Normal University; Nanchang 330027; |
| |
| Abstract: | 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. |
| |
| Keywords: | Methodology of software engineering abstract model theory consistent theory |
| 本文献已被 CNKI 维普 SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载全文 |
