主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第7期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

1995年第6卷第12期目录

   
浏览其它刊期:  
  

本期目录

面向对象软件规格语言的设计
  全炳哲,金淳兆
  1995,6(12):705-711 [摘要(2675)]  [PDF 482.96 K (2744)]
  
一种琥珀体汉字字形的自动生成方法
  陆波,蔡士杰,顾进
  1995,6(12):712-718 [摘要(3071)]  [PDF 399.23 K (2652)]
  
XYZ/SE程序的验证
  张文辉
  1995,6(12):719-727 [摘要(2493)]  [PDF 478.29 K (2783)]
  
基于STREAMS的X.25分组交换网访问软件的设计与实现
  杨家海,李军,吴建平,史美林
  1995,6(12):728-733 [摘要(2684)]  [PDF 425.71 K (2823)]
  
HOS规格说明的功能理解及其应用
  吕建,费宗铭
  1995,6(12):734-741 [摘要(2724)]  [PDF 469.68 K (2421)]
  
模态K4D4系统的归结推理
  孙吉贵,李乔,刘叙华
  1995,6(12):742-750 [摘要(2653)]  [PDF 512.31 K (2365)]
  
Z规格说明中初始状态存在性的证明
  缪淮扣,John McDermid,Lan Toyn
  1995,6(12):751-760 [摘要(2385)]  [PDF 553.77 K (2414)]
  
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利