SCEAS

The SCEAS System

Title:
Author:

Ian C. Morrey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Mehmet Bülent Özcan, P. W. Parry, Ian C. Morrey, Jawed I. A. Siddiqi
Requirements Validation based on the Visualization of Executable Formal Specifications. [Citation Graph (0, 0)][DBLP]
COMPSAC, 1998, pp:381-386 [Conf]
Mehmet Bülent Özcan, P. W. Parry, Ian C. Morrey, Jawed I. A. Siddiqi
Visualisation of Executable Formal Specifications for User Validation. [Citation Graph (0, 0)][DBLP]
Services and Visualization: Towards User-Friendly Design, 1998, pp:142-157 [Conf]
Jawed I. A. Siddiqi, Ian C. Morrey, Richard Hibberd, Graham Buckberry
Understanding and Exploring Formal Specifications. [Citation Graph (0, 0)][DBLP]
Ann. Software Eng., 1998, v:6, n:, pp:411-432 [Journal]
Jawed I. A. Siddiqi, Ian C. Morrey, Chris Roast, Mehmet Bülent Özcan
Towards Quality Requirements via Animated Formal Apecifications. [Citation Graph (0, 0)][DBLP]
Ann. Software Eng., 1997, v:3, n:, pp:131-155 [Journal]
Ian C. Morrey, Jawed I. A. Siddiqi, Richard Hibberd, Graham Buckberry
A toolset to support the construction and animation of formal specifications. [Citation Graph (0, 0)][DBLP]
Journal of Systems and Software, 1998, v:41, n:3, pp:147-160 [Journal]

Search in 0.001secs, Finished in 0.001secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP