Publication | Closed Access
AutoCRUD: Automatic generation of CRUD specifications in interaction flow modelling language
13
Citations
0
References
2018
Year
Specification LanguageFormal SpecificationEngineeringFormal ModelingProgram AnalysisAutomated ReasoningSoftware TestingAutomatic GenerationFormal MethodsSoftware AnalysisSoftware EngineeringModel-based Software DevelopmentComputer ScienceCrud SpecificationsFormal VerificationSystem SoftwareSoftware DesignSystem Specification
No additional data available for this publication yet. Check back later!