IEEE软件工程学报（TSE），第9卷
第9卷第1期，1983年1月
理查德·斯诺德格拉斯 :
面向对象的命令语言。 1-8 罗伯特·库克 , 托马斯·勒布朗 :
用于实现具有显式范围控制的语言的符号表抽象。 8-12 大卫·亚历克斯·兰姆 , 保罗·N·希芬格 :
使用Ada任务模拟程序变量。 13-15 保罗·安奇洛蒂 , 毛里利奥·博阿里 , 诺玛·利特玛 :
访问控制的语言功能。 16-25 Jun-ichi Aoe公司 , 山本洋新 , 岛田龙久 :
一种减少弱优先分析器的实用方法。 25-30 劳伦斯·A·罗 , 库尔特·肖恩斯 :
屏幕定义的编程语言结构。 31-39 巴里·雅各布斯 , 辛西娅·沃尔扎克 :
一种基于数据库逻辑的通用查询示例数据操作语言。 40-57
彼得·M·G·阿佩斯 , 艾伦·R·海夫纳 , S.冰尧 :
分布式查询的优化算法。 57-68 埃德温·J·刘 , 多梅尼科·法拉利 :
多级虚拟存储器中的程序重组。 69-79 托鲁·西崎 :
在多程序计算机系统中进行膝关节标准的实验。 79-86 克莱门特·H·C·梁 :
辅助存储碎片分析。 87-93 卡里·A·库坦 , 拉尔夫·格里斯沃尔德 , 大卫·R·汉森 :
衡量图标程序的性能和行为。 93-103 R.R.Oldehoeft先生 :
程序图和执行行为。 103-108 雷蒙德·玛丽 , 让·佩洛梅尔 :
具有一般服务分布和状态相关到达的队列的稳态概率。 109-113 卡尔·A·阳光 , 大卫·H·汤普森 , 罗迪·埃里克森 , 苏珊·L·格哈特 , 丹尼尔·施瓦布 :
修正了“使用状态转移模型对AFFIRM中通信协议的规范和验证”。 113
第9卷第2期，1983年3月
约翰·穆萨 :
客座编辑：COMPSAC’81专区。 118-119 丽莎·鲁宾 :
语法导向的漂亮打印——走向语法导向编辑器的第一步。 119-127 约翰·卡恩斯 , 塞缪尔·德法齐奥 :
层次数据库系统中的引用位置。 128-134 Maggie Y.L.叶 , 劳伦斯·V·萨克斯顿 , 维杰·拉加万 :
关于最佳指标集的选择。 135-143 Duen-Ping Tsay公司 , 明·T·刘 :
MIKE：分布式双环计算机网络的网络操作系统。 143-154 文森特·沈（Vincent Y.Shen） , 塞缪尔·孔特 , 休伯特·邓斯莫尔 :
重温软件科学：对理论及其实证支持的批判性分析。 155-165 尼尔·S·库尔特 :
软件科学和认知心理学。 166-171 罗伯托·内格里尼 , 马里亚吉奥瓦纳萨米语 :
从程序图模型的结构分析中导出的一些属性。 172-178 西德尼·L·盖兹 , 乔治·卡利吉安尼斯 , 斯蒂芬·沙赫（Stephen R.Schach） :
Pascal堆的高度交互式图形跟踪。 179-185 彼得·舒尔赫斯 , 克里斯蒂安·雅各比 :
小型Pascal编译器剖析。 191 小塞缪尔·雷德文。 :
软件测试数据设计的工程方法。 191-200 让·雷内·梅南 , 莫尼克·贝克尔 :
多处理器体系结构建模。 201-210 文森特·海沃德 
, A.奥索里奥 :
自动分析汇编程序的系统。 210-213
第9卷第3期，1983年5月
帕特里夏·G·塞林格 :
分布式数据库中的最新问题。 IEEE传输。 软件工程。 9 ( 三 ) : 218 ( 1983 ) 夫婿史金 , 迈克尔·斯通布雷克 :
分布式系统中崩溃恢复的形式化模型。 219-228 尤金·王 :
动态重物质化：使用冗余数据处理分布式查询。 228-232 菲利普·A·伯恩斯坦 , 内森·古德曼 , Ming-Yee Lai先生 :
分析用户和系统操作不同时的并发控制算法。 233-239 小道格拉斯·斯托特·帕克。 , 杰拉尔德·波佩克 , 杰拉德·鲁迪辛 , 阿伦·斯托顿 , 布鲁斯·沃克 , 伊芙琳·沃尔顿 , 乔安娜·M·周 , 大卫·A·爱德华兹 , 斯蒂芬·基瑟 , 查尔斯·克莱恩 :
分布式系统中相互不一致性的检测。 240-247 扬·范登·博斯 , 马林努斯·普拉斯梅耶尔 , 彼得·哈特尔 :
输入输出工具：交互式和实时系统的语言工具。 247-259 路易吉·洛格里波 , 道格拉斯·R·斯科斯 :
文件结构、程序结构和属性语法。 260-266 诺亚·S·普利斯 , 阿米尔·普努利 :
将非过程规范编译成计算机程序。 267-279 弗兰克·G·帕根 :
抽象语法和抽象结构对象的图示符号。 280-289 格伦·麦克尤恩 :
基于程序分析的安全系统设计。 289-299 多梅尼科·法拉利 , Yiu-Yo Yih先生 :
VSWS：可变间隔采样工作集策略。 299-305 M.W.Du先生 , 谢霆锋 , K.F.Jea先生 , D.W.Shieh先生 :
一种新的完美哈希方案的研究。 305-313 穆库尔·辛哈 :
非敏感数据和近似交易。 314-322 哈维·科赫 , 彼得·库巴特 :
计算机软件的最佳发布时间。 323-327 保罗·麦克马林 , 约翰·甘农 :
测试与正式规范的结合：案例研究。 328-335 史蒂文·泽尔 :
测试程序语句的扰动。 335-346 贾纳斯·W·拉斯基 , 博格丹·科雷尔 :
一种面向数据流的程序测试策略。 347-354 托马斯·安德森 , 约翰·C·奈特 :
实时系统中的软件容错框架。 355-364 Rangasami L.Kashyap公司 , B.约翰·奥门 :
噪声子串匹配问题。 365-370 J.R.贾加纳森 , R.Vasudevan公司 :
关于“分布式数据库系统死锁检测协议”的评论。 371
第9卷第4期，1983年7月
伊戈尔·霍里兹基维茨 :
一种语义设计方法。 373-384 埃里克·卡尔森 , 詹姆斯·雷恩 , 丹尼尔·L·韦勒 :
显示管理系统的软件结构。 385-394 约翰·怀特 :
关于计算中抽象数据类型的多重实现。 395-411 I.V.罗摩克里希南 , 詹姆斯·布朗 :
并行算法设计与应用范例。 411-415 沃纳·E·克鲁格 , 亨茨·施吕特 :
基于lambda-Expressions的应用程序评估的Petri网模型。 415-427 Jochen Ludewig公司 :
ESPRESO-过程控制软件规范系统。 427-436 苏西尔·贾约迪亚 , 刘健 , 彼得·A·吴 :
MIMD系统的并行处理方案。 436-445 彼得·韦格纳 , 斯科特·斯莫尔卡 :
进程、任务和监视器：并发编程原语的比较研究。 446-462 盖·伯纳德 :
本地计算机网络的互连：建模和优化问题。 463-470 巴拉特·K·巴拉加瓦 , 塞西尔·T·华 :
用于分析分布式并发控制算法的因果模型。 470-486 斯特凡诺·塞里 , Shamkant B.纳瓦西 , 吉奥·维德霍尔德 :
逻辑数据库模式的分布设计。 487-504 To-Yat Cheung先生 :
图遍历技术与分布式计算中的最大流问题。 504-512 Laxmi N.Bhuyan , 达玛·P·阿格拉瓦尔 :
多处理器系统上FFT算法的性能分析。 512-521 罗纳德·拉森 , 阿肖克·K·阿格拉瓦拉 :
异构双服务器指数排队系统的控制。 522-526 西尔伯查茨 :
扩展CSP以允许动态资源管理。 527-531 迈克尔·弗格森 :
超指数服务器的加权处理器共享结果。 531-535 西尔伯查茨 :
确保原子性的非双相锁定协议案例。 535-538
第9卷第5期，1983年9月
利兰·贝克 , 托马斯·E·珀金斯 :
软件工程实践综述：工具、方法和结果。 541-561 罗杰·D·H·沃伯顿 :
管理和预测实时软件的成本。 562-569 南希·利弗森 , 彼得·R·哈维 :
分析软件安全。 569-579 康斯坦斯·海特迈尔 , 约翰·D·麦克林 :
抽象需求规范：一种新方法及其应用。 580-589 罗伯特·纳尔逊 , 洛伊斯·海伯特 , 彼得·谢里登 :
将Petri网投射到程序中。 590-602 詹姆斯·库拉汉（James E.Coolahan Jr.）。 , 尼克·鲁索普洛斯 :
使用增广Petri网的时间驱动系统的定时要求。 603-616 苏西尔·贾约迪亚 , 彼得·A·吴 , Frederick N.Springsteel公司 :
实体关系图的等价问题。 617-630 伊拉杰·卡兰塔里 , 杰勒德·麦克唐纳 :
最近点问题的数据结构和算法。 631-634
第9卷第6期，1983年11月
比尔·柯蒂斯 :
软件指标：客座编辑介绍。 637-638 艾伦·J·阿尔布雷希特 , 约翰·加夫尼（John E.Gaffney Jr.）。 :
软件功能、源代码行和开发工作量预测：软件科学验证。 639-648 查尔斯·A·贝伦斯 :
使用功能点测量计算机系统开发活动的生产力。 648-652 维克托·巴西利 , 理查德·塞尔比 , 蔡云·菲利普斯 :
Fortran项目中的度量分析和数据验证。 652-663 维克托·巴西利 , 大卫·H·哈钦斯 :
句法复杂性家族的实证研究。 664-672 利昂·J·奥斯特维尔 :
工具包-一个实验性软件开发环境研究项目。 673-685 约翰·古德雷 :
测试调查的数学框架。 686-709 陈伯秀 , 雷蒙德·T·耶 :
分布式系统的形式化规范和验证。 710-722 克里蒂·拉马姆里萨姆 , 罗伯特·凯勒 :
同步过程规范。 722-733 斯蒂芬·S·尤 , 穆罕默德·乌夫克·切阿格拉扬 :
基于改进Petri网的分布式软件系统设计表示。 733-745 马丁·特雷希滕贝格 :
调试的顺序和难度。 746-747
