Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view
Qin Ma, Monika Kaczmarek, Sybren de Kinderen
Topics & Concepts
Computer scienceEnterprise modellingModel-driven architectureSoftware engineeringDomain (mathematical analysis)Consistency (knowledge bases)Context (archaeology)Unified Modeling LanguageEnterprise integrationKnowledge managementArtificial intelligenceProgramming languageEnterprise softwareBiologyMathematicsSoftwarePaleontologyMathematical analysisModel-Driven Software Engineering TechniquesBusiness Process Modeling and AnalysisService-Oriented Architecture and Web Services