Title :
POS-formal specification of a Unix tool
Author_Institution :
Oxford Univ., UK
fDate :
1/1/1989 12:00:00 AM
Abstract :
A simple text processing tool which allows positioning of lines within a document is presented using the formal specification language Z. Implementation details such as the use of tab characters and newline sequences are covered. The program has been implemented under the Unix operating system. It is hoped that the use of similar techniques will become widespread in the field of software engineering
Keywords :
Unix; formal languages; formal specification; specification languages; word processing; Unix operating system; Unix tool; formal specification language Z; line positioning tool; newline sequences; simple text processing tool; software engineering; tab characters;
Journal_Title :
Software Engineering Journal
