8179 search results - page 415 / 1636 » The PRACTIONIST Development Tool |
237
Voted
ICDE
1996
IEEE
16 years 8 months ago
1996
IEEE
This paper reports on user experience with Tioga, a DBMS-centric visualization tool developed at Berkeley. Based on this experience, we have designed Tioga-2 as a direct manipula...
151
Voted
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We present TReMer+, a tool for consistency checking of distributed models (i.e., models developed by distributed teams). TReMer+ works by first constructing a merged model before ...
167
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...
147
click to vote
ATC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we develop an algorithm that may be used as a stepping-stone detection tool. Our approach is based on analyzing correlations between the cumulative number ...
144
click to vote
ICSM
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper describes an approach and support tool for the modelling and analysis of proposed reconfigurations to complex systems. The configuration models used are quick to constr...