Automated Software Engineering（ASE ）的DECEMBER 2000, ISSUE 4论文列表

卷期号： 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