Search results

Create the page "Validation" on this wiki! See also the search results found.

• OCL 2009
  verification and validation, code generation, test-driven development, * validation, verification, and testing,
  6 KB (870 words) - 11:34, 2 August 2009
• RCIS 2010
  ...existing solutions. A technical solution paper must include a preliminary validation of the proposed solution. Results must be stated clearly enough so that it
  5 KB (652 words) - 11:34, 2 August 2009
• ASWEC 2010
  * Software Verification and Validation
  8 KB (1,112 words) - 11:35, 2 August 2009
• WSRCC 2009
  + tools and techniques to accelerate the development and validation of earth system models by climate scientists;
  7 KB (992 words) - 11:44, 2 August 2009
• LCTES 2010
  new research challenges are encountered in areas such as verification, validation, meeting performance goals and resource constraints, creating and exploitin
  2 KB (257 words) - 11:36, 2 August 2009
• FITS 2009
  * Tool support for service creation, validation and testing
  9 KB (1,206 words) - 11:40, 2 August 2009
• LRL 2009
  - Experience in the production, validation and distribution of LR for less-resourced languages
  14 KB (1,872 words) - 19:26, 2 August 2009
• CGIM 2010
  Model Validation
  7 KB (882 words) - 11:36, 2 August 2009
• DATE 2010
  • Simulation and Validation
  5 KB (605 words) - 15:11, 27 December 2015
• LREC 2010
  • Validation, quality assurance, evaluation of LRs
  6 KB (849 words) - 11:36, 2 August 2009
• ICIMP 2010
  ...net; System measurement and monitoring; Performance model verification and validation; Stochastic modeling (queues, Petri nets, etc.); Statistical performance; P ...for trust management; Formalisms for trust specification, verification and validation; Logics for the analysis of trust and for reasoning about trust; Legal fram
  14 KB (1,651 words) - 15:56, 15 February 2017
• QSIC 2010
  static and dynamic analysis, validation and verification
  4 KB (583 words) - 12:17, 25 November 2009
• KES AMSTA 2010
  ...Per-formance, scalability, robustness, and dependability. Verification and validation. E-business agents. Pervasive computing. Privacy, safety, and security.
  6 KB (733 words) - 18:19, 24 September 2020
• SECRYPT
  * › Security Verification and Validation
  4 KB (409 words) - 15:40, 5 February 2010
• FDL 2010
  analysis, validation and verification, SDL, AADL, OCL, XMI and
  8 KB (1,113 words) - 17:01, 22 February 2010
• FM 2011
  ...ations of formal methods in industrial and research settings, experimental validation of tools and methods as well as construction and evolution of formal method ...cking, integration of tools, environments for formal methods, experimental validation of tools. Authors are encouraged to demonstrate empirically that the new to
  7 KB (993 words) - 14:55, 27 December 2015
• RTAS 2020
  ...to the state of practice in the design, implementation, verification, and validation of embedded systems and time-sensitive systems (of any size). The scope of
  2 KB (312 words) - 10:13, 8 October 2020
• ICST
  |Title=International Conference on Software Testing, Verification and Validation
  133 bytes (17 words) - 21:54, 26 February 2020
• ICST 2020
  |Title=International Conference on Software Testing, Verification and Validation
  228 bytes (26 words) - 17:00, 27 February 2020
• MWNTE 2011
  • Validation of existing simulation models, and results
  4 KB (518 words) - 20:52, 10 September 2010

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)