Home > CSC-OpenAccess Library > Software Engineering > International Journal of Software Engineering (IJSE)
International Journal of Software Engineering (IJSE)
An International peer-review journal operated under CSC-OpenAccess Policy.
ISSN - 2180-1320
Published - Bi-Monthly | Established - 2010 | Year of Publication - 2024
|
||||||||||
HOME | About IJSE | Editorial Board | Call For Papers/Editors | Submission Guidelines | Citation Report | Issues Archive | Subscribe IJSE | |||||||||||||||
|
ISSUE MANUSCRIPTS
VOLUME - 8 ISSUE - 3 | ||||
Publication Date - October 2020 | Pages - 27 - 39 |
||||
1 Records found in CSC-OpenAccess Library. | ||||
A Tool Generating a C# Code with Contracts of Code Contracts from a VDM++ Model with Conditions | ||||
Yuma Yamano, Toshihiko Ando, Keishi Okamoto | ||||
Pages - 27 - 39 | Revised - 30-09-2020 | Published - 31-10-2020 | ||||
Full Text Available (255.72KB) | ||||
MORE INFORMATION | ||||
Full Citation | Full Text PDF | Abstract | References | Related Articles | ||||