S. Greenspan, Requirements Modeling: A Knowledge Representation Approach to Software Requirements Definition, Ph. D. Thesis, University of Toronto, 1984.

Digital Library

Google Scholar

[10]

R. Greiner, Learning by Understanding Analogies, Artificial Intelligence, 8 l-125, 35, 1988.

Digital Library

Google Scholar

[11]

D. Gries, The Science of Programming, Springer- Verlag New York Inc., 198 1.

Digital Library

Google Scholar

[12]

B. H. Liskov and S. Zilles, Specification Techniques for Data Abstractions, IEEE Trans. Software Eng., 7-19, l(l), 1975.

Google Scholar

[13]

D. L. Parnas, A Technique for Software Specification with Modules, Comm. ACM, 330-336, 15(5), 1972.

Digital Library

Google Scholar

[14]

P. H. Winston, Learning and Reasoning by Analogy, Comm. ACM, 689-703, 23, 1980.

Digital Library

Google Scholar

Cited By

View all

Lung CUrban J(1995)An approach to the classification of domain models in support of analogical reuseACM SIGSOFT Software Engineering Notes10.1145/223427.21184220:SI(169-178)Online publication date: Aug-1995
https://doi.org/10.1145/223427.211842
Lung CUrban JMackulak G(2006)Analogy-based domain analysis approach to software reuseRequirements Engineering10.1007/s00766-006-0035-812:1(1-22)Online publication date: 3-Nov-2006
https://dl.acm.org/doi/10.1007/s00766-006-0035-8
Lung CUrban J(1995)An approach to the classification of domain models in support of analogical reuseACM SIGSOFT Software Engineering Notes10.1145/223427.21184220:SI(169-178)Online publication date: 1-Aug-1995
https://dl.acm.org/doi/10.1145/223427.211842
Show More Cited By

Recommendations

Faithfully formalizing OSEK/VDX operating system specification
SoICT '12: Proceedings of the 3rd Symposium on Information and Communication Technology

OSEK/VDX has proposed a standard for operating systems used in automotive systems. This standard is described in the form of informal specification. The informal specification is not suitable for applying formal methods to the whole of the software ...
The role of analogy in specification derivation
KBSE'91: Proceedings of the 6th International Conference on Knowledge-Based Software Engineering

Humans employ analogical reasoning frequently to reuse past experience for solving new problems. In this paper we show how past experience in program specification can be used by analogy to formalize new specifications. We briefly describe our analogy-...
Operational ontological approach to formal programming language specification

Development of formal programming language specifications is an important problem of theoretical and practical programming. The paper presents operational ontological approach to formal specification of programming languages. It defines formalism for ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 14, Issue 3

May 1989

288 pages

ISSN:0163-5948

DOI:10.1145/75200

Editor:
Sol J. Greenspan

Issue’s Table of Contents

IWSSD '89: Proceedings of the 5th international workshop on Software specification and design
April 1989
295 pages
ISBN:0897913051
DOI:10.1145/75199
Chairman:
Sol J. Greenspan

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1989

Published in SIGSOFT Volume 14, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
262
Total Downloads

Downloads (Last 12 months)58
Downloads (Last 6 weeks)19

Reflects downloads up to 04 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Lung CUrban J(1995)An approach to the classification of domain models in support of analogical reuseACM SIGSOFT Software Engineering Notes10.1145/223427.21184220:SI(169-178)Online publication date: Aug-1995
https://doi.org/10.1145/223427.211842
Lung CUrban JMackulak G(2006)Analogy-based domain analysis approach to software reuseRequirements Engineering10.1007/s00766-006-0035-812:1(1-22)Online publication date: 3-Nov-2006
https://dl.acm.org/doi/10.1007/s00766-006-0035-8
Lung CUrban J(1995)An approach to the classification of domain models in support of analogical reuseACM SIGSOFT Software Engineering Notes10.1145/223427.21184220:SI(169-178)Online publication date: 1-Aug-1995
https://dl.acm.org/doi/10.1145/223427.211842
Lung CUrban J(1995)An approach to the classification of domain models in support of analogical reuseProceedings of the 1995 Symposium on Software reusability10.1145/211782.211842(169-178)Online publication date: 1-Aug-1995
https://dl.acm.org/doi/10.1145/211782.211842
Chung-Horng Lung Urban J(1995)An expanded view of domain modeling for software analogyProceedings Nineteenth Annual International Computer Software and Applications Conference (COMPSAC'95)10.1109/CMPSAC.1995.524761(77-82)Online publication date: 1995
https://doi.org/10.1109/CMPSAC.1995.524761
Lung CUrban J(1993)Integration of domain analysis and analogical approach for software reuseProceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice10.1145/162754.162804(48-53)Online publication date: 1-Mar-1993
https://dl.acm.org/doi/10.1145/162754.162804
Meggendorfer SManhart PSelfridge P(1991)A knowledge and deduction based software retrieval toolProceedings of the 6th International Conference on Knowledge-Based Software Engineering10.1109/KBSE.1991.638029(127-133)Online publication date: 22-Sep-1991
https://dl.acm.org/doi/10.1109/KBSE.1991.638029
Miriyala KHarandi M(1991)Automatic Derivation of Formal Software Specifications from Informal DescriptionsIEEE Transactions on Software Engineering10.1109/32.9919817:10(1126-1142)Online publication date: 1-Oct-1991
https://dl.acm.org/doi/10.1109/32.99198

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Faithfully formalizing OSEK/VDX operating system specification

The role of analogy in specification derivation

Operational ontological approach to formal programming language specification