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