Predicate Logic for Software Engineering软件工程的谓词逻辑.pptVIP

03/21/03 Sri Predicate Logic For Software Engineering Predicate Logic for Software Engineering David Lorge Parnas McMaster University, Ontario, Canada Presentation for SwE Readings Class By: Sridhar Pentapati About Dave Parnas His insights have changed the way that we specify, design, document, build, and maintain software His techniques have changed modern programming languages His wisdom has steered software engineering field Introduction Predicate logic is a development of propositional logic, which we’re all well acquainted with Sentences in predicate calculus are built up from atomic sentences Introduction contd... Why logic in SwE? Engineers need mathematical tools for the description and analysis of their products Mathematical logic is the basis of all proposed tools A solid foundation of logic notation will be essential for anyone who hopes to be recognized as a software engineer Introduction Contd... Focus It is essential to have a precise meanings for logical expressions, one that unambiguously yields a value of true or false for every statement of values to the variables that appear in an expression Problems with Existing Logic Logicians are conservative? Believes Martin Van Emden Lacks precise meaning for logical expression (* values) Complexity of expressions Assumption of total functions Parnas Says: Change predicate logic to allow functions to be partial To do away with the resulting truth value “undefined” Structure of The Paper Introduction Basic definitions Syntax of Logic Expressions Meanings of Logical Expressions Examples of the Use of This Logic in Software Documentation Conclusions References Reasons and Goal Since practitioners do not want to use methods that require them to use many symbols to say simple things They will not read expressions that are lengthy or deeply nested A full, formal definition of a logic that permits concise expressions is a prerequisite for practic