The refinement technique allows us to capture the relationship between specification and implementation in software developments. The precise documentation of the refinement relations hip makes it possible the traceability of the requirements through the refinement steps.
Unfortunately, the standard modelling…

Different types of middleware exist to facilitate the integration of software running on heterogeneous computing platforms. Message Oriented Middleware (MOM), for instance, enables the interaction between heterogeneous applications by exchanging packets of structured data (messages) through communication channels. The core…

With the growing complexity of window based software and the use of object-oriented, the development of software is getting more complex than ever. Based on that, this article intends to present a methodology for software documentation and to analyze our…

We present point slicing, a new slicing technique for imperative programs that gives an answer to the question Which sentences can be executed if sentence p is executed?, very common in program testing, debugging, and understanding tasks and, as far…