Stéphane E. Collignon

Learn More
Safety critical computer-based systems are now in widespread use in Defence. A number of current standards-such as the UK Defence Standards 00-55 and 00-56 and the recently proposed Def (Aust) Standard DR5679-require the use of formal mathematical modeling and reasoning to provide sufficient assurance of safety of system design. The analysis of system(More)
Keywords: Software Innovation Enterprise data management Business intelligence and social media/data analytics Text analysis Cluster analysis a b s t r a c t Easily accessible patent databases and advances in technology have enabled the exploration of organizational innovation through the analysis of patent records. However, the textual content of patents(More)
  • 1