Sciweavers

1386 search results - page 108 / 278
» User research in a scientific software development project
Sort
View
IV
2009
IEEE
222views Visualization» more  IV 2009»
16 years 1 months ago
User-Friendly Ontology Editing and Visualization Tools: The OWLeasyViz Approach
This paper aims to propose solutions to the issue of ontology visualization, by presenting intuitive and userfriendly ontology editing and visualization environments mainly orient...
Nadia Catenazzi, Lorenzo Sommaruga, Riccardo Mazza
SEFM
2007
IEEE
16 years 23 days ago
Automatically Proving Concurrent Programs Correct
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
Byron Cook
ISTAR
2008
15 years 8 months ago
Ontological Foundations for Agent-Oriented Organizational Modeling
Abstract. This paper reports on our work on three complementary directions, aimed at developing: (i) a theoretical framework named UFO (Unified Foundational Ontology) for (re) desi...
Renata S. S. Guizzardi, Giancarlo Guizzardi, Jo&at...
NAR
1998
121views more  NAR 1998»
15 years 6 months ago
The Nuclear Receptor Resource: a growing family
Last year, the original Glucocorticoid Receptor Resource expanded into a comprehensive project: the Nuclear Receptor Resource (NRR, http://nrr.georgetown.edu/nrr/ nrr.html ). The ...
Elisabeth Martinez, David D. Moore, Evan Keller, D...
SAFECOMP
2005
Springer
15 years 12 months ago
Are High-Level Languages Suitable for Robust Telecoms Software?
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
Jan Henry Nyström, Philip W. Trinder, David J...