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
  • 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 engineering
    5 KB (567 words) - 12:58, 18 January 2009
  • * Software security and testing * Software engineering for dependable systems
    16 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 testing
    14 KB (1,518 words) - 13:01, 18 January 2009
  • | Title = 3rd International Conference on Software Engineering Approaches For Offshore and Outsourced Development | Field = Software engineering
    6 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 engineering
    4 KB (599 words) - 13:01, 18 January 2009
  • | Title = Second International Workshop on Multicore Software Engineering | Field = Software engineering
    4 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 subworksho
    10 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 modeling
    5 KB (431 words) - 13:03, 18 January 2009
  • |Title=2nd Workshop on MODEL-BASED TESTING IN PRACTICE |Field=Software engineering
    5 KB (693 words) - 01:41, 14 April 2011
  • | Title = 6th International Workshop on Formal Aspects of Component Software | Field = Software engineering
    8 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 engineering
    1 KB (190 words) - 22:09, 27 February 2009
  • | Title = International Workshop on Software Engineering Processes and Applications | Field = Software engineering
    2 KB (284 words) - 22:10, 27 February 2009
  • Systematic and Automated Software Testing, which will happen in the - Formal methods for software/hardware
    7 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 co
    7 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 engineering
    6 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-design
    5 KB (646 words) - 17:06, 27 February 2009
  • ...ng, including, but not limited to Natural Language Processing, Networking, Software Systems Software Systems Engineering
    6 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, testing
    8 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 syst
    38 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 tools
    5 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 formulate
    5 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, Spain
    6 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 engineering
    5 KB (657 words) - 11:34, 2 August 2009

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