DocumentCode
1070643
Title
POS-formal specification of a Unix tool
Author
Bowen, Jonathan
Author_Institution
Oxford Univ., UK
Volume
4
Issue
1
fYear
1989
fDate
1/1/1989 12:00:00 AM
Firstpage
67
Lastpage
72
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;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
28091
Link To Document