Searching for authors named "Hussein Zedan" – sorted by Relevance.
25 documents found, showing 1 through 10.
Next 10 →
-
A Standard for Finite TAM
- …A Standard for Finite TAM 1 David Scholefield, Hussein Zedan Formal Systems Research Group…
- Cited by 9 (2 self) – Add To MetaCart
-
Slicing as a Program Transformation
- … and HUSSEIN ZEDAN zedan@(email omitted); De Montfort University The aim of this paper is to provide a unified…
- Cited by 3 (1 self) – Add To MetaCart
-
MetaWSL and meta-transformations in the fermaT transformation system
- …METAWSL and Meta-Transformations in the FermaT Transformation System Martin Ward and Hussein Zedan…
- Cited by 1 (0 self) – Add To MetaCart
-
Refinement of Complex Systems: A Case Study
- …Refinement of Complex Systems: A Case Study Gavin Lowe and Hussein Zedan Programming Research…
- Cited by 10 (5 self) – Add To MetaCart
-
Refining Interval Temporal Logic Specifications
- …Refining Interval Temporal Logic Specifications # Antonio Cau and Hussein Zedan Science…
- Cited by 15 (10 self) – Add To MetaCart
-
Some Design Transforms
- … small book by the time it is complete. Some Design Transforms Sagar Pidaparthi, Paul Luker, Hussein…
- Add To MetaCart
-
Using ITL and Tempura for Large Scale Specification and Simulation
- …Using ITL and Tempura for Large Scale Specification and Simulation Antonio Cau y Hussein Zedan…
- Cited by 9 (6 self) – Add To MetaCart
-
Tackling The Abstraction Problem for Reverse Engineering in a System Re-engineering Approach
- … Hongji Yang, Xiaodong Liu and Hussein Zedan Software Research Technology Laboratory De Montfort…
- Cited by 3 (3 self) – Add To MetaCart
-
Compositional Modelling: The Formal Perspective
- …2 Compositional Modelling: The Formal Perspective Hussein Zedan , Antonio Cau and Ben…
- Cited by 2 (2 self) – Add To MetaCart
-
ATOM: An Object-Based Formal Method for Real-time Systems
- …ATOM: An Object-Based Formal Method for Real-time Systems Hussein Zedan 1) , Antonio Cau…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
