Search results

Create the page "Verification and validation" on this wiki! See also the search results found.

• COMPARCH 2008
  | Title=Federated Events on Component-Based Software Engineering and Software Architecture (COMPARCH) COMPARCH and its federated events are the world's leading conference on
  4 KB (564 words) - 12:33, 8 December 2020
• TACAS 2009
  |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems ...t to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems.
  4 KB (543 words) - 16:39, 16 July 2020
• AAMAS 2009
  |Title=International Conference on Autonomous Agents and Multi-Agent Systems AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS (AAMAS-09)
  10 KB (1,371 words) - 16:14, 12 November 2020
• EICS 2009
  ...be on 15�??17 July. Submissions are solicited on a wide range of topics and themes relating to the engineering of usable interactive computer systems. ...HCI, Software Engineering, Requirements Engineering, CSCW, and Ubiquitous and Pervasive Systems.
  4 KB (575 words) - 14:56, 27 December 2015
• LPAR 2008
  ...International Conference on Logic for Programming, Artificial Intelligence and Reasoning ...come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 2008
  5 KB (799 words) - 21:49, 26 February 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
• AAMAS 2020
  |Title=19th International Conference on Autonomous Agents and Multi Agent Systems ...onference of the non-profit International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).
  6 KB (659 words) - 17:41, 11 February 2021
• SEKE 2008
  |Title=The 20th International Conference on Software Engineering and Knowledge Engineering The Twentieth International Conference on Software Engineering and Knowledge Engineering (SEKE'08) will be held at Hotel Sofitel, Redwood City
  6 KB (733 words) - 12:48, 27 October 2016
• SOFSEM 2009
  |Title=Current Trends in Theory and Practice of Computer Science Current Trends in Theory and Practice of Computer Science
  6 KB (682 words) - 10:18, 14 April 2020
• HASE 2008
  | Field = Computer security and reliability ...odels for high assurance systems development, verification and validation, and assessment are welcome.
  6 KB (748 words) - 14:43, 27 December 2015
• ICLP 2009
  ** Validation ** Verification
  5 KB (680 words) - 23:55, 27 February 2020
• CORCS 2009
  Aims and Scope state-of-the-art, research and development in the area of resource
  4 KB (504 words) - 16:43, 27 December 2015
• DATE 2010
  Conference and Exhibition: March 8-12, 2010 ...systems. It puts strong emphasis on both ICs/SoCs, reconfigurable hardware and embedded systems, including embedded software.
  5 KB (605 words) - 15:11, 27 December 2015
• ICIMP 2010
  |Title=The Fifth International Conference on Internet Monitoring and Protectio ICIMP 2010: The Fifth International Conference on Internet Monitoring and Protection
  14 KB (1,651 words) - 15:56, 15 February 2017
• KES AMSTA 2010
  ...ternational KES Symposium on Agents and Multi-agent Systems - Technologies and Applications Call for Papers and Invited Sessions Proposals
  6 KB (733 words) - 18:19, 24 September 2020
• FM 2011
  ...and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work. ...ings, experimental validation of tools and methods as well as construction and evolution of formal methods tools.
  7 KB (993 words) - 14:55, 27 December 2015
• RTAS 2020
  |Title=26th IEEE Real-Time and Embedded Technology and Applications Symposium ...e design, implementation, verification, and validation of embedded systems and time-sensitive systems (of any size). The scope of RTAS’20 consists of tw
  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
• RE 2011
  * Requirements elicitation, analysis, documentation, validation and verification * Requirements specification languages, methods, processes and tools
  7 KB (895 words) - 19:51, 24 June 2016

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