8179 search results - page 94 / 1636 » The PRACTIONIST Development Tool |
150
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
155
click to vote
EUROMICRO
2006
IEEE
15 years 11 months ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
177
click to vote
IEEEICCI
2005
IEEE
15 years 11 months ago
2005
IEEE
Intelligence analysis is a cognitively complex task that is the subject of considerable research aimed at developing methods and tools to aid the analysis process. To support such...
155
click to vote
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
With this contribution we present a design and development method for distributed applications, which are running on top of advanced object middleware platforms. We introduce the ...
143
click to vote
IUI
1993
ACM
15 years 9 months ago
1993
ACM
We describe MASTERMIND, a step toward our vision of a knowledge-based design-time and run-time environment where human-computer interfaces development is centered around an all-en...