Formal Foundations for Software Engineering Methods

Authors:
Heinrich Hussmann;J. Van Leeuwen;J. Hartmanis;G. Goos
Affiliations:
-;-;-;-
Venue:
Formal Foundations for Software Engineering Methods
Year:
1997

Citing 0
Cited 2

On the identification of agents in the design of production control systems

First international workshop, AOSE 2000 on Agent-oriented software engineering
A formal approach to object-oriented software engineering

Theoretical Computer Science - Rewriting logic and its applications

Quantified Score

Hi-index	0.00

Visualization

Abstract