@inproceedings{2404b96260f64c7d9d65350d4120828d,
title = "Towards an integration of syntactic constructs and structural features for formalised object-oriented methods",
abstract = "An integration of formal syntactic constructs and object-oriented (OO) structural features is essential to a formalised OO method. It requires the formal semantics to be structured according to OO conventions. It also requires the OO features to be completely and consistently interpreted by formal semantics. In this paper, a list of guidelines for achieving the integration is suggested. These guidelines are derived from a review of the existing formalised OO methods under two categories, OO style formal methods and formal style OO methods. The former possess a strong syntactic foundation but lack a complete coverage of OO features. The latter support all OO features but suffer from incomplete or inconsistent semantics. It is suggested that multiple schemas, on a common syntactic foundation with abstracted syntactic constructs that follow OO conventions, should be adopted.",
keywords = "Formal method, Object-oriented method, Software specification",
author = "Cheung, {K. S.} and Chow, {K. O.} and Cheung, {T. Y.}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1997.; Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 1997 ; Conference date: 02-06-1997 Through 06-06-1997",
year = "1997",
doi = "10.1007/3-540-63114-3_16",
language = "English",
isbn = "3540631143",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "173--184",
editor = "Jim Briggs and Keith Hardy",
booktitle = "Reliable Software Technologies - Ada-Europe 1997 - 1997 Ada-Europe International Conference on Reliable Software Technologies, Proceedings",
}