Extending standards with formal methods: Open Document Architecture

2012 International Symposium on Innovations in Intelligent Systems and Applications ◽

10.1109/inista.2012.6246931 ◽

2012 ◽

Author(s):

Konstantinos Barlas ◽

George Koletsos ◽

Petros Stefaneas

Keyword(s):

Formal Methods ◽

Document Architecture

Download Full-text

Application of formal methods to the VIPER microprocessor

IEE Proceedings E Computers and Digital Techniques ◽

10.1049/ip-e.1987.0023 ◽

1987 ◽

Vol 134 (3) ◽

pp. 133 ◽

Author(s):

W.J. Cullyer ◽

C.H. Pygott

Keyword(s):

Download Full-text

Constraint Analysis of System Requirement in SysML with Formal Methods

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss.137.809 ◽

2017 ◽

Vol 137 (6) ◽

pp. 809-814

Author(s):

Yosuke Kakiuchi

Keyword(s):

Formal Methods ◽

Constraint Analysis ◽

System Requirement

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 systems interconnection. Office document architecture (ODA). Document application profile. Processable and formatted documents. Basic character content

10.3403/00249995u ◽

2015 ◽

Keyword(s):

Information Systems ◽

Basic Character ◽

Application Profile ◽

Office Document ◽

Document Architecture

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. Office Document Architecture (ODA) and interchange format. Technical Report on ISO 8613 implementation testing

10.3403/00304385 ◽

1993 ◽

Keyword(s):

Information Technology ◽

Technical Report ◽

Interchange Format ◽

Office Document ◽

Office Systems ◽

Document Architecture

Download Full-text

Information technology. Text and office systems. Office Document Architecture (ODA) and interchange format. Technical Report on ISO 8613 implementation testing

10.3403/00325184 ◽

1994 ◽

Keyword(s):

Information Technology ◽

Technical Report ◽

Interchange Format ◽

Office Document ◽

Office Systems ◽

Document Architecture

Download Full-text

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

10.3403/00723352 ◽

1996 ◽

Keyword(s):

Information Processing ◽

Interchange Format ◽

Office Document ◽

Office Systems ◽

Document Architecture

Download Full-text