How to formalize it?-Reference-Cited by-同舟云学术

How to formalize it?

Published:1998-10 Issue:10 Volume:40 Page:519-540
ISSN:0950-5849
Container-title:Information and Software Technology
language:en
Short-container-title:Information and Software Technology

Author:

ter Hofstede A.H.M.,Proper H.A.

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Software

Reference70 articles.

1. C.B. Jones, Systematic Software Development using VDM, Prentice-Hall, Englewood Cliffs, NJ, 1986.

2. J.M. Spivey, Understanding Z: A Specification Language and its Formal Semantics, Cambridge University Press, Cambridge, 1988.

3. Justification of formal methods for system specification;Cohen;Software Engineering Journal,1989

4. C. Sernadas, J. Fiadeiro, R. Meersman, A. Sernadas, Proof-theoretic conceptual modelling: the NIAM case study. in: E.D. Falkenberg, P. Lindgreen (Eds.), Information System Concepts: An In-depth Analysis, North-Holland/IFIP, Amsterdam, 1989, pp. 1–30.

5. J.A. Hall, Seven myths of formal methods, IEEE Software (September 1990) 11–19.

Cited by 32 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Next-Generation Enterprise Modeling;Digital Enterprises;2023

2. Semi-automated Capacity Analysis of Limitation-Aware Microservices Architectures;Economics of Grids, Clouds, Systems, and Services;2023

3. Analysis of Factors Affecting Accounting Information System Performance in Banking Sector;2022 6th International Conference on Business and Information Management (ICBIM);2022-08-26

4. Advancing Business Process Science via the Co-evolution of Substantive and Methodological Knowledge;Lecture Notes in Computer Science;2022

5. Evidence-based lean conceptual data modelling languages;Journal of Computer Science and Technology;2021-10-21