Login / Signup

Specification and automatic checking of architecture constraints on object oriented programs.

Sahar KallelChouki TibermacineSlim KallelAhmed Hadj KacemChristophe Dony
Published in: Inf. Softw. Technol. (2018)
Keyphrases
  • object oriented programs
  • specification languages
  • integration testing
  • object oriented
  • formal specification
  • impact analysis
  • software architecture
  • high level
  • black box
  • software development
  • test cases