%0 Journal Article
%T The NECESSARY AND SUFFICIENT CONDITION OF PERFECT MODEL<br>完美模型的充要条件及其结构分析
%A Huang Dongbin
%A Li LEI
%A <br>黄东斌
%A 李磊
%J 软件学报
%D 1996
%I 
%X 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.
%K Logic program
%K Herbrand model
%K stratified program
%K perfect model<br>逻辑程序
%K Herbrand模型
%K 分层程序
%K 完美模型
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=F6FA02E754817912FB67DBD4381BD760&yid=8A15F8B0AA0E5323&vid=DF92D298D3FF1E6E&iid=59906B3B2830C2C5&sid=4D1A534FF6CD5D9A&eid=7F9B7E84827A650F&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=10