Search results

Jump to: navigation, search
  • ...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/Yield
    5 KB (608 words) - 23:29, 14 October 2008
  • Hardware/Software Codesign and System Synthesis International Conference on Embedded Software
    11 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 testing
    5 KB (673 words) - 23:30, 14 October 2008
  • practitioners who design modern hardware/software systems. for the design of dependable hardware/software systems. Many
    4 KB (526 words) - 23:30, 14 October 2008
  • hardware/software defects, resource changes, and non-continual feature... capturing, methodologies, modeling, analysis, testing, and
    7 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 m
    3 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 engineering
    2 KB (216 words) - 09:31, 16 July 2020
  • * Program analysis and software verification * Software synthesis
    2 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 accomplished
    8 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 SOFTWARE
    11 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 systems
    6 KB (748 words) - 14:43, 27 December 2015
  • - Software engineering : languages, programming and design methodologies, testing methodology, model-driven architecture, simulation methodology
    2 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 a
    2 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 assurance
    13 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 Comput
    1 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

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