Towards a Change Specification Language for API Evolution.

Jürgen Reuter Frank Padberg

Published in: WRT (2007)

Keyphrases

specification language
description language
programming language
formal specification
symbolic execution
requirements specification
high level
software environment
open source
fine grained
information retrieval
case study
expert systems
relational databases
information retrieval systems