1782 search results - page 117 / 357 » Tool Support for Proof Engineering |
173
click to vote
EDBTW
2010
Springer
15 years 4 months ago
2010
Springer
Nowadays, due to the lack of face-to-face contact, distance course instructors have real difficulties knowing who their students are, how their students behave in the virtual cour...
156
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
MoLIC, a modeling language for designing interaction as a metaphor of conversation, was proposed to allow designers to build a blueprint of all interaction that may take place whe...
166
click to vote
HIS
2009
15 years 4 months ago
2009
In this quickly developed and shifting era of Internet, how to make use of webpage indexing structure or search engines which let information demanders fast and precisely search a...
207
click to vote
WACC
1999
ACM
15 years 10 months ago
1999
ACM
The effort in software process support has focused so far on modeling and enacting processes. A certain amount of work has been done, but little has reached a satisfactory level o...
157
click to vote
AVI
1994
15 years 7 months ago
1994
Hand drawn diagrams are essential tools for thinking and communicating in the early phases of design, yet computer based drawing tools support diagramming and sketching only poorl...