Back to Search
Start Over
Predicate Logic for Software Engineering.
- Source :
- IEEE Transactions on Software Engineering; Sep93, Vol. 19 Issue 9, p856-862, 7p, 1 Color Photograph, 9 Diagrams
- Publication Year :
- 1993
-
Abstract
- The interpretations of logical expressions found in most introductory textbooks are not suitable for use in software engineering applications because they do not deal with partial functions. More advanced papers and texts deal with partial functions in a variety of complex ways. This paper proposes a very simple change to the classic interpretation of predicate expressions, one that defines their value for all values of all variables, yet is almost identical to the standard definitions. It then illustrates the application of this interpretation in software documentation. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00985589
- Volume :
- 19
- Issue :
- 9
- Database :
- Complementary Index
- Journal :
- IEEE Transactions on Software Engineering
- Publication Type :
- Academic Journal
- Accession number :
- 14281520
- Full Text :
- https://doi.org/10.1109/32.241769