Searching for "Functional formal methods." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
An experiment in using RT-LOTOS for the formal specification and verification of a distributed
- … formal method to the reverse engineering of (a part of) a fault-tolerant monitoring system designed…
- Add To MetaCart
-
Handwriting Recognition with Fuzzy Linguistic Rules
- … of these levels L 1 ,..., L N can be accomplished with several fuzzy techniques e.g. aggregation functions, formal…
- Cited by 3 (3 self) – Add To MetaCart
-
A Design Framework for System Re-engineering
- …. Formal methods allows system functionalities to be precisely specified while structured methods permit…
- Cited by 1 (0 self) – Add To MetaCart
-
Formal Methods For The Re-Engineering of Computing Systems
- … system functionalities. Formal methods allows system functionalities to be precisely specified whilst…
- Cited by 2 (1 self) – Add To MetaCart
-
Using Formal Methods to Assist in the Requirements Analysis of the Space Shuttle GPS Change Request
- …-0001 NASA Contractor Report 4752 Using Formal Methods to Assist in the Requirements Analysis of the Space…
- Cited by 10 (4 self) – Add To MetaCart
-
A Logical Theory of Interfaces and Objects
- … these specifications and could allow rapid prototyping of functionality. Formal methods and reuse are closely related…
- Cited by 11 (9 self) – Add To MetaCart
-
Taking Moore's Law Into the Next Century
- … to prove the correctness of circuit functionality. Formal methods are now transitioning from academia…
- Cited by 6 (0 self) – Add To MetaCart
-
Taking Moore’s Law Into the Next Century
- … uses mathematical techniques to prove the correctness of circuit functionality. Formal methods are now…
- Add To MetaCart
-
Knowledge management techniques: teaching and dissemination concepts
- … the informal knowledge management of the staff function with formal methods in customer aligned business…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 9.
