Searching for "Formal Methods For Design." – sorted by Relevance.

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

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

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

Experiences with a Formal Method for Design and
by Automatic Checking Of, Ro Campi, Eliseo Martinez, Pierluigi San Pietro — 2004 — In (IUI-CADUI 2004) Workshop: Making Model-based UI Design Practical: Usable and Open Methods and Tool
…Experiences with a Formal Method for Design and Automatic Checking of User Interfaces Alessandro…
Add To MetaCart

Formal Methods in the Design of Cryptographic Protocols (state of the Art)
by Levente Buttyan — 1999
…Formal methods in the design of cryptographic protocols (state of the art) Levente Butty'an Swiss…
Cited by 4 (0 self) – Add To MetaCart

A scalable formal method for design and automatic checking of user interfaces
by Jean Berstel, Stefano Crespi Reghizzi, Dipartimento Di, Elettronica E Informazione, Politecnico Di, M Ilano, Gilles Roussel, Institut Gaspard-monge, Institut Gaspard-monge, Université De Marne-la-vallée, Université De Marne-la-vallée — 2005 — ACM Transactions on Software Engineering and Methodology
…A Scalable Formal Method for Design and Automatic Checking of User Interfaces * JEAN BERSTEL…
Cited by 16 (0 self) – Add To MetaCart

The use of the B formal method for the design and the validation of the transaction mechanism
by Denis Sabatier, Pierre Lartigue — 1999
…The use of the B formal method for the design and the validation of the transaction mechanism…
Cited by 9 (0 self) – Add To MetaCart

Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems
by Kjeld Høyer Mortensen, Kjeld H��yer Mortensen, Donald Knuth
…Coloured Petri Nets --- a Pragmatic Formal Method for Designing and Analysing Distributed Systems…
Add To MetaCart

A Colored Petri Net-Based Formal Method for the Design of Control Systems
by M. Makungu, R. St-denis, M. Barbeau
…A Colored Petri Net-Based Formal Method for the Design of Control Systems M. Makungu, R. St…
Add To MetaCart

Security Protocols over open networks and distributed systems: Formal methods for their Analysis
by Stefanos Gritzalis, Diomidis Spinellis, Panagiotis Georgiadis — 1999 — Computer Communications
… cryptographic protocols. Recent research work focuses on the ex-ante use of formal methods in the design stage…
Cited by 15 (0 self) – Add To MetaCart

Formal Methods and System Design - ARTS/DExVal Partners
by Martin Wirsing, Prof Dr. Arm, O Martin Haeberer (brazilian Leader, Dr. Thom Frhwirth, Dr. Angelo, E. M. Ciarlini
…Formal Methods and System Design -- ARTS/DExVal Partners Prof. Dr. Martin Wirsing (German Leader…
Add To MetaCart

VALIDE -- Formal Methods and Tools for Distributed System Design
by Formal Methods and Tools Research Groups, Department Of Tele-informatics, Open Systems — 1994
…Valide Formal Methods and Tools for Distributed System Design Formal Methods and Tools Research…
Add To MetaCart

Design of Telecommunication Services Based on Software Agent Technology and Formal Methods
by Marie-Pierre Gervais And, Marie-pierre Gervais, Nicolas Ruffel — 1997
… of Telecommunication) Design of Telecommunication Services Based on Software Agent Technology and Formal Methods…
Add To MetaCart

Showing 1 through 10. Next 10 →

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