Keywords :
computer aided software engineering; configuration management; formal specification; programming environments; software development management; software tools; configuration management; cooperation; integration infrastructure; requirements environment architecture; software engineering environments; tool generation; workflow;