Sciweavers

8179 search results - page 417 / 1636
» The PRACTIONIST Development Tool
Sort
View
SIGADA
1994
Springer
15 years 11 months ago
Always One More Bug: Applying AdaWise to Improve Ada Code
AdaWise, a set of tools currently under development at ORA, performs automatic checks to verify the absence of common run-time errors affecting the correctness or portability of A...
Cheryl Barbasch, Dan Egnor
ECOOP
2007
Springer
15 years 10 months ago
A visual interface for type-related refactorings
In this paper, we present our approach to a visual refactoring tool, the Type Access Analyzer (TAA), which uses program analysis to detect code smells and for suggesting and perfo...
Philip Mayer, Andreas Meissner, Friedrich Steimann
SE
2007
15 years 8 months ago
An integration framework for heterogeneous automatic software tests
: Developing and maintaining large software systems can require the usage of a variety of different automatic test tools. The complexity of the tools leads to considerable overhead...
Holger Schackmann, Horst Lichter, Veit Hoffmann
COLING
1992
15 years 8 months ago
A Translator's Workstation
A description is given of the present state of development of a workstation that has been designed to provide the translator with efficient and easy-to-use computational tools. Th...
Eugenio Picchi, Carol Peters, Elisabetta Marinai
FMICS
2010
Springer
15 years 8 months ago
A Formal Model of Identity Mixer
Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name or birthdate....
Jan Camenisch, Sebastian Mödersheim, Dieter S...