2153 search results - page 10 / 431 » From Requirements Models to Formal Specifications in B |
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE
ISSS
1997
IEEE
13 years 12 months ago
1997
IEEE
ECWEB
2001
Springer
14 years 8 days ago
2001
Springer
Electronic B2B marketplaces bring together many online suppliers and buyers, each of which can potentially use his own format to represent the products in his product catalog. The ...
RE
2008
Springer
13 years 7 months ago
2008
Springer
In order to make requirements comprehensible to humans and as unambiguous as possible, a glossary and/or domain model is needed for defining the terminology used. Unless these are...
BMCBI
2005
13 years 7 months ago
2005
Background: Our goal in BioCreAtIve has been to assess the state of the art in text mining, with emphasis on applications that reflect real biological applications, e.g., the cura...