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

Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation.

Irfan SljivoBarbara GallinaJan CarlsonHans HanssonStefano Puri
Published in: Ada-Europe (2018)
Keyphrases
  • high level
  • conceptual model
  • information systems
  • formal specification
  • specification language
  • object oriented
  • learning objects
  • programming language