Incremental Software Development Method Based on Abstract Interpretation.

Nobukazu Yoshioka Masato Suzuki Takuya Katayama

Published in: IWSSD (1998)

Keyphrases

software architecture
software development
software systems
software engineering
evaluation method
fine grained
integrity constraints
cost model