Search results

Jump to: navigation, search

Page title matches

Page text matches

  • | Title= ISSTA 2008 International Symposium on Software Testing and Analysis | Field = Software engineering
    328 bytes (33 words) - 23:31, 15 August 2008
  • | Title= ISSTA 2006 International Symposium on Software Testing and Analysis | Field = Software engineering
    332 bytes (35 words) - 23:31, 15 August 2008
  • | Title= ISSTA 2004 International Symposium on Software Testing and Analysis | Field = Software engineering
    342 bytes (36 words) - 23:31, 15 August 2008
  • | Title= ISSTA 2000 International Symposium on Software Testing and Analysis | Field = Software engineering
    342 bytes (36 words) - 23:31, 15 August 2008
  • | Title= ISSTA 1998 International Symposium on Software Testing and Analysis | Field = Software engineering
    331 bytes (35 words) - 23:31, 15 August 2008
  • | Title= ISSTA 1996 International Symposium on Software Testing and Analysis | Field = Software engineering
    343 bytes (36 words) - 23:31, 15 August 2008
  • |Field=Software engineering ...oftware and hardware verification, static analysis, programming languages, software engineering, real-time systems, communications protocols, and biological sy
    4 KB (543 words) - 16:39, 16 July 2020
  • ...ting Systems and International Workshop on Formal Approaches to Testing of Software 2008 | Field = Software engineering
    402 bytes (43 words) - 17:19, 20 August 2008
  • *Embedded and real-time software *Software architectures and design
    5 KB (571 words) - 09:22, 19 July 2019
  • ...ms (TestCom) and International Workshop on Formal Approaches to Testing of Software (FATES) | Field = Software engineering
    397 bytes (42 words) - 17:08, 20 August 2008
  • | Title = International Symposium on Software Testing and Analysis | Field = Software engineering
    136 bytes (15 words) - 01:22, 20 August 2008
  • ...of established practices stemming from several related disciplines such as Software Engineering, Hypermedia, Information Systems, Human-Computer Interaction an * Testing automation, methods and tools for Web applications
    6 KB (871 words) - 05:51, 26 August 2008
  • specification, design, verification, validation, testing, maintenance, System software: real-time kernels and operating systems, middleware
    5 KB (715 words) - 17:43, 11 September 2008
  • * software engineering for design, development, testing, analysis, and verification of correct
    5 KB (614 words) - 17:22, 11 September 2008
  • ...OSS has challenged the conventional wisdom of the software engineering and software business communities, has become a useful instrument for educators and rese *Software engineering perspectives: Challenges and opportunities
    10 KB (1,349 words) - 16:42, 24 September 2008
  • |Title=Annual International Conference on Software Engineering & Applications Annual International Conference on Software Engineering & Applications (SEA 2011)
    2 KB (293 words) - 10:35, 24 June 2011
  • ...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.
    4 KB (561 words) - 17:48, 14 October 2008
  • ...lications); more generally, any contribution addressing topics in advanced software technology fall within the scope of TOOLS. Reflecting the practical emphasi * Testing of object-oriented systems
    3 KB (328 words) - 20:05, 14 October 2008
  • • Communciations Systems SoftwareSoftware Design for Mobile Devices
    5 KB (530 words) - 10:27, 24 June 2011
  • * Computer-Aided Design (CAD): hardware/software co-design, logic and behavioral synthesis, logic mapping, simulation and fo ...nalog/mixed-signal testing, design for testability and reliability, online testing techniques, static and dynamic defect- and fault-recoverability, and variat
    4 KB (459 words) - 21:03, 14 October 2008
  • ...er interactive systems or that actually build such systems, including HCI, Software Engineering, Requirements Engineering, CSCW, and Ubiquitous and Pervasive S * methods or techniques for testing user interfaces
    4 KB (575 words) - 14:56, 27 December 2015
  • * Multi-agent technology and software technologies for collaborative networking and applications * Software design, testing, and experimentation technology for collaborative networking and applicatio
    6 KB (674 words) - 22:45, 14 October 2008
  • | Title = 18th annual international conference on computer science and software engineering | Field = Software engineering
    9 KB (1,193 words) - 22:53, 14 October 2008
  • ...architecture, engineering and construction, automobile, microelectronics, software engineering, entertainment and other areas �?� Collaborative process planning, scheduling, control, conformance testing and interoperability checking, cooperative decision making.
    4 KB (468 words) - 22:54, 14 October 2008
  • Controlled Studies and Usability Testing System papers (2 pages), accompanied by a demonstration of the software prototype.
    3 KB (361 words) - 22:55, 14 October 2008
  • Usability Testing User Interface Software Tools, Architectures, and Technologies
    2 KB (304 words) - 22:56, 14 October 2008
  • ...lutions to game production challenges (e.g. game design, content creation, testing, prodcedural animation, etc.), or describes the integration of AI technolog ...on, and synchronization methods, mobile and/or resource-constrained games, software and middleware support for developing networked games, content delivery and
    9 KB (1,275 words) - 14:46, 27 December 2015
  • Knowledge engineering and software engineering e- testing and new test theories
    2 KB (314 words) - 23:04, 14 October 2008
  • | Title = The Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed | Field = Software engineering
    2 KB (167 words) - 23:05, 14 October 2008
  • ...d form a complex changing environment. Any combination of human actors and software systems must behave like a process able to maintain its integrity, efficien The third conference (2008) focuses on the human actor and software agent collaboration in safety and time critical systems-of-systems. This fo
    4 KB (518 words) - 14:42, 27 December 2015
  • 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
  • * Software testing and engineering for natural language processing applications
    5 KB (655 words) - 23:06, 14 October 2008
  • software engineering. This workshop aims to bring together grammar 5. Regression testing: Evaluation for internal purposes; methodologies
    5 KB (715 words) - 23:07, 14 October 2008
  • | Title = Software engineering, testing, and quality assurance for natural language processing | Homepage = alias-i.com/acl-08-software-workshop
    4 KB (612 words) - 23:07, 14 October 2008
  • * Multi-agent technology and software technologies for collaborative networking and applications * Software design, testing, and experimentation technology for collaborative networking and applicati
    8 KB (1,093 words) - 23:15, 14 October 2008
  • | Title = XII Iberoamerican Conference on Requirements Engineering and Software Environments | Field = Software engineering
    8 KB (1,104 words) - 23:18, 14 October 2008
  • |Field=Software engineering ...mentioned industries with special emphasis on using model-based design and testing paradigms. Papers reporting industrial experiences using methodologies and
    5 KB (660 words) - 16:46, 27 December 2015
  • | Title = SITIS track on Open Source Software Development and Solutions SITIS 2008 - Track Open Source Software Development and Solutions (OSSDS)
    5 KB (697 words) - 23:18, 14 October 2008
  • ...= The 2nd IEEE International Workshop on Software Engineering for Adaptive Software Systems | Field = Software engineering
    5 KB (714 words) - 23:18, 14 October 2008
  • | Title = 11th International Symposium on Component-Based Software Engineering | Field = Software engineering
    8 KB (1,033 words) - 23:18, 14 October 2008
  • |Title=The 20th International Conference on Software Engineering and Knowledge Engineering |Field=Software engineering
    6 KB (733 words) - 12:48, 27 October 2016
  • | Title = The Second IEEE International Workshop on Security in Software Engineering ...nd adaptive engineering approaches to ensure software security and protect software systems poses major challenges to both industrial practitioners and researc
    5 KB (615 words) - 09:55, 29 May 2016
  • | Title = Workshop on Software and Performance | Field = Software engineering
    4 KB (449 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
  • ...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
  • * Embedded systems and software * Hardware-software co-design
    2 KB (282 words) - 23:21, 14 October 2008
  • | Title = Workshop on Semantic Approaches for Engineering Complex Software-Intensive Systems | Field = Software engineering
    6 KB (778 words) - 23:22, 14 October 2008
  • * models for software components and component interaction: component software: model-checking, abstraction,
    2 KB (254 words) - 23:22, 14 October 2008
  • ...rom theory to practice, in terms of methodologies, design, implementation, testing, use cases, tools, and lessons learnt. ...rification of safety requirements for complex systems containing hardware, software and human subsystems must be considered from early design phases. There is
    11 KB (1,492 words) - 23:26, 14 October 2008
  • ...rom theory to practice, in terms of methodologies, design, implementation, testing, use cases, tools, and lessons learnt. ...rification of safety requirements for complex systems containing hardware, software and human subsystems must be considered from early design phases. There is
    6 KB (765 words) - 23:26, 14 October 2008
  • ...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 100 | next 100) (20 | 50 | 100 | 250 | 500)