555 search results - page 81 / 111 » Software, regulation, and domain specificity |
ASE
2005
13 years 9 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
KBSE
2000
IEEE
14 years 2 months ago
2000
IEEE
: Software development includes gathering information about tasks, work practices and design options from users. Traditionally requirements gathering takes two forms. Interviews an...
SEKE
2005
Springer
14 years 3 months ago
2005
Springer
The constant increase in use of geographic data in different application domains has resulted in large amounts of data stored in spatial databases and in the desire of data mining....
EMSOFT
2003
Springer
14 years 3 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
EATIS
2007
ACM
14 years 1 months ago
2007
ACM
Information integration in enterprises is a nightmare due to the differences in software and hardware platforms and due to syntactic and semantic differences in the schemas of the...