8179 search results - page 1354 / 1636 » The PRACTIONIST Development Tool |
164
click to vote
ESOP
2005
Springer
16 years 5 days ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
197
click to vote
EUROPAR
2005
Springer
16 years 4 days ago
2005
Springer
A style for programming problems from matrix algebra is developed with a familiar example and new tools, yielding high performance with a couple of surprising exceptions. The under...
179
click to vote
FASE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
174
click to vote
FATES
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
184
click to vote
GPCE
2005
Springer
16 years 4 days ago
2005
Springer
Successful software systems must be prepared to evolve or they will die. Although object-oriented software systems are built to last, over time they degrade as much as any legacy s...