咨询与建议

限定检索结果

文献类型

  • 8,457 篇 会议
  • 184 篇 期刊文献
  • 47 册 图书

馆藏范围

  • 8,688 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4,727 篇 工学
    • 3,142 篇 软件工程
    • 2,636 篇 计算机科学与技术...
    • 1,125 篇 电气工程
    • 477 篇 信息与通信工程
    • 407 篇 电子科学与技术(可...
    • 335 篇 控制科学与工程
    • 333 篇 机械工程
    • 279 篇 动力工程及工程热...
    • 207 篇 材料科学与工程(可...
    • 204 篇 土木工程
    • 192 篇 化学工程与技术
    • 189 篇 建筑学
    • 154 篇 仪器科学与技术
    • 117 篇 安全科学与工程
    • 116 篇 力学(可授工学、理...
    • 109 篇 石油与天然气工程
    • 108 篇 生物工程
    • 89 篇 交通运输工程
    • 81 篇 生物医学工程(可授...
  • 1,271 篇 理学
    • 754 篇 数学
    • 358 篇 物理学
    • 158 篇 统计学(可授理学、...
    • 141 篇 化学
    • 121 篇 生物学
    • 109 篇 系统科学
  • 880 篇 管理学
    • 537 篇 管理科学与工程(可...
    • 394 篇 图书情报与档案管...
    • 288 篇 工商管理
  • 187 篇 教育学
    • 185 篇 教育学
  • 116 篇 经济学
    • 115 篇 应用经济学
  • 86 篇 医学
  • 80 篇 法学
  • 48 篇 农学
  • 23 篇 艺术学
  • 18 篇 文学
  • 13 篇 军事学

主题

  • 953 篇 software enginee...
  • 539 篇 application soft...
  • 520 篇 software
  • 449 篇 computer science
  • 333 篇 programming
  • 306 篇 computer archite...
  • 303 篇 software systems
  • 217 篇 hardware
  • 214 篇 data mining
  • 208 篇 software testing
  • 179 篇 costs
  • 173 篇 java
  • 170 篇 computational mo...
  • 156 篇 object oriented ...
  • 152 篇 software algorit...
  • 149 篇 software quality
  • 146 篇 knowledge engine...
  • 137 篇 software archite...
  • 127 篇 prototypes
  • 125 篇 educational inst...

机构

  • 35 篇 nanjing univ sta...
  • 30 篇 school of engine...
  • 28 篇 school of comput...
  • 24 篇 state key labora...
  • 21 篇 school of inform...
  • 21 篇 school of electr...
  • 20 篇 school of comput...
  • 19 篇 shanghai key lab...
  • 19 篇 department of co...
  • 17 篇 school of electr...
  • 16 篇 nanjing univ dep...
  • 15 篇 department of el...
  • 14 篇 software enginee...
  • 13 篇 nanjing univ sof...
  • 13 篇 univ chinese aca...
  • 13 篇 east china norma...
  • 13 篇 school of comput...
  • 13 篇 school of softwa...
  • 13 篇 chinese acad sci...
  • 12 篇 department of el...

作者

  • 18 篇 wang wei
  • 15 篇 ma xiaoxing
  • 15 篇 lu jian
  • 15 篇 xu chang
  • 15 篇 lichter horst
  • 14 篇 v. thiruchelvam
  • 14 篇 yoshiki higo
  • 14 篇 shinji kusumoto
  • 13 篇 t. katayama
  • 13 篇 doo-hwan bae
  • 12 篇 shaoying liu
  • 12 篇 shen beijun
  • 12 篇 hironori washiza...
  • 12 篇 m. saeki
  • 12 篇 cao chun
  • 12 篇 du xiaoyong
  • 11 篇 chookaew sasitho...
  • 11 篇 liu jing
  • 11 篇 k. ushijima
  • 11 篇 bae doo-hwan

语言

  • 8,603 篇 英文
  • 54 篇 中文
  • 31 篇 其他
检索条件"任意字段=Pacific-Asia Conference on Knowledge Engineering and Software Engineering"
8688 条 记 录,以下是301-310 订阅
排序:
Adopting MBSE in Construction Equipment Industry: An Experience Report  25
Adopting MBSE in Construction Equipment Industry: An Experie...
收藏 引用
25th asia-pacific software engineering conference (APSEC)
作者: Suryadevara, Jagadish Tiwari, Saurabh Volvo Construct Equipment Gothenburg Sweden Malardalen Univ Vasteras Sweden
This paper is an experience report about introducing Model-based Systems engineering (MBSE) at Volvo (Construction Equipment) and describes lessons learned. The recent growth in technologies such as electromobility, a... 详细信息
来源: 评论
Formalization and Consistency Checking of Changes of software System Configurations Using Alloy
Formalization and Consistency Checking of Changes of Softwar...
收藏 引用
15th asia-pacific software engineering conference
作者: Hiroaki, Tanizaki Takuya, Katayama Sch Informat Sci Japan Adv Inst Sci & Technol Nomi Ishikawa Japan
Generally, functions and execution environment which form a software system are changed because requirements change, referred to as "software evolution". At this change, maintaining consistency of the config... 详细信息
来源: 评论
The first international workshop on management and economics of software product lines (MESPUL07)
The first international workshop on management and economics...
收藏 引用
14th asia-pacific software engineering conference
作者: Babar, Muhammad Ali Nonaka, Makoto Univ Limerick Limerick Ireland Toyo Univ Tokyo 1128606 Japan
The first international workshop on management and economics of software product lines will bring together researchers and practitioners from academia, industry and governments to report and discuss the challenges and... 详细信息
来源: 评论
A constraint solver and its application to path feasibility analysis
收藏 引用
INTERNATIONAL JOURNAL OF software engineering AND knowledge engineering 2001年 第2期11卷 139-156页
作者: Zhang, J Wang, XX Chinese Acad Sci Inst Software Comp Sci Lab Beijing 100080 Peoples R China
Many testing methods are based on program paths. A well-known problem with them is that some paths are infeasible. To decide the feasibility of paths, we may solve a set of constraints. In this paper, we describe cons... 详细信息
来源: 评论
Linking Functions and Quality Attributes for software Evolution
Linking Functions and Quality Attributes for Software Evolut...
收藏 引用
19th asia-pacific software engineering conference (APSEC)
作者: Yang, Hongji Zheng, Shang Chu, William Cheng-Chung Tsai, Ching-Tsorng De Montfort Univ Software Technol Res Lab Leicester LE1 9BH Leics England Tunghai Univ Dept Comp Sci Taichung Taiwan
software quality properties, normally derived from non-functional requirements, are becoming more important for software. A main reason for software evolution is the unsatisfaction to software quality properties. When... 详细信息
来源: 评论
The Impacts of Supporting Materials on Code Reading: A Controlled Experiment  22
The Impacts of Supporting Materials on Code Reading: A Contr...
收藏 引用
22nd asia-pacific software engineering conference (APSEC)
作者: Rong, Guoping Zhang, He Shan, Qi Liu, Gaoxuan Shao, Dong Nanjing Univ Software Inst State Key Lab Novel Software Tech Nanjing Jiangsu Peoples R China
Background: Code inspection has been accepted as an effective method to detect and remove defects and code reading is a critical step in code inspection. However, there are very limited empirical studies on the conten... 详细信息
来源: 评论
Towards safety assessment of robot behaviors in SMACH  30
Towards safety assessment of robot behaviors in SMACH
收藏 引用
30th asia-pacific software engineering conference (APSEC)
作者: Kang, Eun-Young Campusano, Miguel Univ Southern Denmark SDU Software Engn MMMI Odense Denmark
Due to the critical consequences of possible failures, robot systems must be formally verified to guarantee that their behaviors are correct and safe. There is, however, a gap in terms of building safe behaviors betwe... 详细信息
来源: 评论
Service-Driven Migrating of Enterprise Information Systems: A Case Study
Service-Driven Migrating of Enterprise Information Systems: ...
收藏 引用
19th asia-pacific software engineering conference (APSEC)
作者: Xu, Ziyan Zhao, Haihong Tan, Sheau Ling Liu, Lin Tsinghua Univ Sch Software Beijing 100084 Peoples R China
There are many business information systems under operation supporting the essential business processes of large scale multi-national enterprises, which forms the essential IT assets of these organizations. However, t... 详细信息
来源: 评论
A software Tag Generation System to Realize software Traceability
A Software Tag Generation System to Realize Software Traceab...
收藏 引用
17th asia pacific software engineering conference (APSEC)
作者: Yamada, Shinya Ugumori, Masataka Kusumoto, Shinji Osaka Univ Grad Sch Informat Sci & Technol 1-5 Yamadaoka Suita Osaka 5650871 Japan
This paper describes a system that supports to generate the software tag which makes software development visible to software purchaser (users). A software tag is a partial set of empirical data about a software devel... 详细信息
来源: 评论
software development practices in New Zealand
Software development practices in New Zealand
收藏 引用
19th asia-pacific software engineering conference (APSEC)
作者: Kirk, Diana Tempero, Ewan Univ Auckland Dept Comp Sci Auckland 1 New Zealand
Different kinds of process model are prescribed for software organisations, and each offers successful project outcomes if followed. There is little evidence that organisations strictly adhere to specific models. We s... 详细信息
来源: 评论