咨询与建议

限定检索结果

文献类型

  • 63 篇 期刊文献
  • 9 篇 会议
  • 2 册 图书
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 70 篇 工学
    • 59 篇 计算机科学与技术...
    • 31 篇 软件工程
    • 12 篇 电气工程
    • 3 篇 控制科学与工程
    • 1 篇 信息与通信工程
  • 5 篇 理学
    • 4 篇 数学
    • 1 篇 天文学
    • 1 篇 地球物理学
    • 1 篇 系统科学
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...
  • 1 篇 医学
    • 1 篇 临床医学

主题

  • 75 篇 program specific...
  • 9 篇 program correctn...
  • 8 篇 program verifica...
  • 7 篇 software enginee...
  • 6 篇 formal semantics
  • 6 篇 specification la...
  • 5 篇 distributed syst...
  • 5 篇 program derivati...
  • 4 篇 formal methods
  • 4 篇 software design ...
  • 3 篇 program synthesi...
  • 3 篇 operating system...
  • 3 篇 algorithms
  • 3 篇 data types
  • 3 篇 temporal logic
  • 2 篇 aliasing
  • 2 篇 theory of comput...
  • 2 篇 program analysis
  • 2 篇 reconfigurable s...
  • 2 篇 software archite...

机构

  • 3 篇 univ houston dow...
  • 2 篇 univ sao paulo d...
  • 2 篇 information scie...
  • 2 篇 natl res council...
  • 2 篇 compaq syst res ...
  • 2 篇 kings coll londo...
  • 1 篇 cornell univ ith...
  • 1 篇 inst super tecn ...
  • 1 篇 univ pisa dipart...
  • 1 篇 buenos aires ins...
  • 1 篇 univ warsaw inst...
  • 1 篇 univ uppsala it ...
  • 1 篇 hubei univ techn...
  • 1 篇 11450 bodega hig...
  • 1 篇 univ rio cuarto ...
  • 1 篇 department of co...
  • 1 篇 univ pisa dipart...
  • 1 篇 univ essex dept ...
  • 1 篇 univ utrecht dep...
  • 1 篇 jadavpur univ de...

作者

  • 3 篇 jacob j
  • 2 篇 lin h
  • 2 篇 leino krm
  • 2 篇 schobbens py
  • 2 篇 de melo ana c. v...
  • 2 篇 lucena cjp
  • 2 篇 maibaum t
  • 2 篇 hanazumi simone
  • 2 篇 yang cs
  • 1 篇 aguirre nazareno
  • 1 篇 huang rubing
  • 1 篇 qin shengchao
  • 1 篇 berry dm
  • 1 篇 yang chunsheng
  • 1 篇 graham jw
  • 1 篇 lange martin
  • 1 篇 bahenko l. p.
  • 1 篇 he guanhua
  • 1 篇 he mengda
  • 1 篇 leung wh

语言

  • 73 篇 英文
  • 2 篇 其他
检索条件"主题词=Program specification"
75 条 记 录,以下是1-10 订阅
排序:
program specification APPLIED TO A TEXT FORMATTER
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1982年 第5期8卷 490-498页
作者: FEATHER, MS Information Sciences Institute University of Southern California
A specification is different from an implementation in that there is no need for it to be efficient in the computational sense. Activities for which no concise specification is available are dealt with. In such cases,... 详细信息
来源: 评论
COMMENTS ON program specification AND TESTING
收藏 引用
COMMUNICATIONS OF THE ACM 1980年 第6期23卷 324-331页
作者: HOUSE, R 11450 Bodega Highway Sebastopol Calif.
Examines software program specification and testing. Procedures underlying software writing and test program; Analysis on examples of software writing and test program; Enumeration of software-writing practices.
来源: 评论
EARLY EXPERIENCE WITH THE VISUAL programMERS WORKBENCH
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1990年 第10期16卷 1107-1121页
作者: RUBIN, RV WALKER, J GOLIN, EJ UNIV ILLINOIS DEPT COMP SCI URBANA IL 61801 USA
Diagrams play a central role in software engineering. They are used for specifying design elements such as requirements, concurrent systems, database models and interactive systems. Families of diagrams form visual la... 详细信息
来源: 评论
Method redefinition - ensuring alternative behaviors
收藏 引用
INFORMATION PROCESSING LETTERS 2004年 第6期92卷 279-285页
作者: Nunes, I Univ Lisbon P-1749016 Lisbon Portugal
The redefinition of a method in subclasses can completely change the semantics of the superclass method unless there are effective mechanisms that enforce the preservation of behavioral properties. Several approaches ... 详细信息
来源: 评论
TERMINATION IS NOT MODULAR FOR CONFLUENT VARIABLE-PRESERVING TERM REWRITING-SYSTEMS
收藏 引用
INFORMATION PROCESSING LETTERS 1995年 第4期53卷 223-228页
作者: OHLEBUSCH, E Technische Fakultät Universität Bielefeld Postfach 100131 33501 Bielefeld Germany
A term rewriting system (TRS) is a pair (F, R) consisting of a signature F and a set R of rewrite rules. Examples on the modularity of termination in confluent variable-preserving term rewriting systems are presented.
来源: 评论
Abductive analysis of modular logic programs
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 1998年 第4期8卷 457-483页
作者: Giacobazzi, R Univ Pisa Dipartimento Informat I-56125 Pisa Italy
We introduce a practical method for abductive analysis of modular logic programs. This is obtained by reversing the deduction process, which is usually applied in static-dataflow analysis of logic programs, on generic... 详细信息
来源: 评论
Annotation inference for modular checkers
收藏 引用
INFORMATION PROCESSING LETTERS 2001年 第2-4期77卷 97-108页
作者: Flanagan, C Joshi, R Leino, KRM Compaq Syst Res Ctr Palo Alto CA 94301 USA
This paper presents a general approach to annotation inference for a given static program checker. The approach reuses the checker as a subroutine. The approach has been used to implement annotation inference systems ... 详细信息
来源: 评论
Abstract derivation of transitive closure algorithms
收藏 引用
INFORMATION PROCESSING LETTERS 1997年 第3期63卷 159-164页
作者: Feijs, LMG vanOmmering, RC EINDHOVEN UNIV TECHNOL NL-5600 MB EINDHOVEN NETHERLANDS
We state Warshall's algorithm in an abstract form and prove its correctness, while postponing the choices of representation. This is achieved by the use of relations and algebraic operations on relations, avoiding... 详细信息
来源: 评论
A formal method for building concurrent real-time software
收藏 引用
IEEE SOFTWARE 1997年 第2期14卷 99-106页
作者: Fidge, C Kearney, P Utting, M UNIV WAIKATO DEPT COMP SCIHAMILTONNEW ZEALAND
Developing concurrent real-time programs is one of computer science\'s greatest challenges. Not only is such software expensive to manufacture, but its role in safety-critical systems demands that it be correct. F... 详细信息
来源: 评论
Union and intersection types to support both dynamic and static typing
收藏 引用
INFORMATION PROCESSING LETTERS 2011年 第6期111卷 278-286页
作者: Ortin, Francisco Garcia, Miguel Dept Comp Sci Oviedo 33007 Spain
Although static typing provides undeniable benefits for the development of applications, dynamically typed languages have become increasingly popular for specific scenarios. Since each approach offers different benefi... 详细信息
来源: 评论