Sciweavers

1088 search results - page 77 / 218
» Tools for support of automata-based programming
Sort
View
NAR
2006
134views more  NAR 2006»
14 years 9 months ago
The MPI Bioinformatics Toolkit for protein sequence analysis
The MPI Bioinformatics Toolkit is an interactive web service which offers access to a great variety of public and in-house bioinformatics tools. They are grouped into different se...
Andreas Biegert, Christian Mayer, Michael Remmert,...
ECOOPW
1998
Springer
15 years 2 months ago
Software Quality in the Objectory Process
In this paper we discuss how software quality assurance is realized in Rational Objectory. Although much support is given through guidelines and checkpoints, the tool fails to prov...
Klaas van den Berg
HICSS
2002
IEEE
155views Biometrics» more  HICSS 2002»
15 years 2 months ago
Towards Knowledge-Sharing and Learning in Virtual Professional Communities
This paper describes a program of research designed to understand how knowledge-sharing and learning can be supported in virtual communities. To conduct this research, we propose ...
Michael Bieber, Il Im, Ronald E. Rice, Ricki Goldm...
AADEBUG
2005
Springer
15 years 3 months ago
Automated bug isolation via program chipping
This paper introduces program chipping, a simple yet effective technique to isolate bugs. This technique automatically removes or chips away parts of a program so that the part t...
Chad D. Sterling, Ronald A. Olsson
ECOOP
2008
Springer
14 years 11 months ago
Programming with Live Distributed Objects
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
Krzysztof Ostrowski, Ken Birman, Danny Dolev, Jong...