MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ferhat Khendek" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

Khendek F.: UML Profiles for Real-Time Systems and their Applications, in
by Abdelouahed Gherbi, Ferhat Khendek — 2006 — Journal of Object Technology
… Gherbi and Ferhat Khendek Electrical and Computer Engineering Department Concordia University, Montreal…
Cited by 2 (0 self) – Add To MetaCart

An Extension for MSC-2000 and its Application
by Tong Zheng, Ferhat Khendek — 2002 — In Proceedings of the 3rd SAM (SDL and MSC) Workshop
…An Extension for MSC-2000 and its Application Tong Zheng and Ferhat Khendek Department…
Cited by 4 (0 self) – Add To MetaCart

Enriching SDL Specifications with MSCs
by Ferhat Khendek, Daniel Vincent — 2000 — In: 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM2000
…Enriching SDL Specifications with MSCs * Ferhat Khendek 1 and Daniel Vincent 2 1 Department…
Cited by 1 (0 self) – Add To MetaCart

Partial Validation of a design specification with respect to requirements
by Cédric Besse, Ana Cavalli, Ferhat Khendek — 2001
… Ferhat Khendek June 5, 2001 Institut National des Tlcommunications Evry, FRANCE {Cedric.Besse, Ana…
Add To MetaCart

Comparison of SPIN and VIS for Protocol Verification
by Hong Peng, Sofiène Tahar, Ferhat Khendek — 1999 — Int’l J. Software Tools for Technology Transfer
…Comparison of SPIN and VIS for Protocol Verification Hong Peng, Sofi`ene Tahar and Ferhat Khendek…
Cited by 2 (1 self) – Add To MetaCart

A Z Specification of Use Cases
by Greg Butler, Peter Grogono, Ferhat Khendek — 1997 — In Proc. of the Asia-Pacific Software Engineering Conference and International Computer Science Conference
… University Montr'eal, Qu'ebec, H3G 1M8 Canada Email: fgregb,grogonog@(email omitted); Ferhat Khendek Dept…
Cited by 3 (1 self) – Add To MetaCart

Merging Behavior Specifications
by Ferhat Khendek, Gregor V. Bochmann — 1995 — Journal of Formal Methods in System Design
…Merging Behavior Specifications * Ferhat Khendek and Gregor v. Bochmann Dpartement d…
Cited by 2 (1 self) – Add To MetaCart

Incremental Construction Approach for Distributed System Specifications
by Ferhat Khendek, Gregor V. Bochmann — 1993 — Proceedings of the Int. Symp. on Formal Description Techniques
…Incremental Construction Approach for Distributed System Specifications * Ferhat Khendek…
Cited by 2 (1 self) – Add To MetaCart

A Reuse Case Perspective on Documenting Frameworks
by Greg Butler, Peter Grogono, Ferhat Khendek — 1997 — In Proceedings of the 5 th Asia-Pacific Software Engineering Conference
… University Montreal H3G 1M8 Canada grogono@(email omitted); Ferhat Khendek Dept of Elec. and Computer Eng…
Cited by 4 (1 self) – Add To MetaCart

Reconciling Use Cases and Operational Profiles
by Greg Butler, Adrian Cretu, Ferhat Khendek — 1997
…. & Computer Eng. Concordia University Montr'eal H3G 1M8 Canada Ferhat Khendek Dept of Elec. & Computer Eng…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB