Formal Specification - Globe Thesis

Keyword [Formal Specification] Result: 41 - 60 \| Page: 3 of 4
41.	Formal Specification And Verification Of OAuth Protocol
42.	Research On Formal Verification Methods For Hybrid Systems Based On Combined Formal Specification
43.	Study On The Automatic Testing Method For The Completeness Of Formal Specifications Based On SOFL
44.	Research On Applying Genetic Algorithm For Automatically Generating Test Case
45.	Parallel Runtime Verification For Multithreaded Programs
46.	Research On The System Service Method Based On Formal Specification
47.	Formal specification and verification of a JVM and its bytecode verifier
48.	Formal specification and verification of reconfigurable hybrid systems
49.	Formal specification of agent interaction protocols and constraint satisfaction problems
50.	Automated conversion from a requirements document to an executable formal specification using two-level grammar and contextual natural language processing
51.	A formal specification and design of an online Bazaar System
52.	A formal specification of electronic patient record processing for an integrated distributed health care system
53.	Formal specification and analysis of security protocols
54.	Structuring formal state-based specifications for reuse and the development of product families
55.	A modular approach to formal specification and verification of dependable distributed protocols
56.	A formal specification of Web-based data warehouses
57.	Formal specification of the Mobius modeling framework
58.	Formal analysis of early requirements specifications
59.	A hierarchical structure of interacting automata for modeling battlefield dynamics: Controllability and formal specification
60.	Formal specification and verification of the OSI session layer using the Calculus of Communicating Systems (CCS)
<<First <Prev Next> Last>> Jump to