Domain-specific scenarios for refinement-based methods
Colin Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi, Michael Butler
Topics & Concepts
Computer scienceDomain (mathematical analysis)Complement (music)Domain-specific languageAbstractionSoftware engineeringFormal methodsDomain modelProgramming languageDomain knowledgeComplementationPhilosophyEpistemologyGeneBiochemistryChemistryMathematical analysisPhenotypeMathematicsModel-Driven Software Engineering TechniquesFormal Methods in VerificationAdvanced Software Engineering Methodologies