Why Programming Must Be Supported by Modeling and How-Reference-Cited by-同舟云学术

Why Programming Must Be Supported by Modeling and How

Published:2018 Issue: Volume: Page:89-110
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Modeling
language:
Short-container-title:

Author:

Börger Egon

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-03418-4_6

Reference89 articles.

1. Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)

2. Abrial, J.-R.: Modeling in Event-B. Cambridge University Press, New York (2010)

3. Lecture Notes in Computer Science;C Artho,2015

4. Back, R., Kurki-Suoni, R.: Decentralization of process nets with centralized control. Technical report Ser. A, No. 58, Department of Computer Science at Abo Akademi, Abo, Finland, February 1988

5. Batory, D., Börger, E.: Modularizing theorems for software product lines: the Jbook case study. J. Univers. Comput. Sci. 14(12), 2059–2082 (2008)

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

1. On the Understandability of Language Constructs to Structure the State and Behavior in Abstract State Machine Specifications: A Controlled Experiment;Journal of Systems and Software;2021-08

2. Stepwise abstraction of high-level system specifications from source code;Journal of Computer Languages;2020-10

3. Design of an Executable Specification Language Using Eye Tracking;2019 IEEE/ACM 6th International Workshop on Eye Movements in Programming (EMIP);2019-05

4. Epilogue;Designing Digital Work;2019

5. Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction);Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018