AI大模型学习
原创AI博客
大模型技术资讯
大模型评测排行
大模型评测排行榜
大模型数学推理能力排行榜
大模型代码编程能力排行榜
大模型图片编辑能力排行榜
LMSys ChatBot Arena排行榜
Berkeley大模型工具使用能力排行榜
大模型综合能力排行榜(旧)
大模型编程能力排行榜(旧)
OpenLLMLeaderboard中国站
AI大模型大全
最新大模型列表
大模型部署教程
大模型对比工具
大模型评测基准
AI Agents列表
AI资源仓库
AI领域与任务
AI研究机构
AI数据集
AI开源工具
数据推荐
国产AI大模型生态全览
AI模型概览图
AI模型月报
AI基础大模型
AI工具导航
AI大模型工具导航网站
在线聊天大模型列表
期刊列表
Automated Software Engineering
December 2000, issue 4
Automated Software Engineering
(ASE)
-
December 2000, issue 4
论文列表
点击这里查看 Automated Software Engineering 的JCR分区、影响因子等信息
卷期号:
December 2000, issue 4
发布时间:
卷期年份:
2000
卷期官网:
https://link.springer.com/journal/10515/volumes-and-issues/7-4
本期论文列表
Executing Formal Specifications with Concurrent Constraint Programming
原文链接
谷歌学术
必应学术
百度学术
Specifying and Automatically Generating a Specialization Tool for Fortran 90
原文链接
谷歌学术
必应学术
百度学术
Desert Island Column: A Trip to Carthea
原文链接
谷歌学术
必应学术
百度学术
Behavioural Conflicts in a Causal Specification
原文链接
谷歌学术
必应学术
百度学术
Identifying Objects in Procedural Programs Using Clustering Neural Networks
原文链接
谷歌学术
必应学术
百度学术
Planning Proofs of Equations in CCS
原文链接
谷歌学术
必应学术
百度学术
Desert Island Column
原文链接
谷歌学术
必应学术
百度学术
Editorial
原文链接
谷歌学术
必应学术
百度学术
Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT'—an ICSE'98 Workshop)
原文链接
谷歌学术
必应学术
百度学术
Logic of Change: Semantics of Object Systems with Active Relations
原文链接
谷歌学术
必应学术
百度学术
Automating Support for Software Evolution in UML
原文链接
谷歌学术
必应学术
百度学术
A Formal Model for SDL Specifications Based on Timed Rewriting Logic
原文链接
谷歌学术
必应学术
百度学术
Three Books for a Desert Island
原文链接
谷歌学术
必应学术
百度学术
Introduction to Special Issue
原文链接
谷歌学术
必应学术
百度学术
The Model-Composition Problem in User-Interface Generation
原文链接
谷歌学术
必应学术
百度学术
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO
原文链接
谷歌学术
必应学术
百度学术
Explanation-Based Scenario Generation for Reactive System Models
原文链接
谷歌学术
必应学术
百度学术
Specification-Based Browsing of Software Component Libraries
原文链接
谷歌学术
必应学术
百度学术
Desert Island Column: Marooned on Mars: Mind-Spinning Books for Software Engineers
原文链接
谷歌学术
必应学术
百度学术