Search results
Create the page "Software testing" on this wiki! See also the search results found.
- ...ystems. All kinds of faults are of interest, from traditional hardware and software faults to accidental and malicious human interactions. * Hardware and software testing, verification, and validation.4 KB (528 words) - 23:27, 14 October 2008
- ...ds of integrated circuit manufacturers, semiconductor equipment suppliers, software suppliers, sensors and metrology suppliers. Major issues and experiences on # Design for Manufacturing/Testing/Yield5 KB (608 words) - 23:29, 14 October 2008
- Hardware/Software Codesign and System Synthesis International Conference on Embedded Software11 KB (1,352 words) - 00:33, 15 October 2008
- o Hardware, system software, and application, and their interface o Validation and verification, system integration and testing5 KB (673 words) - 23:30, 14 October 2008
- practitioners who design modern hardware/software systems. for the design of dependable hardware/software systems. Many4 KB (526 words) - 23:30, 14 October 2008
- hardware/software defects, resource changes, and non-continual feature... capturing, methodologies, modeling, analysis, testing, and7 KB (851 words) - 23:30, 14 October 2008
- ...h integrity applications, specification, design, verification, validation, testing, maintenance, system of systems, etc. System software: real-time kernels and operating systems, middleware support for ORC, QoS m3 KB (377 words) - 23:31, 14 October 2008
- ...orum for academic and industrial researchers working on topics relating to Software Science. ETAPS 2009 is the 12th joint conference in this series. ...l semantics, operational semantics, program verification, static analysis, testing, language-based security.6 KB (824 words) - 23:32, 14 October 2008
- |Title=29th ACM SIGSOFT International Symposium on Software Testing and Analysis |Field=Software engineering2 KB (216 words) - 09:31, 16 July 2020
- * Program analysis and software verification * Software synthesis2 KB (291 words) - 11:09, 20 November 2020
- ...he most critical requirements of contemporary software. The application of software engineering methods, tools, and languages all interrelate to affect how and Such software is in operation in many domains of application. Much has been accomplished8 KB (1,079 words) - 23:32, 14 October 2008
- SOFSEM (SOFtware SEMinar) is the annual, international conference devoted to * Radovan Janecek (BTO, HP Software)6 KB (682 words) - 10:18, 14 April 2020
- �?� System debugging and testing HARDWARE AND SOFTWARE11 KB (1,533 words) - 23:38, 14 October 2008
- ...on of national and transnational electronic firms, as well as hardware and software developers. * Electromagnetic compatibility (design, testing and standards)3 KB (383 words) - 23:38, 14 October 2008
- ...igh Assurance Systems Engineering is a forum for discussion of systems and software engineering issues to achieve high assurance systems. The focus is on integ * Formal specification, specification validation, testing, and model checking for high assurance systems6 KB (748 words) - 14:43, 27 December 2015
- - Software engineering : languages, programming and design methodologies, testing methodology, model-driven architecture, simulation methodology2 KB (303 words) - 23:42, 14 October 2008
- | Title = 32nd Annual IEEE International Computer Software and Applications Conference ...ious domains of research. Multidisciplinary work, research and development software prototypes, industry-university collaborations, all based on new emerging a2 KB (249 words) - 23:44, 14 October 2008
- ...ecurity for nomadic code; Intrusion detection systems; Static analysis for software security; Security modeling ...g; Intrusion detection and event correlation; Firewalls; Trust management; Software security assurance13 KB (1,617 words) - 19:03, 24 November 2008
- ...urity management systems. In 2006/2007 he has been an Adjunct Professor of Software Engineering at the Second University of Naples. He currently teaches Comput1 KB (186 words) - 17:22, 5 February 2009
- ...el Grant) for the Special Issue in Software Engineering for the Journal of Software Engineering Research and Practices (2007). ...of Software Architecture in the engineering and testing of data analytics software systems (AKA BigData);1 KB (187 words) - 21:13, 12 July 2020
- much in common with software engineering. This workshop aims to bring 5. Regression testing: Evaluation for internal purposes;5 KB (607 words) - 12:55, 18 January 2009
- * Software Engineering and Embedded Systems (Chair(s): Paul Strooper - Thang Nguyen) o Agile methods, component-based, model-driven, grid-based software engineering5 KB (567 words) - 12:58, 18 January 2009
- * Software security and testing * Software engineering for dependable systems16 KB (2,178 words) - 12:59, 18 January 2009
- |Field=Software engineering The MODELS Conference Series is devoted to model-based development for software and systems engineering,2 KB (208 words) - 17:05, 24 February 2016
- * Cognitive radio and software defined radio * Application/network penetration testing14 KB (1,518 words) - 13:01, 18 January 2009
- | Title = 3rd International Conference on Software Engineering Approaches For Offshore and Outsourced Development | Field = Software engineering6 KB (857 words) - 13:01, 18 January 2009
- | Title = NAACL-HLT 2009 workshop on Software engineering, testing, and quality assurance for natural language processing | Field = Software engineering4 KB (599 words) - 13:01, 18 January 2009
- | Title = Second International Workshop on Multicore Software Engineering | Field = Software engineering4 KB (451 words) - 13:02, 18 January 2009
- 1. common interfaces, portability, and shared methods for testing/benchmarking/evaluation of finite-state tools ...ubmission of extended abstracts on on-going research, systems, interactive software demos, and joint projects will likely be invited for each of the subworksho10 KB (1,287 words) - 13:02, 18 January 2009
- ...gies creates many situations that cannot be foreseen during the design and testing stages of technology development. Understanding, developing, and managing p * Software tools for supporting measurements and modeling5 KB (431 words) - 13:03, 18 January 2009
- |Title=2nd Workshop on MODEL-BASED TESTING IN PRACTICE |Field=Software engineering5 KB (693 words) - 01:41, 14 April 2011
- | Title = 6th International Workshop on Formal Aspects of Component Software | Field = Software engineering8 KB (1,079 words) - 17:05, 27 February 2009
- | Title = International Workshop on “Tools and Techniques in Software Development Processes for High Performance computing | Field = Software engineering1 KB (190 words) - 22:09, 27 February 2009
- | Title = International Workshop on Software Engineering Processes and Applications | Field = Software engineering2 KB (284 words) - 22:10, 27 February 2009
- Systematic and Automated Software Testing, which will happen in the - Formal methods for software/hardware7 KB (1,094 words) - 11:42, 29 September 2016
- | Field = Software engineering ...lly, i.e. how (1) to adapt and apply MDD techniques for the development of software product lines and related engineering tools and (2) how to integrate SPL co7 KB (910 words) - 17:06, 27 February 2009
- | Title = The 3rd International Workshop of Software Engineering for Adaptive Service-oriented Systems (SEASS’09) | Field = Software engineering6 KB (855 words) - 17:06, 27 February 2009
- ...o the system-level design process as well as to the design of hardware and software components of the system: despite the small size and reliance on battery po - Hardware/software co-design5 KB (646 words) - 17:06, 27 February 2009
- ...ng, including, but not limited to Natural Language Processing, Networking, Software Systems Software Systems Engineering6 KB (654 words) - 17:06, 27 February 2009
- ...s intended to be the definitive point of interaction between entertainment software developers interested in AI and academic and industrial AI researchers. AII Game design, content creation, testing8 KB (1,134 words) - 17:06, 27 February 2009
- ...tomatic model generation; Graphical simulation environments and simulation software tools; Intelligent simulation environments; Database management of models a ...Parallel and distributed systems; High-speed networks; Network simulation software; Computer and telecommunication systems; Telecommunication devices and syst38 KB (4,832 words) - 17:07, 27 February 2009
- Data Bases, Software Engineering, Design and Testing,1 KB (175 words) - 17:07, 27 February 2009
- | Title = Second ACM International Workshop on Testing Database Systems Testing Database Systems (DBTest 2009)6 KB (817 words) - 17:08, 27 February 2009
- |Field=Software engineering - models for software components and component interaction: real-time, =20=4 KB (504 words) - 16:43, 27 December 2015
- - e-learning hardware and software - Assessment software tools5 KB (661 words) - 15:49, 8 December 2009
- ...propose a scientific open-issue about agility viewed as new foundation of Software Engineering, Knowledge Management, and Learning Organization. Agile software development refers to software development methodologies which conforms to the twelve principles formulate5 KB (627 words) - 16:46, 27 December 2015
- ...mization, technology mapping, system-level partitioning, logic generators, testing and verification, CAD for FPGA-based accelerators, CAD for incremental FPGA ...erators, reconfigurable computing, adaptive computing devices, systems and software, rapid-prototyping.5 KB (632 words) - 11:32, 2 August 2009
- | Title = International Symposium on Software Testing and Analysis ...to exchange new ideas, problems, and experience on how to analyze and test software systems. We solicit submissions in the following categories:2 KB (283 words) - 11:33, 2 August 2009
- * validation, verification, and testing, Manuel Clavel, IMDEA Software Institute, Spain6 KB (870 words) - 11:34, 2 August 2009
- | Title = Knowledge and Software Engineering: A Seamless Interplay - A special issue of the MIS Review: An I | Field = Software engineering5 KB (657 words) - 11:34, 2 August 2009