Robuta

https://sjce.journals.sharif.edu/article_171.html?lang=en AN ENVIRONMENT FOR PROGRAM DEVELOPMENT FORM FORMAL SPECIFICATIONS an environment program development formal specifications https://www.fit.vut.cz/research/result/c17361/ Reuse of Formal Specifications in Computer-Based Systems Design formal specifications systems design reuse computer based https://global-mind.org/pred_formal.html GCP Registry of Formal Specifications for Global Events Event registry: Global Consciousness Project, scientific research network studying global consciousness formal specifications global events gcp registry https://uhra.herts.ac.uk/id/eprint/12079/ Evaluating formal specifications : a cognitive approach formal specifications cognitive approach evaluating https://researchr.org/publication/RoehmGHOW15 Industrial Examples of Formal Specifications for Test Case Generation - researchr publication formal specifications test case industrial examples generation https://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=PASCAL83X0392694 EXPERIENCE WITH FORMAL SPECIFICATIONS USING AN EXTENDED STATE TRANSITION MODEL formal specifications state transition experience using extended https://datatracker.ietf.org/doc/statement-iesg-guidelines-for-the-use-of-formal-languages-in-ietf-specifications-20011001/ Guidelines for the Use of Formal Languages in IETF Specifications for the formal languages guidelines use ietf https://www.designsociety.org/publication/29409/from_requirements_to_design_specifications_-_a_formal_approach FROM REQUIREMENTS TO DESIGN SPECIFICATIONS - A FORMAL APPROACH / Publications / Knowledge Base /... Brace, W.; Thramboulidis, K. knowledge base requirements design specifications formal