全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
软件学报  1996 

The NECESSARY AND SUFFICIENT CONDITION OF PERFECT MODEL
完美模型的充要条件及其结构分析

Keywords: Logic program,Herbrand model,stratified program,perfect model
逻辑程序
,Herbrand模型,分层程序,完美模型

Full-Text   Cite this paper   Add to My Lib

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.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133