What are the 10 Fundamental Mysteries and Challenges (FMCs) in Software Science and Engineering (SSE) (7/10)?
Question-7: Are our mathematical means ready for rigorously expressing software system requirements? Is our computer’s inference power adequate for expressing real-time inexhaustive, indeterministic, and uncertain behaviors in SSE?
There exists a bundle of well mature mathematical/statistical rigorous models which fits real data from industry, academia, law, politics, sociology, earth sciences, physical sciences, chemical science, geology, bioinformatics, biology, astronomy and much more. The need is to employ these abstract comprehensive models to the so-called areas of arts and sciences. The requirement, is however., is to glue these models for practical applications. The ultimate requirement is the unity of different background experts to work in a team for comprehensive tasks and challenges of AI or Machine Learning (ML).