×
作者ID: 奥斯特卫·利昂·j最近由“Osterweil,Leon J.”撰写的zbMATH文章
发布日期: Leon J.奥斯特维尔。;利昂·奥斯特威尔;奥斯特维尔,L.J。
已编制索引的文档: 9出版物自1972年起
2进一步捐款
合著者: 5位合著者具有7联合出版物
49位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

7出版物有被引用16中的次10文件 引用人 年份
评估数学编程技术。1981年1月5日至6日在科罗拉多州博尔德市国家标准局举行的会议记录。 Zbl 0481.90053号
7
1982
DAVE-Fortran程序的验证错误检测和文档系统。 Zbl 0329.68011号
Leon J.奥斯特维尔。;劳埃德·福斯迪克。
5
1976
软件可靠性中的数据流分析。 Zbl 0359.68022号
劳埃德·福斯迪克。;Leon J.奥斯特维尔。
5
1976
一些唯一3-色图类。 Zbl 0295.05105号
Leon J.奥斯特维尔。
4
1974
通过静态数据流分析检测并发软件中的异常。 Zbl 0431.68029号
理查德·泰勒。;Leon J.奥斯特维尔。
1
1980
集成程序测试和分析的策略。 Zbl 0504.68011号
利昂·奥斯特威尔
1
1981
计算机程序测试。1981年6月29日至7月3日,在意大利乌尔比诺的索盖塔举行的计算机程序测试暑期学校会议记录。 Zbl 0486.68005号
1
1981
评估数学编程技术。1981年1月5日至6日在科罗拉多州博尔德市国家标准局举行的会议记录。 Zbl 0481.90053号
7
1982
集成程序测试和分析的策略。 Zbl 0504.68011号
利昂·奥斯特威尔
1
1981
计算机程序测试。1981年6月29日至7月3日在意大利乌尔比诺Sogesta举行的计算机程序测试暑期学校会议记录。 Zbl 0486.68005号
1
1981
通过静态数据流分析检测并发软件中的异常。 Zbl 0431.68029号
理查德·泰勒。;莱昂·奥斯特韦尔。
1
1980
DAVE-一个用于Fortran程序的验证错误检测和文档系统。 Zbl 0329.68011号
Leon J.奥斯特维尔。;劳埃德·福斯迪克。
5
1976
软件可靠性中的数据流分析。 Zbl 0359.68022号
劳埃德·福斯迪克。;Leon J.奥斯特维尔。
5
1976
一些唯一3-色图类。 Zbl 0295.05105号
Leon J.奥斯特维尔。
4
1974

按年份列出的引文