4469 search results - page 815 / 894 » A Language for Role Specifications |
172
click to vote
RE
2002
Springer
15 years 5 months ago
2002
Springer
We present experience with improving the requirements engineering process for a telecommunications electronic clearinghouse that connects multiple trading partners. Software failu...
182
click to vote
SPE
2002
15 years 5 months ago
2002
Development environments based on ActiveX controls and JavaBeans are marketed as "visual programming" platforms; in practice their visual dimension is limited to the des...
150
click to vote
TOPLAS
2002
15 years 5 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
172
click to vote
TSE
2002
15 years 5 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
206
click to vote
VLDB
2002
ACM
15 years 5 months ago
2002
ACM
In spite of the many decades of progress in database research, surprisingly scientists in the life sciences community still struggle with inefficient and awkward tools for queryin...