咨询与建议

限定检索结果

文献类型

  • 78 篇 期刊文献
  • 17 册 图书
  • 10 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 87 篇 工学
    • 66 篇 计算机科学与技术...
    • 54 篇 软件工程
    • 20 篇 电气工程
    • 12 篇 控制科学与工程
    • 6 篇 信息与通信工程
    • 4 篇 材料科学与工程(可...
    • 2 篇 网络空间安全
    • 1 篇 机械工程
    • 1 篇 仪器科学与技术
    • 1 篇 轻工技术与工程
    • 1 篇 林业工程
  • 15 篇 理学
    • 14 篇 数学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
  • 5 篇 管理学
    • 3 篇 管理科学与工程(可...
    • 2 篇 图书情报与档案管...
  • 2 篇 教育学
    • 2 篇 教育学

主题

  • 105 篇 programming meth...
  • 15 篇 general software...
  • 13 篇 programming lang...
  • 8 篇 software enginee...
  • 7 篇 program verifica...
  • 6 篇 abstract data ty...
  • 5 篇 program correctn...
  • 5 篇 structured progr...
  • 4 篇 data abstraction
  • 4 篇 software reliabi...
  • 4 篇 data types
  • 3 篇 computer science
  • 3 篇 derivation of pr...
  • 3 篇 algorithms
  • 3 篇 data abstraction...
  • 3 篇 program transfor...
  • 3 篇 correctness
  • 3 篇 program specific...
  • 3 篇 answer set progr...
  • 3 篇 verification

机构

  • 3 篇 univ nottingham ...
  • 2 篇 cornell univ dep...
  • 2 篇 nc state univers...
  • 2 篇 university of bo...
  • 2 篇 univ texas austi...
  • 1 篇 tech univ denmar...
  • 1 篇 univ cordoba dep...
  • 1 篇 univ maryland in...
  • 1 篇 department of co...
  • 1 篇 national geodeti...
  • 1 篇 free university ...
  • 1 篇 department of el...
  • 1 篇 department of co...
  • 1 篇 univ novi sad in...
  • 1 篇 coventry univ pr...
  • 1 篇 univ bielefeld f...
  • 1 篇 aalto univ dept ...
  • 1 篇 questance nl-971...
  • 1 篇 italian institut...
  • 1 篇 univ victoria de...

作者

  • 2 篇 lifschitz vladim...
  • 2 篇 chung yc
  • 2 篇 laurie williams
  • 2 篇 feijen whj
  • 2 篇 gries david
  • 2 篇 fan mh
  • 2 篇 gries d
  • 2 篇 huang ch
  • 2 篇 backhouse roland
  • 2 篇 ken schwaber
  • 2 篇 morgan c
  • 1 篇 mills hd
  • 1 篇 wulf wa
  • 1 篇 liskov barbara
  • 1 篇 zhang xuejie
  • 1 篇 hibbard tn
  • 1 篇 taki k
  • 1 篇 michael e. caspe...
  • 1 篇 skowron a
  • 1 篇 brusey james

语言

  • 94 篇 英文
  • 6 篇 其他
  • 5 篇 中文
检索条件"主题词=programming methodology"
105 条 记 录,以下是41-50 订阅
排序:
PARALLEL-PROCESSING ON THE MULTI-PSI COMPUTER AND ITS EVALUATION - A programming PARADIGM-BASED ON A SMALL-GRAIN HIGHLY CONCURRENT OBJECT MODEL
收藏 引用
SYSTEMS AND COMPUTERS IN JAPAN 1994年 第1期25卷 17-36页
作者: TAKI, K ICHIYOSHI, N Member Institute for New Generation Computer Technology Tokyo Japan 108 Nomember
Multi-PSI is a distributed-memory MIMD (multiple-instruction, multiple-data) computer that has 64 processors. Problems of knowledge processing, which are the object of the Multi-PSI, must be divided into many partial ... 详细信息
来源: 评论
REASONING ABOUT PROBABILISTIC PARALLEL PROGRAMS
收藏 引用
ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 1994年 第3期16卷 798-842页
作者: RAO, JR IBM Thomas J. Watson Research Center Yorktown Heights NY
The use of randomization in the design and analysis of algorithms promises simple and efficient algorithms to difficult problems, some of which may not have a deterministic solution. This gain in simplicity, efficienc... 详细信息
来源: 评论
Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS
收藏 引用
Future Generation Computer Systems 1992年 第2-3期7卷 111-138页
作者: Bjørner, Dines Haxthausen, Anne Elisabeth Havelund, Klaus Department of Computer Science Technical University of Denmark DK-2800 Lyngby Buildings 344-345 Denmark CRI: Computer Resources Intl. DK-3460 Birkerød Bregnerødvej 144 Denmark
The first author has been invited to reminisce over almost 20 years of his research into and application of formal methods in software development. The paper deals with model-oriented methods. The title of this paper ... 详细信息
来源: 评论
ADAPTIVE programming
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1991年 第9期17卷 911-921页
作者: GOUDA, MG HERMAN, T Department of Computer Sciences University of Texas at Austin Austin TX 78712
An adaptive program is one that changes its behavior based on the current state of its environment. This notion of adaptivity is formalized and a logic for reasoning about adaptive programs is presented. The logic inc... 详细信息
来源: 评论
EMERALD - A GENERAL-PURPOSE programming LANGUAGE
收藏 引用
SOFTWARE-PRACTICE & EXPERIENCE 1991年 第1期21卷 91-118页
作者: RAJ, RK TEMPERO, E LEVY, HM BLACK, AP HUTCHINSON, NC JUL, E DIGITAL EQUIPMENT CORP CAMBRIDGE RES LABCAMBRIDGEMA 02139 UNIV ARIZONA DEPT COMP SCITUCSONAZ 85721 UNIV COPENHAGEN DIKUDK-2100 COPENHAGENDENMARK
Emerald is a general-purpose language with aspects of traditional object-oriented languages, such as Smalltalk, and abstract data type languages, such as Modula-2 and Ada. It is strongly typed with a nontraditional ob... 详细信息
来源: 评论
Improving the curriculum through the teaching of calculation and discrimination
收藏 引用
Education and Computing 1991年 第1-2期7卷 61-72页
作者: Gries, David Cornell University Ithaca NY 14853 United States
The field of computing-including its application by programmers, systems analysts and others-suffers tremendously from a lack of use of formal reasoning in everyday work. The problem can be solved, at least partly, by... 详细信息
来源: 评论
USING DYNAMIC PREDICATES IN AN OR-PARALLEL PROLOG SYSTEM
USING DYNAMIC PREDICATES IN AN OR-PARALLEL PROLOG SYSTEM
收藏 引用
INTERNATIONAL SYMP ON LOGIC programming
作者: SZEREDI, P SZKI Intelligent Software Ltd Budapest Hungary
Aurora is a prototype or-parallel implementation of Prolog for shared memory multiprocessors. It supports the full Prolog language, thus being able to execute existing Prolog programs without any change. For some prog... 详细信息
来源: 评论
programming ABSTRACTIONS FOR DYNAMICALLY PARTITIONING AND COORDINATING LOCALIZED SCIENTIFIC CALCULATIONS RUNNING ON MULTIPROCESSORS
收藏 引用
SIAM JOURNAL ON SCIENTIFIC AND STATISTICAL COMPUTING 1991年 第1期12卷 145-157页
作者: BADEN, SB UNIV CALIF BERKELEY LAWRENCE BERKELEY LAB DEPT MATHBERKELEYCA 94720 UNIV CALIF BERKELEY DIV COMP SCIBERKELEYCA 94720
Certain software abstractions help to automate load balancing during various math-physics calculations on a team of concurrently executing processors. These abstractions have been tested on a vortex method for computa... 详细信息
来源: 评论
Recent evolution of the introductory curriculum in computing
收藏 引用
Education and Computing 1991年 第1-2期7卷 43-60页
作者: Tucker, Allen B. Garnick, David K. Department of Computer Science Bowdoin College Brunswick ME 04011 United States
This paper traces the evolution of the first courses in undergraduate programs over the last twelve years. We identify fundamental weaknesses in the present sequence, and propose strengthening the introductory curricu... 详细信息
来源: 评论
Introductory education in computer science
收藏 引用
Education and Computing 1991年 第1-2期7卷 73-86页
作者: Habermann, A. Nico Carnegie-Mellon University Pittsburgh PA 15213 United States
There is room for improvement in the way introductory computer science is taught. In general, most of the available time is spent on teaching programming language syntax and very little on studying examples of good pr... 详细信息
来源: 评论