微信服务号

微信订阅号

2025-5-16- 21
Home > Archive>Volume 7, Issue 12, 1996 >728-734
PDF HTML XML Export Cite reminder
The NECESSARY AND SUFFICIENT CONDITION OF PERFECT MODEL
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [1]
    • |
  • Related [20]
    • | | |
  • Comments
    Abstract:

    This paper outline the design and implementation of the PCLAgenda.PCLAgenda is a process-centered software engineering environment provided by SCOP system.Its functionality includes defining the software development process,guiding,controlling and aytomating the steps of software development,and supporting the cooperative work among individuals and teams.The kernel of PCLAgenda is the activity-cen-tered process model based on SCOP software development methodology.

    Reference
    1 Ceri S，Gottlob G，Tanca L．Logic programming and database．Berlin Heidelberg：Springer-Verlag，1990．215～225． 2 Lloyd J W. Foundation of logic programming．Berlin Heidelberg：Springer-Verlag，1984． 3 Chandra A, Harel D. Horn clause queries and generalizations．Journal of Logic Programming，1985，1：1～15． 4 Ullman J D. 数据库与知识库系统原理(卷Ⅱ新技术)．徐秋元等译．西安：陕西省新闻出版局，1991． 5 Lifschitz V. On the declarative semantics of logic programs with negation．Proc．of Workshop on foundations of deduetive databases and logic programming，August 1986．420～432． 6 Tsur S, Zanilol C. LDL：a logic-based data-language．Proc．12th Int Conf．on Very Large Databases，Kyoto, Japan，1986． 7 Beeri C, Naqri S．Sets and negation in a logic database language (LDLl)．ACM Conf．on Principles of Database Systems，San Diego，1987．21～37． 8 Chen Weidong. HILOG：a foundation for higher-order logic programming．J．Logic Programming，1993，15：187～230． 9 Serge Abiteboul. COL：a logic-based language for complex objects．Workshop on Database Programming Language，1987． 10 Gabriel M Kuper．Logic programming with sets．ACM SIGACT/SIGMOD Symposium on Principle of Database Systems，1987．
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

黄东斌,李磊.完美模型的充要条件及其结构分析.软件学报,1996,7(12):728-734

Copy
Share
Article Metrics
  • Abstract:4180
  • PDF: 5125
  • HTML: 0
  • Cited by: 0
History
  • Revised:December 11,1995
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2045019Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063