咨询与建议

限定检索结果

文献类型

  • 201 篇 期刊文献
  • 88 篇 会议
  • 38 册 图书
  • 7 篇 学位论文

馆藏范围

  • 331 篇 电子文献
  • 5 种 纸本馆藏

日期分布

学科分类号

  • 258 篇 工学
    • 225 篇 计算机科学与技术...
    • 189 篇 软件工程
    • 39 篇 电气工程
    • 31 篇 控制科学与工程
    • 16 篇 信息与通信工程
    • 7 篇 机械工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 航空宇航科学与技...
    • 2 篇 仪器科学与技术
    • 2 篇 电子科学与技术(可...
    • 2 篇 建筑学
    • 2 篇 生物医学工程(可授...
  • 43 篇 理学
    • 24 篇 数学
    • 9 篇 生物学
    • 4 篇 物理学
    • 4 篇 系统科学
    • 2 篇 统计学(可授理学、...
  • 23 篇 管理学
    • 17 篇 管理科学与工程(可...
    • 7 篇 图书情报与档案管...
    • 3 篇 工商管理
  • 9 篇 农学
  • 6 篇 教育学
    • 4 篇 心理学(可授教育学...
    • 3 篇 教育学
  • 5 篇 法学
    • 3 篇 社会学
    • 2 篇 法学
    • 1 篇 政治学
  • 3 篇 医学
    • 2 篇 临床医学
  • 2 篇 哲学
    • 2 篇 哲学
  • 2 篇 文学
    • 2 篇 中国语言文学
    • 2 篇 外国语言文学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 艺术学

主题

  • 334 篇 structured progr...
  • 27 篇 software enginee...
  • 13 篇 programming lang...
  • 12 篇 data structures
  • 11 篇 pascal
  • 10 篇 control structur...
  • 10 篇 object-oriented ...
  • 9 篇 software tools
  • 8 篇 cobol
  • 7 篇 nasa technical r...
  • 7 篇 (ntrs)
  • 7 篇 flowchart
  • 7 篇 software reliabi...
  • 7 篇 program design
  • 7 篇 program
  • 6 篇 programming
  • 6 篇 ada
  • 6 篇 program verifica...
  • 6 篇 system analysis ...
  • 5 篇 data processing

机构

  • 4 篇 naval postgradua...
  • 3 篇 united states na...
  • 2 篇 ibm corp thomas ...
  • 2 篇 univ copenhagen ...
  • 2 篇 michael jackson ...
  • 2 篇 softech inc walt...
  • 2 篇 ibm federal syst...
  • 2 篇 harbin engn univ...
  • 2 篇 univ limerick co...
  • 2 篇 univ london lond...
  • 1 篇 institut für com...
  • 1 篇 department of co...
  • 1 篇 ohio state univ ...
  • 1 篇 department of co...
  • 1 篇 univ. grenoble a...
  • 1 篇 univ pisa dept c...
  • 1 篇 computer science...
  • 1 篇 penn mutual life
  • 1 篇 national physica...
  • 1 篇 département d'in...

作者

  • 3 篇 gluck robert
  • 2 篇 mills hd
  • 2 篇 zhang xihui
  • 2 篇 geuzaine c
  • 2 篇 vaucher jg
  • 2 篇 kurt maly
  • 2 篇 rosen bk
  • 2 篇 triance jm
  • 2 篇 tsejtlin g.e.
  • 2 篇 nishiguchi masah...
  • 2 篇 yoshida nobuko
  • 2 篇 kaposi aa
  • 2 篇 whitty rw
  • 2 篇 dular p
  • 2 篇 smith p
  • 2 篇 carbone marco
  • 2 篇 xu jz
  • 2 篇 sakamoto kunio
  • 2 篇 chirlian
  • 2 篇 li b

语言

  • 273 篇 英文
  • 36 篇 其他
  • 23 篇 中文
  • 3 篇 俄文
检索条件"主题词=STRUCTURED PROGRAMMING"
334 条 记 录,以下是171-180 订阅
排序:
TOKEN REINFORCEMENT DURING THE INSTATEMENT AND SHAPING OF FLUENCY IN THE TREATMENT OF STUTTERING
收藏 引用
JOURNAL OF APPLIED BEHAVIOR ANALYSIS 1982年 第1期15卷 55-64页
作者: HOWIE, PM WOODS, CL UNIV NEW S WALES TEACHING HOSPSYDNEYNSWAUSTRALIA
The value of token reinforcement in the instatement and shaping of fluency was examined in an intensive treatment program for adult stutterers. Experiment 1 examined the effect of removing the tangible back-up reinfor... 详细信息
来源: 评论
Interaction and coordination of tools for structured data
收藏 引用
1st International Symposium on Leaveraging Applications of Formal Methods
作者: Arbab, Farhad Kok, Joost N. Ctr Math & Comp Sci Kruislaan 413 NL-1098 SJ Amsterdam Netherlands Leiden Univ LIACS NL-2333 CA Leiden Netherlands
This paper has an introductory nature. It sets the scene for the three papers in the thematic session "structured Data Tools". We discuss interaction and coordination in general and look more specifically at... 详细信息
来源: 评论
Analysis of pointers and structures
Analysis of pointers and structures
收藏 引用
作者: Chase, David R. Wegman, Mark Kenneth Zadeck, F. 1160 Laurel Street #2 Menlo Park CA 94025 IBM T. J. Watson Research Center P.O. Box 704 Yorktown Heights NY 10598 Computer Science Dept. Brown University P.O. Box 1910 Providence RI 02912
A different way of summarizing linked data structures that has been worst case time bounds was proposed. Unbounded data structures were summarized by taking advantage of structure present in the original program. High... 详细信息
来源: 评论
Pipeline Representation Using Generic Parallel Algorithms in Heterogeneous Parallel Computing. A comparative analysis  36
Pipeline Representation Using Generic Parallel Algorithms in...
收藏 引用
36th European Modeling and Simulation Symposium, EMSS 2024, Held at the 21st International Multidisciplinary Modeling and Simulation Multiconference, I3M 2024
作者: Rossainz-López, Mario Sánchez-Rinza, Bárbara López-Sosa, Zuriel Capel-Tuñon, Manuel Faculty of Computer Science Autonomous University of Puebla Av. San Claudio and 14 Sur Street San Manuel PueblaC.P. 72570 Mexico Software Engineering Department College of Informatics and Telecommunications ETSIIT University of Granada Daniel Saucedo Aranda s/n Granada18071 Spain
Using Parallel Objects and structured Parallel programming, the parallel representation of the Communication Pattern between Processes called Pipeline is shown, whose implementation is carried out through different mo... 详细信息
来源: 评论
Indexing point triples via triangle geometry
Indexing point triples via triangle geometry
收藏 引用
23rd International Conference on Data Engineering, ICDE 2007
作者: Cranston, Charles B. Samet, Hanan Department of Computer Science Institute for Advanced Computer Studies University of Maryland College Park
Database search for images containing icons with specific mutual spatial relationships can he facilitated by an appropriately structured index. For the case of images containing subsets each of which consist of three ... 详细信息
来源: 评论
An Analysis of Algorithms for the Dutch National Flag Problem
收藏 引用
Communications of the ACM 1978年 第10期21卷 842-846页
作者: McMaster, Colin L. Department of Electrical Engineering and Computer Sciences University of California Berkeley CA 94720 United States
Solutions to the Dutch National Flag Problem have been given by Dijkstra [1] and Meyer [3]. Dijkstra starts with a simple program and arrives at an improved program by refinement. Both of the algorithms given by Dijks... 详细信息
来源: 评论
On Preventing programming Languages from Interfering with programming
收藏 引用
IEEE Transactions on Software Engineering 1975年 第1期SE-1卷 19-26页
作者: McKeeman, W.M. Department of Information Sciences Universitv of California Santa Cruz. Calif. 95064 United States
Wirth has proposed a method of “stepwise refinement” for writing computer programs. This paper proposes that the steps be expressed as proofs. A program for the eight-queens problem is developed, and the proof metho... 详细信息
来源: 评论
Instill engineering thought in C programming teaching
Instill engineering thought in C programming teaching
收藏 引用
International Forum on Information Technology and Applications (IFITA 2009)
作者: Yuan Lihong Sun Shuangzi Yang Yong Chang Chun Univ Sci & Technol Sch Comp Sci & Technol Changchun 130022 Peoples R China
The purpose of programming course is not only to teach students the syntax of certain language, but also indicate them scientific thoughts and methods. Teachers in C language classroom should instill engineering thoug... 详细信息
来源: 评论
A structured Text to MISRA-C Translator and Issues with IEC 61131-3 Standard
A Structured Text to MISRA-C Translator and Issues with IEC ...
收藏 引用
17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
作者: Kabra, Ashutosh Karmakar, Gopinath Patil, R. K. Bhabha Atom Res Ctr Reactor Control Div Mumbai 400085 Maharashtra India
Programmable Controllers (PLC) are being increasingly used in control systems for Nuclear Power Plants. A PLC, qualified for safety applications, is attractive because it saves a lot of time in verification and valida... 详细信息
来源: 评论
An Introduction to the Construction and Verification of Alphard Programs
收藏 引用
IEEE Transactions on Software Engineering 1976年 第4期SE-2卷 253-265页
作者: Wulf, William A. Shaw, Mary London, Ralph L. Department of Computer Science Carnegie-Mellon University Pittsburgh PA 15213 United States University of Southern California Information Sciences Institute Marina del Rey CA 90291 United States
The programming language Alphard is designed to provide support for both the methodologies of “well-structuredprogramming and the techniques of formal program verification. Language constructs allow a programmer t... 详细信息
来源: 评论