A formal specification tool for office systems

Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems - SIGSMALL '90 ◽

10.1145/99412.99471 ◽

1990 ◽

Author(s):

Hossein Siedian ◽

E. A. Unger

Keyword(s):

Formal Specification ◽

Office Systems

Download Full-text

A formal specification tool for distributed office systems

ACM SIGICE Bulletin ◽

10.1145/122045.122047 ◽

1991 ◽

Vol 17 (2) ◽

pp. 13-18

Author(s):

Hossein Saiedian ◽

Elizabeth A. Unger

Keyword(s):

Formal Specification ◽

Office Systems

Download Full-text

Formal Specification and Design

10.1017/cbo9780511569777 ◽

1992 ◽

Cited By ~ 17

Author(s):

L. M. G. Feijs ◽

H. B. M. Jonkers

Keyword(s):

Formal Specification

Download Full-text

Editorial: The formal specification of interactive systems

Software Engineering Journal ◽

10.1049/sej.1996.0042 ◽

1996 ◽

Vol 11 (6) ◽

pp. 322 ◽

Cited By ~ 1

Author(s):

M.D. Harrison

Keyword(s):

Formal Specification ◽

Interactive Systems

Download Full-text

Specification for standard generalized markup language (SGML) for text and office systems

10.3403/00172328 ◽

1987 ◽

Keyword(s):

Markup Language ◽

Office Systems

Download Full-text

Office document architecture (ODA) and interchange format for text and office systems

10.3403/00219492u ◽

2015 ◽

Keyword(s):

Interchange Format ◽

Office Document ◽

Office Systems ◽

Document Architecture

Download Full-text

Office document architecture (ODA) and interchange format for text and office systems

10.3403/00218682u ◽

2015 ◽

Keyword(s):

Interchange Format ◽

Office Document ◽

Office Systems ◽

Document Architecture

Download Full-text

Office document architecture (ODA) and interchange format for text and office systems

10.3403/00218682 ◽

1990 ◽

Keyword(s):

Interchange Format ◽

Office Document ◽

Office Systems ◽

Document Architecture

Download Full-text

Information technology. Text and office systems. Document filing and retrieval (DFR)

10.3403/00265686 ◽

1992 ◽

Keyword(s):

Information Technology ◽

Office Systems

Download Full-text

Information processing. Text and office systems. Office document architecture (ODA) and interchange format

10.3403/00257550 ◽

1991 ◽

Keyword(s):

Information Processing ◽

Interchange Format ◽

Office Document ◽

Office Systems ◽

Document Architecture

Download Full-text

Information technology. Text and office systems. Distributed-office-applications model

10.3403/00257183u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Office Systems

Download Full-text