Sciweavers

2830 search results - page 173 / 566
» A Development Tool for E-learning Applications
Sort
View
72
Voted
FM
2009
Springer
95views Formal Methods» more  FM 2009»
15 years 4 months ago
Industrial Practice in Formal Methods: A Review
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
Juan Bicarregui, John S. Fitzgerald, Peter Gorm La...
MICCAI
2001
Springer
15 years 2 months ago
A Microsurgery Simulation System
Computer systems for surgical planning and training are poised to greatly impact the traditional versions of these tasks. These systems provide an opportunity to learn surgical tec...
Joel Brown, Kevin Montgomery, Jean-Claude Latombe,...
GRID
2005
Springer
15 years 3 months ago
Grid-level computing needs pervasive debugging
— Developing applications for parallel and distributed systems is hard due to their nondeterministic nature; developing debugging tools for such systems and applications is even ...
Rashid Mehmood, Jon Crowcroft, Steven Hand, Steven...
ECOOPW
1998
Springer
15 years 1 months ago
Providing Automatic Support for Heuristic Rules of Methods
In method-based software development, software engineers create artifacts based on the heuristic rules of the adopted method. Most CASE tools, however, do not actively assist soft...
Bedir Tekinerdogan, Mehmet Aksit
86
Voted
SERP
2004
14 years 11 months ago
Analysis and Metrics of XML Schema
Despite the ubiquity of XML, research in metrics for XML documents is scarce. This paper proposes and discusses eleven metrics to measure the quality and complexity of XML Schema ...
Andrew McDowell, Chris Schmidt, Kwok-bun Yue