Information systems development methodologies are still mainly concerned with the research of better ways to provide technical solutions for given organizational problems. The pap...
This paper takes a pragmatic approach to the design of a task analysis support tool. Instead of proposing a new approach to analysis, it looks at the common requirements for provi...
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
Next generation wireless communications system will be required to support the seamless delivery of voice, video and data with high quality. Delivering hard Quality of Service (QO...
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
Guido de Caso, Diego Garbervetsky, Daniel Gor&iacu...