Specifications - Globe Thesis

Keyword [Specifications] Result: 141 - 160 \| Page: 8 of 9
141.	Model reference adaptive control system using frequency domain performance specifications
142.	Symbolic model checking for large software specifications
143.	Automated component retrieval and adaptation using formal specifications
144.	Estimating performance of communication protocols from formal specifications
145.	Synthesis of parallel hardware implementations from synchronous dataflow graph specifications
146.	A method and software engineering environment for configuring applications from reusable specifications and architectures
147.	Abstraction-based misuse detection: High-level specifications and adaptable strategies
148.	Writing a visual programming language reference manual using formal specifications
149.	Integrating tools and methods for rigorous analysis of C++ generic library components
150.	Automated security analysis of cryptographic protocols using coloured Petri net specifications
151.	The effect of specificity of language test specifications on item construction
152.	A formal methodology for deriving purely functional programs from Z specifications via the intermediate specification language FunZ
153.	Reverse engineering of user interfaces: Inference of structural and behavioural specifications
154.	The derivation of functional specifications from source code
155.	A knowledge-based approach for generating target system specifications from a domain model
156.	Believable specifications: Organizing and describing object interfaces using protocol conformance
157.	Fast, globally convergent optimization algorithms, with applications to engineering systems design
158.	Formal methods for protocol conversion
159.	Program verification via abstraction using incremental operational specifications
160.	Processing visual specifications of file system security
<<First <Prev Next> Last>> Jump to