Search results

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

• CDVE 2008
  �?� Cooperative design analysis, verification, integration and interoperability, standards ...architecture, engineering and construction, automobile, microelectronics, software engineering, entertainment and other areas
  4 KB (468 words) - 22:54, 14 October 2008
• ICINCO 2008
  Software agents for intelligent control systems Petri nets (system design/verification with nets, protocols and networks)
  5 KB (634 words) - 23:05, 14 October 2008
• ICTAC 09
  University, Institute of Software Technology, Macao. The PC is Institute for Software Technology of the United Nations University
  8 KB (1,085 words) - 18:01, 12 February 2009
• NLDB 2008
  ...nt Engineering, Terminological Ontologies, Paraphrasing, Dynamic Modeling, Verification, Consistency Checking, Metadata Harvesting ...endencies Extraction from Software Documentation, Ontology Extraction from Software Documentation, Text Generation for Documentation of Code, Natural Language
  3 KB (384 words) - 23:08, 14 October 2008
• TWOMDE 2008
  Interest in integrating Ontologies and Software Engineering has gained more Platform Special Interest Group (PSIG) and the W3C Software Engineering Task
  8 KB (994 words) - 23:09, 14 October 2008
• AAMAS 2020
  ...ications of formal methods and declarative technologies for specification, verification and validation of MAS * Software engineering methodologies and techniques for agent-based systems
  6 KB (659 words) - 17:41, 11 February 2021
• IDEAS 2009
  | Title = XII Iberoamerican Conference on Requirements Engineering and Software Environments | Field = Software engineering
  8 KB (1,104 words) - 23:18, 14 October 2008
• SERENE 2008
  | Title = RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms | Field = Software engineering
  9 KB (1,264 words) - 18:14, 8 November 2008
• CBSE 2008
  | Title = 11th International Symposium on Component-Based Software Engineering | Field = Software engineering
  8 KB (1,033 words) - 23:18, 14 October 2008
• SEKE 2008
  |Title=The 20th International Conference on Software Engineering and Knowledge Engineering |Field=Software engineering
  6 KB (733 words) - 12:48, 27 October 2016
• SLA++P'08
  making its way in other fields of software engineering, too, often interest from leading companies developing automatic control software
  6 KB (659 words) - 23:18, 14 October 2008
• ADCSS 2008
  | Title = 2008 ESA Workshop on Avionics Data, Control and Software Systems ESA Workshop on Avionics Data, Control and Software Systems (ADCSS)
  18 KB (2,714 words) - 23:23, 14 October 2008
• PAN 2008
  | Title = Uncovering Plagiarism, Authorship, and Social Software Misuse *PAN-08 - Uncovering Plagiarism, Authorship, and Social Software Misuse*
  5 KB (587 words) - 23:19, 14 October 2008
• UASS 2009
  - Embedded Software for Ubiquitous - Specification, Validation and Verification of Embedded System and Software
  6 KB (697 words) - 23:19, 14 October 2008
• SSIRI 2008
  ...oncepts and experiences throughout the entire product development cycle in software, hardware, and systems are encouraged. The conference will bridge theory, a # Reliability, availability and safety of software systems
  3 KB (337 words) - 23:20, 14 October 2008
• UbiCC Sp. Issue 2009
  Adaptation software development Component based software engineering &Software verification & analysis
  4 KB (502 words) - 23:20, 14 October 2008
• VLSI-DAT 2009
  * Embedded systems and software * Hardware-software co-design
  2 KB (282 words) - 23:21, 14 October 2008
• TFP 2008
  * Validation and Verification of Functional Programs .../servlet/event.showcfp?eventid=2084&copyownerid=528 WikiCFP][[Category:Software engineering]]
  5 KB (636 words) - 23:22, 14 October 2008
• CORCS 2008
  * models for software components and component interaction: * formal techniques for verification and validation of
  2 KB (254 words) - 23:22, 14 October 2008
• DATICS 2009
  Main target of the Special Session: DATICS'09 is to bring together software/hardware engineering researchers, computer scientists, practitioners and pe * embedded system hardware/software co-design and co-verification
  9 KB (1,181 words) - 00:37, 15 October 2008

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