1284 search results - page 48 / 257 » On Helping and Interactive Proof Systems |
OTM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Model Driven Engineering (MDE) aims to help software deto abstract the system implementations by means of models and meta-models. In Web-based Collaborative Information S...
SIGSOFT
2004
ACM
14 years 9 months ago
2004
ACM
We present a new classification system for aspect-oriented programs. This system characterizes the interactions between aspects and methods and identifies classes of interactions ...
CIKM
2001
Springer
14 years 1 months ago
2001
Springer
We consider the problem of organizing and browsing the top ranked portion of the documents returned by an information retrieval system. We study the effectiveness of a document o...
INFOVIS
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper proposes a new technique to visualize dependencies among cells in a spreadsheet. In this way, the system firstly visualizes a spreadsheet on a plane in threedimensional...
IASTEDSEA
2004
13 years 10 months ago
2004
Software engineering is hampered by the fact that software systems quickly become so complex that they are hard to understand, evolve and maintain. Closer integration of code and ...