8179 search results - page 395 / 1636 » The PRACTIONIST Development Tool |
221
click to vote
INFSOF
2000
15 years 6 months ago
2000
An important issue in a component-based software development process is the supply source of mature, reliable, adaptable, and maintainable components. We define as component minin...
197
click to vote
LOBJET
2000
15 years 6 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
205
click to vote
FMSD
2002
15 years 6 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
190
click to vote
IEE
2002
15 years 6 months ago
2002
Projects where developers are geographically distributed and with high personnel turnover are usually considered to be hard to manage. Any organisation that successfully handles s...
182
click to vote
INFFUS
2002
15 years 6 months ago
2002
The security of computer networks plays a strategic role in modern computer systems. In order to enforce high protection levels against threats, a number of software tools have be...