咨询与建议

限定检索结果

文献类型

  • 10 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 11 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 8 篇 工学
    • 7 篇 计算机科学与技术...
    • 6 篇 软件工程
    • 1 篇 电气工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 控制科学与工程
  • 1 篇 管理学
    • 1 篇 图书情报与档案管...

主题

  • 11 篇 programming meth...
  • 2 篇 reliability
  • 2 篇 software enginee...
  • 2 篇 parallel program...
  • 2 篇 loops
  • 1 篇 power demand
  • 1 篇 incremental para...
  • 1 篇 fallibility
  • 1 篇 program correctn...
  • 1 篇 structured progr...
  • 1 篇 control structur...
  • 1 篇 power usage
  • 1 篇 quantum computin...
  • 1 篇 mobile devices
  • 1 篇 regular sets
  • 1 篇 battery charge m...
  • 1 篇 abstraction-base...
  • 1 篇 programmers
  • 1 篇 portability
  • 1 篇 software enginee...

机构

  • 1 篇 universidad de e...
  • 1 篇 caltech jet prop...
  • 1 篇 queens univ nat ...
  • 1 篇 queens univ soft...
  • 1 篇 1. milan polytec...
  • 1 篇 univ milan disi ...
  • 1 篇 department of co...
  • 1 篇 department of co...
  • 1 篇 computation depa...
  • 1 篇 univ calif irvin...
  • 1 篇 dipartimento di ...
  • 1 篇 department of co...
  • 1 篇 univ extremadura...
  • 1 篇 queens univ sch ...
  • 1 篇 univ alberta com...
  • 1 篇 univ genoa disi ...
  • 1 篇 university of to...
  • 1 篇 polytech montrea...
  • 1 篇 st francis xavie...

作者

  • 2 篇 guida g
  • 1 篇 fernandez de veg...
  • 1 篇 hindle abram
  • 1 篇 yelowitz lawrenc...
  • 1 篇 cazzola w
  • 1 篇 zhang wh
  • 1 篇 hughes jw
  • 1 篇 dillencourt mb
  • 1 篇 francisco fernán...
  • 1 篇 bic lf
  • 1 篇 friedman frank l...
  • 1 篇 asuncion a
  • 1 篇 tafliovich anya
  • 1 篇 pang candy
  • 1 篇 pan l
  • 1 篇 yang lt
  • 1 篇 colombetti m
  • 1 篇 hassan ahmed e.
  • 1 篇 ancona m
  • 1 篇 gerhart susan l.

语言

  • 8 篇 英文
  • 3 篇 其他
