Sciweavers

2741 search results - page 72 / 549
» Engineering Mathematical Knowledge
Sort
View
WER
1999
Springer
14 years 1 months ago
A Knowledge Acquisition Systematic within the Domain Analysis Context
This work presents a systematic approach to knowledge acquisition within the domain analysis context, which grants a well defined process for eliciting and representing domain info...
Mônica Zopelari Roseti, Cláudia Maria...
LSO
2004
Springer
14 years 2 months ago
Learning How to Manage Risks Using Organizational Knowledge
In spite of being an important software activity, many software organizations present difficulties in managing risks. This happens mainly due to their low maturity level, and becau...
Ricardo de Almeida Falbo, Fabiano Borges Ruy, Glei...
TIME
2007
IEEE
14 years 3 months ago
Towards a Science of Temporal Databases
Computer science has long been considered to emphasize three distinct perspectives: mathematics, science, and engineering. While the database field has some very strong mathemati...
Richard T. Snodgrass
VSTTE
2005
Springer
14 years 2 months ago
Linking the Meaning of Programs to What the Compiler Can Verify
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
Egon Börger
IUI
2004
ACM
14 years 2 months ago
Computer algebra in interface design research
Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working syste...
Harold W. Thimbleby, Jeremy Gow