Formal methods: the very idea-Reference-Cited by-同舟云学术

Formal methods: the very idea

Published:2002-01 Issue:1 Volume:42 Page:11-27
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Berry Daniel M

Publisher

Elsevier BV

Subject

Software

Reference29 articles.

1. Towards a formal basis for the formal development method and the Ina Jo specification language;Berry;IEEE Trans. Software Eng.,1987

2. The importance of ignorance in requirements engineering;Berry;J. Systems Software,1995

3. D.M. Berry, O. Berry, The programmer–client interaction in arriving at program specifications, in: E. Knuth (Ed.), Guidelines and Linguistic Requirements, Proc. IFIP TC2 Working Conf. on System Description Methodologies, Kecskemet, Hungary, May 1983.

4. Requirements engineering;Berry;IEEE Software,1998

5. D.M. Berry, J.M. Wing, Specification and prototyping: some thoughts on why they are successful, Proc. TAPSOFT Conf., Berlin, Springer, March 1985, pp. 117–128.

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

1. (In)Correct Smart Contract Specifications;2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC);2024-05-27

2. CACLE - Automated Mitigation for Misconfiguration Vulnerabilities in Cloud Systems;Proceedings of the 2023 7th International Conference on Cloud and Big Data Computing;2023-08-17

3. A Survey on Formal Specification of Security Requirements;2021 3rd International Conference on Advances in Computing, Communication Control and Networking (ICAC3N);2021-12-17

4. Evaluating the suitability of state-based formal methods for industrial deployment;Software: Practice and Experience;2018-09-13

5. Towards Classification of Lightweight Formal Methods;Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering;2018