Login / Signup

From a domain analysis to the specification and detection of code and design smells.

Naouel MohaYann-Gaël GuéhéneucAnne-Françoise Le MeurLaurence DuchienAlban Tiberghien
Published in: Formal Aspects Comput. (2010)
Keyphrases
  • automatic detection
  • statistical analysis
  • detection method
  • video sequences
  • design process
  • computer aided
  • engineering design
  • design decisions
  • formal specification
  • formal verification
  • modelling language