104 search results - page 10 / 21 » The Klaim Project: Theory and Practice |
160
click to vote
ISJ
2010
14 years 6 months ago
2010
Information systems (IS) research on user involvement has primarily theorized relationships between developers, managers and users in systems development. However, so far, marginal...
CSEE
2003
Springer
15 years 2 months ago
2003
Springer
The typical software engineering course consists of lectures in which concepts and theories are conveyed, along with a small “toy” software engineering project which attempts ...
100
click to vote
CORR
1999
Springer
14 years 9 months ago
1999
Springer
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
KBSE
1998
IEEE
15 years 1 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
PUC
2007
14 years 9 months ago
2007
Based on many experiences of developing interactive systems by the authors, a framework for the description and analysis of interaction has been developed. The dimensions of this m...