23098 search results - page 434 / 4620 » Component Based Development |
153
click to vote
COGSCI
2010
15 years 7 months ago
2010
We develop and evaluate a model of behavior on the Give-N task, a commonly used measure of young children's number knowledge. Our model uses the knower-level theory of how ch...
149
click to vote
KMGOV
2004
Springer
16 years 7 days ago
2004
Springer
The paper firstly proposes a framework for developing local e-government which is based on the concept of an information system and its four perspectives: stakeholders, business e...
204
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
179
click to vote
INFORMATICALT
2008
15 years 6 months ago
2008
Abstract. The purpose of the research described in this paper is to propose a framework and supporting tools that will help software companies to establish formalised methods that ...
192
click to vote
FPL
2005
Springer
16 years 12 days ago
2005
Springer
— During codesign of a system, one still runs into the impedance mismatch between the software and hardware worlds. er identifies the different levels of abstraction of hardware...