Specifications of a general user interface in LOTOS and OBJ

Wiersma, D.H.; Ohmaki, Kazuhito; Futatsugi, Kokichi

doi:10.1109/cmpsac.1991.170157

Search citation statements

Order By: Relevance

Paper Sections

Select...

Formalization and Its Specification Languages1

Citation Types

Supporting

Mentioning

Contrasting

Publication Types

Select...

Other1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…x The languages correspond to algebra method conclude OBJ, larch shared language etc. While OBJ [32] is a specification language based on regular order-sorted equational logic, and can renew the system by the keywords. x The languages correspond to processing algebra method are made up of Communicating Sequential Processes(CSP), ACP, LOTOS etc.…”

Section: Formalization and Its Specification Languagesmentioning

confidence: 99%

Clustering method and its formalization

Qiu

Chen

et al. 2011

2011 6th IEEE Joint International Information Technology and Artificial Intelligence Conference

View full text Add to dashboard Cite

Clustering method is an important research technology in data mining, and it has a widely use in our life. This paper will describe some traditional algorithms according to different clustering classification, and point out their advantages and shortcomings. Meanwhile, this paper will summarize the concept of formalization, and introduce several common formal specification languages. After applying the predicate logic language with the real example, we can describe the traditional clustering algorithms like k-means, validate the correctness of method itself, and provide a new research idea for algorithms' examination and innovation.

show abstract

Section: Formalization and Its Specification Languagesmentioning

confidence: 99%