Sciweavers

1733 search results - page 110 / 347
» The challenges of software engineering education
Sort
View
SG
2010
Springer
15 years 3 months ago
Applying Mathematical Sketching to Sketch-Based Physics Tutoring Software
Abstract. We present a prototype sketch-based physics tutoring system that combines mathematical sketching, an interaction paradigm that supports construction of dynamic illustrati...
Salman Cheema, Joseph J. LaViola Jr.
CISIS
2010
IEEE
15 years 5 months ago
Gene Ontology Rewritten for Computing Gene Functional Similarity
Abstract—Discovery biological organisation of the cell in modules network is a challenging task. Currently, approaches based on a controlled vocabulary, as Gene Ontology, to iden...
Alessia Visconti, Francesca Cordero, Marco Botta, ...
CODES
2005
IEEE
15 years 3 months ago
Developing design tools for biological and biomedical applications of micro- and nano-technology
This short paper, an update of [75], is intended to provide a brief summary and extensive references on biological applications for micro- and nano-machining, as well as the compu...
Jacob White
VSTTE
2005
Springer
15 years 3 months ago
Linking the Meaning of Programs to What the Compiler Can Verify
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
Egon Börger
XPU
2004
Springer
15 years 3 months ago
Suitability of FIT User Acceptance Tests for Specifying Functional Requirements: Developer Perspective
Abstract. The paper outlines an experiment conducted in two different academic environments, in which FIT tests were used as a functional requirements specification. Common challen...
Grigori Melnik, Kris Read, Frank Maurer