8179 search results - page 218 / 1636 » The PRACTIONIST Development Tool |
169
click to vote
RSP
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a methodology for developing processor specific tools such as assemblers, disassemblers, processor simulators, compilers etc., using processor models in a ge...
133
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
165
click to vote
WSC
1998
15 years 7 months ago
1998
This paper presents EarthMover, a discrete-event special-purpose simulation modeling tool for earthwork planning geared towards practitioners. The paper explores the capabilities ...
189
click to vote
HICSS
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper presents research on developing a new type of software tool for training and assisting the personnel in emergency response planning. The tool, called Disciple-VPT, will...
145
click to vote
SAC
2005
ACM
16 years 1 days ago
2005
ACM
In this paper, two of the currently available Web Engineering solutions (UWE and OO-H) are analysed with regard to the question whether websites created with them and their tools ...