XML-based visual specification of multidisciplinary applications

DOI10.1016/S0167-739X(01)00069-3zbMath1032.68101OpenAlexW2124449659MaRDI QIDQ4538655

Ahmed al-Theneyan, Mohammad Zubair, Amol Jakatdar, Piyush Mehrotra

Publication date: 14 July 2002

Published in: Future Generation Computer Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-739x(01)00069-3

zbMATH Keywords

InternetArcadeXML-based visual specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Uses Software

• Ninf-G/MPI

This page was built for publication: XML-based visual specification of multidisciplinary applications