NASA NTRS · 19910016321
Discrete mathematics, formal methods, the Z schema and the software life cycle
Abstract
The proper role and scope for the use of discrete mathematics and formal methods in support of engineering the security and integrity of components within deployed computer systems are discussed. It is proposed that the Z schema can be used as the specification language to capture the precise definition of system and component interfaces. This can be accomplished with an object oriented development paradigm.
Keep this discovery
Explore connections, maps & timelines
Bown, Rodney L.. 1991-04-01. Discrete mathematics, formal methods, the Z schema and the software life cycle. https://ntrs.nasa.gov/citations/19910016321
Cite the original work for its findings. Save a collection to share your selection of sources.