GORM LARSEN


A Formal Modeling Tool for Exploratory Modeling in Software Development
Tomohiro ODA Keijiro ARAKI Peter GORM LARSEN 
Publication:   
Publication Date: 2017/06/01
Vol. E100-D  No. 6  pp. 1210-1217
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal tools
Keyword: 
lightweight formal methodsformal specificationVDMintegrated development environment
 Summary | Full Text:PDF(910.9KB)