Sciweavers

2 search results - page 1 / 1
» BRILLANT : An Open Source and XML-based platform for Rigouro...
Sort
View
SEFM
2005
IEEE
14 years 2 months ago
BRILLANT : An Open Source and XML-based platform for Rigourous Software Development
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...
Samuel Colin, Dorian Petit, Vincent Poirriez, J&ea...
DASFAA
2009
IEEE
195views Database» more  DASFAA 2009»
14 years 4 months ago
The XMLBench Project: Comparison of Fast, Multi-platform XML libraries
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...
Suren Chilingaryan