检索条件"主题词=Programming methodologies"
11 条 记 录,以下是1-10 订阅
排序:
Teaching programming in the 21st Century
收藏 引用
JOURNAL OF COMPUTER INFORMATION SYSTEMS 2023年 第4期63卷 841-852页
作者: Fernandez de Vega, Francisco Univ Extremadura Merida Spain
Although the teaching of programming has evolved over 50 years, all methodologies rely on a simple structure that was born a long time ago: the loop, shared by all high-level programming languages, and the preferred c... 详细信息
来源: 评论
Teaching programming in the 21stCentury
收藏 引用
Data Processor for Better Business Education 2023年 第4期63卷
作者: Francisco Fernández de Vega Universidad de Extremadura Mérida Spain
ABSTRACTAlthough the teaching of programming has evolved over 50 years, all methodologies rely on a simple structure that was born a long time ago: the loop, shared by all high-level programming languages, and th... 详细信息
来源: 评论
What Do Programmers Know about Software Energy Consumption?
收藏 引用
IEEE SOFTWARE 2016年 第3期33卷 83-89页
作者: Pang, Candy Hindle, Abram Adams, Bram Hassan, Ahmed E. Univ Alberta Comp Sci Edmonton AB T6G 2M7 Canada Polytech Montreal Montreal PQ Canada Queens Univ Software Analyt Kingston ON K7L 3N6 Canada Queens Univ Nat Sci & Engn Res Council Canada Kingston ON K7L 3N6 Canada Queens Univ Sch Comp Kingston ON K7L 3N6 Canada
Traditionally, programmers received a range of training on programming languages and methodologies, but they rarely receive training on software energy consumption. Yet, the popularity of mobile devices and cloud comp... 详细信息
来源: 评论
Predicative Quantum programming
Predicative Quantum Programming
收藏 引用
作者: Tafliovich, Anya University of Toronto
学位级别:doctor
This work presents Quantum Predicative programming ?– a theory ofquantum programming that encompasses many aspects of quantum computation and quantum communication. The theory provides amethodology to specify, imple... 详细信息
来源: 评论
Toward incremental parallelization using navigational programming
收藏 引用
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS 2006年 第2期E89D卷 390-398页
作者: Pan, L Zhang, WH Asuncion, A Lai, MK Dillencourt, MB Bic, LF Yang, LT CALTECH Jet Prop Lab Pasadena CA 91109 USA Univ Calif Irvine Donald Bren Sch Informat & Comp Sci Irvine CA 92697 USA St Francis Xavier Univ Dept Comp Sci Antigonish NS B2G 2W5 Canada
The Navigational programming (NavP) methodology is based on the principle of self-migrating computations. It is a truly incremental methodology for developing parallel programs: each step represents a functioning prog... 详细信息
来源: 评论
Static header as sentinel
收藏 引用
ACM SIGPLAN NOTICES 1998年 第6期33卷 61-64页
作者: Ancona, M Cazzola, W Univ Genoa DISI I-16100 Genoa Italy Univ Milan DISI I-20135 Milan Italy
Writing code to handle dynamic data structures might seem to be an easy task, but write an efficient, readable and maintainable code is not such a simple task. In this short note we investigate some problems in develo... 详细信息
来源: 评论
The teaching and practice of software design concepts early in a CIS curriculum
收藏 引用
Education and Computing 1986年 第4期2卷 291-303页
作者: Friedman, Frank L. Department of Computer and Information Sciences Temple University Philadelphia PA 19122 United States
The wealth of literature on software design issues has not yet been synthesized or organized for use beginning at the elementary levels of computing science curricula. Despite exposure to the literature and advanced l... 详细信息
来源: 评论
SUPPORTING CONTROL DEFINITION IN programming-LANGUAGES
收藏 引用
COMPUTER LANGUAGES 1984年 第1期9卷 1-23页
作者: COLOMBETTI, M GUIDA, G Dipartimento di Elettronica Politecnico di Milano Progetto di Intelligenza Artificiale Milano Italy
The paper is devoted to illustrate a new approach to control definition in programming languages. The DIL system developed by the authors to allow a user to define and utilize his own control mechanisms in program des... 详细信息
来源: 评论
AN EFFECTIVE PREPROCESSOR FOR STRUCTURED FORTRAN - THE HENTRAN SYSTEM
收藏 引用
INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES 1981年 第4期10卷 283-297页
作者: GUIDA, G 1. Milan Polytechnic Artificial Intelligence Project Milan Italy
In the paper the new HENTRAN preprocessor for structured FORTRAN is illustrated. The motivations and the goals of the project are first outlined. The extended FORTRAN language implemented through HENTRAN is then illus... 详细信息
来源: 评论
FORMALIZATION AND EXPLICATION OF THE MICHAEL JACKSON METHOD OF PROGRAM DESIGN
收藏 引用
SOFTWARE-PRACTICE & EXPERIENCE 1979年 第3期9卷 191-202页
作者: HUGHES, JW Computation Department University of Manchester Institute of Science and Technology P.O. Box 88 Manchester M60 1QD
The key to Jackson's Program Design Method is the definition of the inputs and outputs of a program as labelled trees and the recognition of a correspondence between them. This paper gives a more formal definition... 详细信息
来源: 评论