Open AccessFORMAL SPECIFICATION AND VERIFICATION OF XML-BASED BUSINESS DOMAIN MODELS
Author(s) -
Wolfgang Schuetzelhofer,
Karl M. Goeschka
Publication year - 2004
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5220/0002605302090216
Subject(s) - computer science , programming language , xml , domain (mathematical analysis) , software engineering , world wide web , mathematics , mathematical analysis