8179 search results - page 80 / 1636 » The PRACTIONIST Development Tool |
121
click to vote
FAC
2008
15 years 5 months ago
2008
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...
126
click to vote
WISE
2009
Springer
16 years 2 months ago
2009
Springer
The visual creation tools in the mashup frameworks are supposed to be simple and accessible. Yet at the same time there is a need to extend the capabilities and complexity of mashu...
133
click to vote
WSC
1997
15 years 6 months ago
1997
This paper describes a general framework for the modeling, design, simulation, and prototyping of large scale systems. The framework uses a coherent set of tools that model the sy...
131
click to vote
ISBI
2006
IEEE
16 years 6 months ago
2006
IEEE
: Bioluminescence tomography (BLT) is a new molecular imaging tool. Using a modality fusion approach, we built the first BLT prototype to combine BLI data and micro-CT images for p...
173
click to vote
AGILEDC
2003
IEEE
15 years 10 months ago
2003
IEEE
This experience report describes our efforts to introduce agile development techniques incrementally into our customer’s organization in the National Cancer Institute and develo...