supported by Kuwait University under Research Grant No. WI03/10
The object-oriented paradigm is widely applied in designing and implementing communication systems. Unified Modeling Language (UML) is a standard language used to model the design of object-oriented systems. A proto...
Requirements analysis is an important phase in a software project. The analysis is often performed in an informal way by specialists who review documents looking for ambiguities, technical inconsistencies and incomple...
Message sequence chart(MSC) is a graphical and textual language for the description and specification of the interactions between system components.MSC specifications allow convenient expression of multiple scenarios,...
Temporal-spatial logic is a propositional logic with temporal and spatial modalities asserting on a network.In this paper,a tableau-like decision procedure for network satisfiability in the logic is presented and use...