期刊导航
期刊开放获取
重庆大学
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
时序Ada网的语言性质
被引量：
1
1
作者
丁志军
蒋昌俊
《控制与决策》
EI
CSCD
北大核心
2003年第1期49-52,57,共5页
在 Ada网的基础上 ,利用时序 Petri网为 Ada任务程序建模 ,提出了时序 Ada网的概念。利用时序 Ada网 ,可以很好地反映 Ada程序的公平性和原子性要求及描述程序的需求规范。对时序 Ada网的语言性质进行分析 ,结论表明时序 Ada网所能接受...
在 Ada网的基础上 ,利用时序 Petri网为 Ada任务程序建模 ,提出了时序 Ada网的概念。利用时序 Ada网 ,可以很好地反映 Ada程序的公平性和原子性要求及描述程序的需求规范。对时序 Ada网的语言性质进行分析 ,结论表明时序 Ada网所能接受的网语言能完整地刻画程序的动态行为和时序关系 ,有助于对程序性质的分析和验证。
展开更多
关键词
语言性质
时序PETRI网
时序
ada
网
ada
语言
下载PDF
职称材料
Ada任务的结构测试
2
作者
陈曦
《计算机工程与设计》
CSCD
北大核心
1997年第6期53-57,共5页
ｄａ语言中，任务的运行方式与顺序执行的程序的运行方式完全不同。本文重点介绍对Ａｄａ软件进行结构测试时，任务单元的一些特殊问题及其解决方法。在建立分支表示及插装时，需分析任务语句的不同特点及其语法现象，按不同的情况作相...
ｄａ语言中，任务的运行方式与顺序执行的程序的运行方式完全不同。本文重点介绍对Ａｄａ软件进行结构测试时，任务单元的一些特殊问题及其解决方法。在建立分支表示及插装时，需分析任务语句的不同特点及其语法现象，按不同的情况作相应处理，从而使测试结果能真实地反映被测程序的结构特性。
展开更多
关键词
软件开发
ada
语言
软件测试
结构测试
下载PDF
职称材料
基于Ada的交叉引用语言CRL/Ada
3
作者
张路军
徐勇
徐宝文
《小型微型计算机系统》
CSCD
北大核心
1999年第2期137-140,共4页
本文介绍一种基于Ａｄａ的交叉引用语言ＣＲＬ／Ａｄａ，它用于描述Ａｄａ程序实体的定义与引用信息．在软件维护的过程中，利用它可以方便地获得软件源程序中的实体信息．本文将介绍它的设计思想、程序结构与应用．
关键词
交叉引用语言
软件维护
CRL/
ada
语言
ada
语言
下载PDF
职称材料
高职程序设计课程的教学探讨
被引量：
1
4
作者
郭静
《电脑知识与技术（过刊）》
2009年第11X期9005-9007,共3页
在高职院校中,程序设计课程不仅是计算机专业的主干课程,在非计算机专业的教学中也逐步占据了主导地位。针对此类课程枯燥、难懂等问题,该文从课程教学、课程设计和考试考核三个方面着手,探讨在教学中如何培养学生主动学习的兴趣,使学...
在高职院校中,程序设计课程不仅是计算机专业的主干课程,在非计算机专业的教学中也逐步占据了主导地位。针对此类课程枯燥、难懂等问题,该文从课程教学、课程设计和考试考核三个方面着手,探讨在教学中如何培养学生主动学习的兴趣,使学生通过本课程的学习,掌握程序设计的方法,具备小型项目开发的能力。
展开更多
关键词
程序设计
实例教学
任务驱动
教考分离
下载PDF
职称材料
软件技术专业中《C语言+数据结构》课程整合教学改革的探索与实践
5
作者
李文娟
《自动化与仪器仪表》
2015年第1期207-208,共2页
《C语言程序设计》与《数据结构》是软件技术专业的两门专业基础课程,在传统的教学模式中,这两门课程是独立讲授的。本文通过分析传统教学模式中存在的弊端,从课程间的内在联系揭示了课程整合的可行性,并从整体设计和单元设计两方面提...
《C语言程序设计》与《数据结构》是软件技术专业的两门专业基础课程,在传统的教学模式中,这两门课程是独立讲授的。本文通过分析传统教学模式中存在的弊端,从课程间的内在联系揭示了课程整合的可行性,并从整体设计和单元设计两方面提出了课程整合的思路与实践,以更好地培养学生的技术应用能力、职业实践能力和创新能力。
展开更多
关键词
C语言
数据结构
整合
任务驱动
下载PDF
职称材料
题名
时序Ada网的语言性质
被引量：
1
1
作者
丁志军
蒋昌俊
机构
山东科技大学信息科学与工程学院
同济大学计算机科学与工程系
出处
《控制与决策》
EI
CSCD
北大核心
2003年第1期49-52,57,共5页
基金
国家自然科学基金资助项目 (6 99730 2 9
6 99330 2 0 )
+1 种基金
国家杰出青年科学基金资助项目 (6 0 12 5 2 0 5 )
全国优秀博士论文专项基金资助项目(199934 )
文摘
在 Ada网的基础上 ,利用时序 Petri网为 Ada任务程序建模 ,提出了时序 Ada网的概念。利用时序 Ada网 ,可以很好地反映 Ada程序的公平性和原子性要求及描述程序的需求规范。对时序 Ada网的语言性质进行分析 ,结论表明时序 Ada网所能接受的网语言能完整地刻画程序的动态行为和时序关系 ,有助于对程序性质的分析和验证。
关键词
语言性质
时序PETRI网
时序
ada
网
ada
语言
Keywords
ada
(
programming
language
)
Petri nets
Structural design
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Ada任务的结构测试
2
作者
陈曦
机构
北京航空航天大学软件工程研究所
出处
《计算机工程与设计》
CSCD
北大核心
1997年第6期53-57,共5页
文摘
ｄａ语言中，任务的运行方式与顺序执行的程序的运行方式完全不同。本文重点介绍对Ａｄａ软件进行结构测试时，任务单元的一些特殊问题及其解决方法。在建立分支表示及插装时，需分析任务语句的不同特点及其语法现象，按不同的情况作相应处理，从而使测试结果能真实地反映被测程序的结构特性。
关键词
软件开发
ada
语言
软件测试
结构测试
Keywords
structures tests ada programming language tasks
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于Ada的交叉引用语言CRL/Ada
3
作者
张路军
徐勇
徐宝文
机构
东南大学计算机科学与工程系
出处
《小型微型计算机系统》
CSCD
北大核心
1999年第2期137-140,共4页
文摘
本文介绍一种基于Ａｄａ的交叉引用语言ＣＲＬ／Ａｄａ，它用于描述Ａｄａ程序实体的定义与引用信息．在软件维护的过程中，利用它可以方便地获得软件源程序中的实体信息．本文将介绍它的设计思想、程序结构与应用．
关键词
交叉引用语言
软件维护
CRL/
ada
语言
ada
语言
Keywords
ada
Cross reference
language
Software maintenance Program structure
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
高职程序设计课程的教学探讨
被引量：
1
4
作者
郭静
机构
扬州工业职业技术学院
出处
《电脑知识与技术（过刊）》
2009年第11X期9005-9007,共3页
文摘
在高职院校中,程序设计课程不仅是计算机专业的主干课程,在非计算机专业的教学中也逐步占据了主导地位。针对此类课程枯燥、难懂等问题,该文从课程教学、课程设计和考试考核三个方面着手,探讨在教学中如何培养学生主动学习的兴趣,使学生通过本课程的学习,掌握程序设计的方法,具备小型项目开发的能力。
关键词
程序设计
实例教学
任务驱动
教考分离
Keywords
programming
language
examples of teaching
task-driven
separation of teaching and testing
curriculum design
分类号
TP311.1-4 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
软件技术专业中《C语言+数据结构》课程整合教学改革的探索与实践
5
作者
李文娟
机构
定西师范高等专科学校计算机系
出处
《自动化与仪器仪表》
2015年第1期207-208,共2页
文摘
《C语言程序设计》与《数据结构》是软件技术专业的两门专业基础课程,在传统的教学模式中,这两门课程是独立讲授的。本文通过分析传统教学模式中存在的弊端,从课程间的内在联系揭示了课程整合的可行性,并从整体设计和单元设计两方面提出了课程整合的思路与实践,以更好地培养学生的技术应用能力、职业实践能力和创新能力。
关键词
C语言
数据结构
整合
任务驱动
Keywords
C
programming
language
Data structure
Integration
Task-driven
分类号
TP312.1 [自动化与计算机技术—计算机软件与理论]
TP311.12 [自动化与计算机技术—计算机软件与理论]
G712 [文化科学—职业技术教育学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
时序Ada网的语言性质
丁志军
蒋昌俊
《控制与决策》
EI
CSCD
北大核心
2003
1
下载PDF
职称材料
2
Ada任务的结构测试
陈曦
《计算机工程与设计》
CSCD
北大核心
1997
0
下载PDF
职称材料
3
基于Ada的交叉引用语言CRL/Ada
张路军
徐勇
徐宝文
《小型微型计算机系统》
CSCD
北大核心
1999
0
下载PDF
职称材料
4
高职程序设计课程的教学探讨
郭静
《电脑知识与技术（过刊）》
2009
1
下载PDF
职称材料
5
软件技术专业中《C语言+数据结构》课程整合教学改革的探索与实践
李文娟
《自动化与仪器仪表》
2015
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
