• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Safety contract based design of software components.

Andreas SöderbergRolf Johansson
Published in: ISSRE (Supplemental Proceedings) (2013)
Keyphrases
  • software components
  • building blocks
  • software systems
  • design process
  • user interface
  • design rationale
  • databases
  • software development
  • semi automatic
  • software reuse
  • java programs
  • software architecture