咨询与建议

限定检索结果

文献类型

  • 10 篇 期刊文献
  • 6 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 15 篇 工学
    • 10 篇 计算机科学与技术...
    • 10 篇 软件工程
    • 8 篇 电气工程
  • 1 篇 理学
    • 1 篇 天文学
    • 1 篇 地球物理学

主题

  • 16 篇 knowledge-based ...
  • 3 篇 program synthesi...
  • 3 篇 natural language...
  • 3 篇 programming in n...
  • 3 篇 end-user program...
  • 3 篇 requirements ana...
  • 2 篇 automated softwa...
  • 2 篇 automatic progra...
  • 2 篇 software reuse
  • 2 篇 software present...
  • 2 篇 transformations
  • 2 篇 software specifi...
  • 1 篇 non-functional r...
  • 1 篇 specification to...
  • 1 篇 semantic data mo...
  • 1 篇 concurrent syste...
  • 1 篇 knowledge base
  • 1 篇 executable speci...
  • 1 篇 software enginee...
  • 1 篇 naturalistic pro...

机构

  • 2 篇 natl inst stand ...
  • 1 篇 univ toronto dep...
  • 1 篇 kestrel institut...
  • 1 篇 usc/information ...
  • 1 篇 reinvent technol...
  • 1 篇 ecole polytech d...
  • 1 篇 department of el...
  • 1 篇 karlsruhe inst t...
  • 1 篇 univ madrid dept...
  • 1 篇 univ aberdeen de...
  • 1 篇 univ pittsburgh ...
  • 1 篇 george mason uni...
  • 1 篇 rhein westfal th...
  • 1 篇 karlsruhe instit...
  • 1 篇 department of el...
  • 1 篇 at&t bell labora...
  • 1 篇 george mason uni...
  • 1 篇 florida int univ...
  • 1 篇 univ passau w-83...
  • 1 篇 lockheed sanders...

作者

  • 3 篇 weigelt sebastia...
  • 2 篇 tichy walter f.
  • 2 篇 mills kl
  • 2 篇 gomaa h
  • 2 篇 landhaeusser mat...
  • 1 篇 feather martin s...
  • 1 篇 chang sk
  • 1 篇 lin xl
  • 1 篇 nonnenmann u
  • 1 篇 johnson w.lewis
  • 1 篇 rose t
  • 1 篇 jeffrey j.p. tsa...
  • 1 篇 harris dr
  • 1 篇 alan liu
  • 1 篇 harris david r.
  • 1 篇 robillard pn
  • 1 篇 feather ms
  • 1 篇 gómez-albarrán m
  • 1 篇 vasconcelos wamb...
  • 1 篇 sleeman derek

语言

  • 16 篇 英文
检索条件"主题词=Knowledge-based Software Engineering"
16 条 记 录,以下是11-20 订阅
排序:
KITSS - USING knowledge-based software engineering FOR FUNCTIONAL TESTING  5th
收藏 引用
5TH INTERNATIONAL CONF ON INDUSTRIAL AND engineering APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND EXPERT SYSTEMS ( IEA/AIE-92 )
作者: NONNENMANN, U EDDY, JK AT&T Bell Laboratories Murray Hill 07974 NJ United States
Automated testing of large embedded systems is one of the most expensive and time-consuming parts of the software life cycle. The knowledge-based Interactive Test Script System (KITSS) automates functional testing in ... 详细信息
来源: 评论
EXECUTABLE SPECIFICATION AND ANALYSIS FOR THE DESIGN OF CONCURRENT OBJECT-ORIENTED SYSTEMS
收藏 引用
INTERNATIONAL JOURNAL OF software engineering AND knowledge engineering 1994年 第4期4卷 427-450页
作者: DENG, Y CHANG, SK LIN, XL FLORIDA INT UNIV SCH COMP MIAMI FL 33199 USA UNIV PITTSBURGH SCH COMP PITTSBURGH PA 15260 USA
This paper investigates the analysis of concurrent OO designs using a formal, executable specification technique called G-Net. After presenting an overview of the G-Net technique, we show how to use the G-Net notation... 详细信息
来源: 评论
KBMS - A knowledge-based SYSTEM FOR MODELING software SYSTEM SPECIFICATIONS
收藏 引用
IEEE TRANSACTIONS ON knowledge AND DATA engineering 1992年 第3期4卷 238-252页
作者: ZEROUAL, K ROBILLARD, PN UNIV SHERBROOKE DEPT MATH & INFORMATSHERBROOKE J1K 2R1QUEBECCANADA ECOLE POLYTECH DEPT GENIE ELECT & GENIE INFORMATMONTREAL H3C 3A7QUEBECCANADA
Recent research results in software engineering have shown that the process of formalizing and automating software specification activity is moving towards knowledge-based specification systems. In this paper, we pres... 详细信息
来源: 评论
REPRESENTATION AND PRESENTATION OF REQUIREMENTS knowledge
收藏 引用
IEEE TRANSACTIONS ON software engineering 1992年 第10期18卷 853-869页
作者: JOHNSON, WL FEATHER, MS HARRIS, DR LOCKHEED SANDERS SIGNAL PROC CTR TECHNOLNASHUANH 03061
This paper describes the approach to representation and presentation of knowledge used in ARIES, an environment to experiment with support for analysts in modeling target domains and in entering and formalizing system... 详细信息
来源: 评论
TEAMWORK SUPPORT IN A knowledge-based INFORMATION-SYSTEMS ENVIRONMENT
收藏 引用
IEEE TRANSACTIONS ON software engineering 1991年 第5期17卷 467-482页
作者: HAHN, U JARKE, M ROSE, T UNIV PASSAU W-8390 PASSAUGERMANY RHEIN WESTFAL TH AACHEN LEHRSTUHL INFORMAT 5CHAIR INFORMAT SYSTW-5100 AACHENGERMANY UNIV TORONTO DEPT COMP SCITORONTO M5S 1A4ONTARIOCANADA
DAIDA is an experimental environment for the knowledge-assisted development and maintenance of database-intensive information systems from object-oriented requirements and specifications. Within the DAIDA framework, t... 详细信息
来源: 评论
Integrating domain knowledge, requirements, and specifications
收藏 引用
Journal of Systems Integration 1991年 第3-4期1卷 283-320页
作者: Johnson, W.Lewis Feather, Martin S. Harris, David R. USC/Information Sciences Institute Marina del Rey 90292-6695 CA United States Lockheed Sanders Signal Processing Center of Technology Nashua 03061-2034 NH United States
This paper describes efforts to develop a transformation-based software environment that supports the acquisition and validation of software requirements specifications. These requirements may be stated informally at ... 详细信息
来源: 评论