J
J. Kelly
Researcher at Jet Propulsion Laboratory
Publications - 2
Citations - 201
J. Kelly is an academic researcher from Jet Propulsion Laboratory. The author has contributed to research in topics: Formal specification & Formal methods. The author has an hindex of 2, co-authored 2 publications receiving 200 citations.
Papers
More filters
Journal ArticleDOI
Experiences using lightweight formal methods for requirements modeling
TL;DR: In all three cases, formal methods enhanced the existing verification and validation processes by testing key properties of the evolving requirements and helping to identify weaknesses.
Proceedings ArticleDOI
Experiences in applying formal methods to the analysis of software and system requirements
TL;DR: This investigation of FM consists of trial projects that are used to gather data on FM's cost-effectiveness and to demonstrate this effectiveness to prospective users.