2 search results - page 1 / 1 » BRILLANT : An Open Source and XML-based platform for Rigouro... |
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
DASFAA
2009
IEEE
14 years 4 months ago
2009
IEEE
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...