A Formal Modeling Tool for Exploratory Modeling in Software Development-Reference-Cited by-同舟云学术

A Formal Modeling Tool for Exploratory Modeling in Software Development

Published:2017 Issue:6 Volume:E100.D Page:1210-1217
ISSN:0916-8532
Container-title:IEICE Transactions on Information and Systems
language:en
Short-container-title:IEICE Trans. Inf. & Syst.

Author:

ODA Tomohiro¹,ARAKI Keijiro²,GORM LARSEN Peter³

Affiliation:

1. Key Technology Laboratory, Software Research Associates, Inc.

2. Department of Advanced Information Technology, Kyushu University

3. Department of Engineering, Aarhus University

Publisher

Institute of Electronics, Information and Communications Engineers (IEICE)

Subject

Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software

Link

https://www.jstage.jst.go.jp/article/transinf/E100.D/6/E100.D_2016FOP0003/_pdf

Reference17 articles.

1. [1] J. Fitzgerald, P.G. Larsen, and S. Sahara, “VDMTools: Advances in Support for Formal Modeling in VDM,” ACM Sigplan Notices, vol.43, no.2, pp.3-11, Feb. 2008.

2. [2] S. Agerholm and P.G. Larsen, “A Lightweight Approach to Formal Methods,” Proc. International Workshop on Current Trends in Applied Formal Methods, pp.168-183, Boppard, Germany, Oct. 1998.

3. [3] J. Woodcock, P.G. Larsen, J. Bicarregui, and J. Fitzgerald, “Formal Methods: Practice and Experience,” ACM Comput. Surv., vol.41, no.4, pp.1-36, Oct. 2009.

4. [4] T. Kurita and Y. Nakatsugawa, “The Application of VDM++ to the Development of Firmware for a Smart Card IC Chip,” Intl. J. Software and Informatics, vol.3, no.2-3, pp.343-355, Oct. 2009.

5. [5] J. Fitzgerald and P.G. Larsen, Modelling Systems-Practical Tools and Techniques in Software Development, Cambridge University Press, The Edinburgh Building, Cambridge CB2 2RU, UK, 1998. ISBN 0-521-62348-0.

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

1. Modelling and Validating an Automotive System in Classical B and Event-B;Rigorous State-Based Methods;2020

2. Real-Time System Modeling and Verification Through Labeled Transition System Analyzer;IEEE Access;2019