数据学习
AI博客
原创AI博客
大模型技术博客
期刊会议
学术世界
期刊出版社
领域期刊
SCI/SCIE/SSCI/EI简介
期刊列表
会议列表
所有期刊分区
学术期刊信息检索
JCR期刊分区查询
CiteScore期刊分区查询
中科院期刊分区查询
管理 - UTD24期刊列表
管理 - AJG(ABS)期刊星级查询
管理 - FMS推荐期刊列表
计算机 - CCF推荐期刊会议列表
南大核心(CSSCI)
合工大小核心
合工大大核心
AI资源仓库
AI领域与任务
AI研究机构
AI学术期刊
AI论文快讯
AI数据集
AI开源工具
数据推荐
AI大模型
国产AI大模型生态全览
AI模型概览图
AI模型月报
AI基础大模型
AI大模型排行榜
大模型综合能力排行榜
大模型编程能力排行榜
LMSys ChatBot Arena排行榜
Berkeley大模型工具使用能力排行榜
OpenLLMLeaderboard中国站
AI大模型大全
大模型部署教程
在线聊天大模型列表
2023年度AI产品总结
期刊列表
Automated Software Engineering
April 2005, issue 2
Automated Software Engineering
(ASE)
-
April 2005, issue 2
论文列表
点击这里查看 Automated Software Engineering 的JCR分区、影响因子等信息
卷期号:
April 2005, issue 2
发布时间:
卷期年份:
2005
卷期官网:
https://link.springer.com/journal/10515/volumes-and-issues/12-2
本期论文列表
Rewriting-Based Techniques for Runtime Verification
原文链接
谷歌学术
必应学术
百度学术
Reuse-Conducive Development Environments
原文链接
谷歌学术
必应学术
百度学术
Interactive and Probabilistic Proof of Mobile Code Safety
原文链接
谷歌学术
必应学术
百度学术
Web Application Slicing in Presence of Dynamic Code Generation
原文链接
谷歌学术
必应学术
百度学术
SoftArch/MTE: Generating Distributed System Test-Beds from High-Level Software Architecture Descriptions
原文链接
谷歌学术
必应学术
百度学术
Fundamental Nonmodularity in Electronic Mail
原文链接
谷歌学术
必应学术
百度学术
A Termination Detection Protocol for Use in Mobile Ad Hoc Networks
原文链接
谷歌学术
必应学术
百度学术
Developing Ambient Intelligence Systems: A Solution based on Web Services
原文链接
谷歌学术
必应学术
百度学术
Desert Island Column
原文链接
谷歌学术
必应学术
百度学术
Introduction
原文链接
谷歌学术
必应学术
百度学术
Component Verification with Automatically Generated Assumptions
原文链接
谷歌学术
必应学术
百度学术
Deviation Analysis: A New Use of Model Checking
原文链接
谷歌学术
必应学术
百度学术
Modular Verification of Open Features Using Three-Valued Model Checking
原文链接
谷歌学术
必应学术
百度学术
Desert Island Reading: Back to the Future
原文链接
谷歌学术
必应学术
百度学术
Introduction
原文链接
谷歌学术
必应学术
百度学术
Automated Procedure Construction for Deductive Synthesis
原文链接
谷歌学术
必应学术
百度学术
Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications
原文链接
谷歌学术
必应学术
百度学术
Tool-Supported Verification of Product Line Requirements
原文链接
谷歌学术
必应学术
百度学术