2969 search results - page 176 / 594 » The Case for User-Centered CASE Tools |
141
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
The reflection theorem has been proved using Isabelle/ZF. This theorem cannot be expressed in ZF, and its proof requires reasoning at the meta-level. There is a particularly elegan...
146
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The definition of “boundary” in the context of multiorganizational information sharing and integration initiatives is developed in the paper. Both current literature and a cas...
168
click to vote
QEST
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
171
click to vote
COMPSAC
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper discusses aspects of the redocumentation of legacy systems and proposes a model oriented approach to generating documentation, which is to produce models from existing ...
181
click to vote
VL
2007
IEEE
16 years 24 days ago
2007
IEEE
End-user programming provides a unique opportunity to study informal computer science education and knowledge acquisition in the real world. We seek to explore the use of communit...