{'fraction_non_alphanumeric': 0.017264276228419653, 'fraction_numerical': 0.0, 'mean_word_length': 5.672566371681416, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
An Overview of Formal Specification Languages and their Adequacy for Formalizing the Definition of Function Points

Function point is the most widely used functional size measure in the software industry. It serves several purposes like software cost estimation, productivity management, quality management, benchmarking, outsourcing management, and several others. The goal of project FP-Formal, a research project funded by Bell Canada, is to formalize the function point measure in order to automate its calculation and to reduce measurement variance and costs. In this report, we analyse a set of formal specification languages and evaluate their adequacy for specifying industrial information systems and for formalizing the function point measure.