Search results
Create the page "Software Verification" on this wiki! See also the search results found.
- �?� Cooperative design analysis, verification, integration and interoperability, standards ...architecture, engineering and construction, automobile, microelectronics, software engineering, entertainment and other areas4 KB (468 words) - 22:54, 14 October 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
- University, Institute of Software Technology, Macao. The PC is Institute for Software Technology of the United Nations University8 KB (1,085 words) - 18:01, 12 February 2009
- ...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 Language3 KB (384 words) - 23:08, 14 October 2008
- Interest in integrating Ontologies and Software Engineering has gained more Platform Special Interest Group (PSIG) and the W3C Software Engineering Task8 KB (994 words) - 23:09, 14 October 2008
- ...ications of formal methods and declarative technologies for specification, verification and validation of MAS * Software engineering methodologies and techniques for agent-based systems6 KB (659 words) - 17:41, 11 February 2021
- | Title = XII Iberoamerican Conference on Requirements Engineering and Software Environments | Field = Software engineering8 KB (1,104 words) - 23:18, 14 October 2008
- | Title = RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms | Field = Software engineering9 KB (1,264 words) - 18:14, 8 November 2008
- | Title = 11th International Symposium on Component-Based Software Engineering | Field = Software engineering8 KB (1,033 words) - 23:18, 14 October 2008
- |Title=The 20th International Conference on Software Engineering and Knowledge Engineering |Field=Software engineering6 KB (733 words) - 12:48, 27 October 2016
- making its way in other fields of software engineering, too, often interest from leading companies developing automatic control software6 KB (659 words) - 23:18, 14 October 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
- | 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
- - Embedded Software for Ubiquitous - Specification, Validation and Verification of Embedded System and Software6 KB (697 words) - 23:19, 14 October 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 systems3 KB (337 words) - 23:20, 14 October 2008
- Adaptation software development Component based software engineering &Software verification & analysis4 KB (502 words) - 23:20, 14 October 2008
- * Embedded systems and software * Hardware-software co-design2 KB (282 words) - 23:21, 14 October 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
- * models for software components and component interaction: * formal techniques for verification and validation of2 KB (254 words) - 23:22, 14 October 2008
- 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-verification9 KB (1,181 words) - 00:37, 15 October 2008