Sciweavers

3255 search results - page 365 / 651
» Usage-Centered Design and Software Engineering: Models for I...
Sort
View
ECLIPSE
2006
ACM
16 years 19 days ago
A focused learning environment for Eclipse
The support available in Eclipse to help software developers learn complex APIs and development tools is inadequate; the support is largely passive and the support typically opera...
Izzet Safer, Gail C. Murphy, Julie Waterhouse, Jin...
ICSOC
2004
Springer
16 years 1 days ago
Methodological support for service-oriented design with ISDL
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...
Dick A. C. Quartel, Remco M. Dijkman, Marten van S...
FAC
2006
122views more  FAC 2006»
15 years 6 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
PGLDB
2003
151views Database» more  PGLDB 2003»
15 years 8 months ago
Web-service-based, Dynamic and Collaborative E-learning
This paper describes an on-going effort to investigate problems and approaches for achieving Web-service-based, dynamic and collaborative e-learning. In this work, a Learning Cont...
Stanley Y. W. Su, Gilliean Lee
TCAD
2010
136views more  TCAD 2010»
15 years 1 months ago
Bounded Model Debugging
Design debugging is a major bottleneck in modern VLSI design flows as both the design size and the length of the error trace contribute to its inherent complexity. With typical des...
Brian Keng, Sean Safarpour, Andreas G. Veneris