Login / Signup
A formal approach to rigorous development of critical systems.
Neeraj Kumar Singh
Mark Lawford
Thomas Stephen Edward Maibaum
Alan Wassyng
Published in:
J. Softw. Evol. Process. (2021)
Keyphrases
</>
knowledge based systems
support systems
distributed systems
case study
formal methods
enabling technologies
data sets
information retrieval
genetic algorithm
search engine
object oriented
computational intelligence
intelligent systems
legacy systems
development projects
development efforts