Search results

Jump to: navigation, search

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

  • KES AMSTA 2009
    ** Verification and validation ** Verification and validation
    6 KB (777 words) - 22:54, 14 August 2008
  • IJIS/Special Issue on Goal-Driven Requirements Engineering
    * verification and validation for GDRE
    4 KB (471 words) - 23:33, 13 August 2008
  • COMPARCH 2008
    * Validation & verification
    4 KB (564 words) - 12:33, 8 December 2020
  • TACAS 2009
    * Abstraction techniques for modeling and validation;
    4 KB (543 words) - 16:39, 16 July 2020
  • JWE
    * Web application evaluation, verification and validation
    6 KB (871 words) - 05:51, 26 August 2008
  • ISORC 2009
    specification, design, verification, validation, testing, maintenance,
    5 KB (715 words) - 17:43, 11 September 2008
  • AAMAS 2009
    and validation techniques/tools, and multi-agent programming
    10 KB (1,371 words) - 16:14, 12 November 2020
  • INTERNET 2009
    Internet security enforcement and validation
    11 KB (1,385 words) - 17:48, 14 October 2008
  • DEPEND 2008
    Design, development, and validation of tools for incident detection and decision support became crucial for sec Verification and validation (including model checking) of dependable software architectures
    7 KB (960 words) - 17:48, 14 October 2008
  • DEPEND 2009
    As a particular case, design, development, and validation of tools for incident detection and decision support became crucial for sec
    15 KB (2,175 words) - 21:03, 19 March 2013
  • SIGMETRICS 2009
    ...alytic modeling, system measurement and monitoring, model verification and validation, simulation, statistical analysis, experimental design, and reliability ana
    3 KB (361 words) - 21:16, 14 October 2008
  • EICS 2009
    ...present a substantial and rigorously executed piece of research including validation of results.
    4 KB (575 words) - 14:56, 27 December 2015
  • PervasiveHealth 2009
    * Clinical applications, validation and evaluation studies
    6 KB (732 words) - 22:45, 14 October 2008
  • CASCON 2008
    - Reliability: verification and validation; model checking; =
    9 KB (1,193 words) - 22:53, 14 October 2008
  • LPAR 2008
    - Translation validation
    5 KB (799 words) - 21:49, 26 February 2020
  • CSKGOI 2008
    Methods for knowledge validation
    5 KB (710 words) - 23:05, 14 October 2008
  • AMTA 2008
    Documentation and Validation issues
    16 KB (2,200 words) - 20:51, 18 February 2021
  • UALRRS 2008
    validation) and best practices
    5 KB (732 words) - 23:08, 14 October 2008
  • Multiword expressions 2008
    of MWE feasible, or will manual validation/intervention always be
    6 KB (814 words) - 23:08, 14 October 2008
  • RE 2009
    ...re of the software, the elicitation, analysis, negotiation, specification, validation and management of requirements
    7 KB (972 words) - 22:56, 4 February 2009
  • PDM 2008
    ...posing special challenges with respect to data modelling, -integration and validation. Further, as a result of shorter innovation cycles and a focus on customize
    6 KB (863 words) - 23:09, 14 October 2008
  • TWOMDE 2008
    validation of models using ontologies; application of Description Logics reasoning to automatically generate model transformations; validation of
    8 KB (994 words) - 23:09, 14 October 2008
  • MODELS OCL 2008
    validation, code-generation, test-driven development, transformations). * validation, verification, and testing,
    5 KB (746 words) - 23:09, 14 October 2008
  • DMVE 2008
    ...imulation and analysis. Virtual Prototypes enable early stage planning and validation resulting in a drastic reduction of development times, costs, and risks. Th
    4 KB (512 words) - 16:46, 16 December 2020
  • MSVVEIS 2008
    ...le = 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
    618 bytes (69 words) - 17:06, 24 February 2016
  • WaGe 2008
    · Workflow verification and validation in grid environments
    7 KB (886 words) - 23:10, 14 October 2008
  • SDKB 2008
    * Validation and Verification of data and knowledge base designs
    2 KB (271 words) - 23:10, 14 October 2008
  • WSES 2008
    * Workflow verification and validation
    4 KB (560 words) - 23:10, 14 October 2008
  • CAMAD 2009
    * Validation of Simulation Models with Measurements
    2 KB (212 words) - 23:11, 14 October 2008
  • ICWS 2008
    * Technologies for Web Services Assessment (i.e., validation &
    8 KB (1,158 words) - 23:14, 14 October 2008
  • W4A 2008
    * Evaluation and Validation tools and techniques for Wiki and Blogging tools;
    3 KB (414 words) - 23:14, 14 October 2008
  • USENIX 2009
    ...not require a full-length paper, such as negative results or experimental validation
    6 KB (869 words) - 23:14, 14 October 2008
  • AAMAS 2020
    ...l methods and declarative technologies for specification, verification and validation of MAS * Validation of simulation systems
    6 KB (659 words) - 17:41, 11 February 2021
  • IFAC/IFIP EI2N 2008
    * Enterprise reference models and their verification, validation, and accreditation
    8 KB (1,024 words) - 17:57, 8 November 2008
  • IDEAS 2009
    * Testing, Verification and Validation
    8 KB (1,104 words) - 23:18, 14 October 2008
  • SERENE 2008
    * Verification and validation of resilient systems
    9 KB (1,264 words) - 18:14, 8 November 2008
  • SIGSOFT 2008
    ...software engineering goals and should include a clear presentation of the validation methodology used. Experience reports must offer novel lessons learned that
    7 KB (892 words) - 09:16, 8 July 2020
  • SEKE 2008
    * Validation and Verification
    6 KB (733 words) - 12:48, 27 October 2016
  • SLA++P'08
    * test and validation of programs,
    6 KB (659 words) - 23:18, 14 October 2008
  • ADCSS 2008
    ...rately. Is it cost efficient to use a qualified code generator or to run a validation test suite on the target? The Auto-coding also enables the automatic tracea Models for verification/validation
    18 KB (2,714 words) - 23:23, 14 October 2008
  • UASS 2009
    - Specification, Validation and Verification of Embedded System and Software
    6 KB (697 words) - 23:19, 14 October 2008
  • SSIRI 2008
    # Requirements collection strategies and validation
    3 KB (337 words) - 23:20, 14 October 2008
  • SysML 2008
    * Techniques for validation of learned models and/or assessing the confidence of inferred results
    6 KB (837 words) - 23:21, 14 October 2008
  • TFP 2008
    * Validation and Verification of Functional Programs
    5 KB (636 words) - 23:22, 14 October 2008
  • CORCS 2008
    * formal techniques for verification and validation of
    2 KB (254 words) - 23:22, 14 October 2008
  • ISPASS 2008
    - Performance validation
    3 KB (330 words) - 23:05, 4 February 2009
  • EPOS 2008
    ...and verification strategies (e.g. stylized facts, statistical signatures, validation with stakeholders, etc.) - Methodological and epistemological roles of �??empirical validation�?? in simulation
    4 KB (523 words) - 23:23, 14 October 2008
  • VISAPP 2009
    - Model Acquisition and Validation
    6 KB (872 words) - 11:31, 21 February 2020
  • VISAPP 2008
    - Model Acquisition and Validation
    4 KB (568 words) - 11:31, 21 February 2020
  • ICONS 2009
    Validation and verification of safety requirements for complex systems containing hard Validation systems
    11 KB (1,492 words) - 23:26, 14 October 2008

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

Retrieved from "https://www.openresearch.org/wiki/Special:Search"