Search results

Jump to: navigation, search

Create the page "Software Verification" on this wiki! See also the search results found.

Page title matches

Page text matches

  • SAC 2009 SOAP
    ...imary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2009 is sp ...ast years, and many attempts at using formal methods for specification and verification in this setting have been made. Session correlation, service types, contrac
    7 KB (957 words) - 15:15, 11 August 2008
  • MBSDI 2009
    |Title=2nd International Workshop on Model-Based Software and Data Integration (MBSDI 2009) at the same time, integration of software components and systems,
    9 KB (1,151 words) - 18:27, 13 October 2008
  • KES AMSTA 2009
    Agents and multi-agent systems are related to a modern software paradigm which has long been recognized as a promising technology for const ** Verification and validation
    6 KB (777 words) - 22:54, 14 August 2008
  • IJIS/Special Issue on Goal-Driven Requirements Engineering
    | Field = Software engineering inconsistent because software systems are complex that developers can
    4 KB (471 words) - 23:33, 13 August 2008
  • COMPARCH 2008
    | Title=Federated Events on Component-Based Software Engineering and Software Architecture (COMPARCH) | Field = Software engineering
    4 KB (564 words) - 12:33, 8 December 2020
  • TACAS 2009
    |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
  • JWE
    ...of established practices stemming from several related disciplines such as Software Engineering, Hypermedia, Information Systems, Human-Computer Interaction an * Web application evaluation, verification and validation
    6 KB (871 words) - 05:51, 26 August 2008
  • ISORC 2009
    specification, design, verification, validation, testing, maintenance, System software: real-time kernels and operating systems, middleware
    5 KB (715 words) - 17:43, 11 September 2008
  • CSR 2009
    * software engineering for design, development, testing, analysis, and verification of correct
    5 KB (614 words) - 17:22, 11 September 2008
  • AAMAS 2009
    (design/software engineering/programming-oriented), and (iv) agent-oriented software development, frameworks for MAS specific
    10 KB (1,371 words) - 16:14, 12 November 2020
  • VSTTE 2008
    |Title=Verified Software: Theories, Tools, and Experiments 2008 |Field=Software Verification
    5 KB (686 words) - 12:27, 12 September 2008
  • MemoCODE 2009
    |Field=Software engineering ...thods and models, including success stories and demonstrations of hardware/software codesign. Furthermore, we invite poster presentations describing ongoing wo
    5 KB (708 words) - 18:23, 13 October 2008
  • SEA 2011
    |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
  • ATC 2009
    Computing systems including hardware, software, communication, and networks are growing towards an ever increasing scale a ...dels, negotiation, cooperation, competition, self-organization, emergence, verification etc.
    9 KB (1,216 words) - 17:32, 14 October 2008
  • ICESS 2009
    | Title = The 6th IEEE International Conference on Embedded Software and Systems efficient embedded software and systems have utmost importance.
    3 KB (375 words) - 17:48, 14 October 2008
  • FPGA 2009
    ...chnology mapping, system-level partitioning, logic generators, testing and verification, CAD for FPGA-based accelerators, CAD for incremental FPGA design and on-li ...s, tools, and techniques to facilitate the design, development, debugging, verification, and deployment of large-scale and high-performance FPGA-based applications
    4 KB (561 words) - 17:48, 14 October 2008
  • DEPEND 2008
    Verification and validation (including model checking) of dependable software architectures
    7 KB (960 words) - 17:48, 14 October 2008
  • GLSVLSI 2009
    ...sign, logic and behavioral synthesis, logic mapping, simulation and formal verification, layout (partitioning, placement, routing, floorplanning, compaction), algo
    4 KB (459 words) - 21:03, 14 October 2008
  • EICS 2009
    ...er interactive systems or that actually build such systems, including HCI, Software Engineering, Requirements Engineering, CSCW, and Ubiquitous and Pervasive S ...-IS 2009, the 16th International Workshop on the Design, Specification and Verification of Interactive Systems.
    4 KB (575 words) - 14:56, 27 December 2015
  • CASCON 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
  • CDVE 2008
    �?� Cooperative design analysis, verification, integration and interoperability, standards ...architecture, engineering and construction, automobile, microelectronics, software engineering, entertainment and other areas
    4 KB (468 words) - 22:54, 14 October 2008
  • ICINCO 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
  • ICTAC 09
    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
  • NLDB 2008
    ...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 Language
    3 KB (384 words) - 23:08, 14 October 2008
  • TWOMDE 2008
    Interest in integrating Ontologies and Software Engineering has gained more Platform Special Interest Group (PSIG) and the W3C Software Engineering Task
    8 KB (994 words) - 23:09, 14 October 2008
  • AAMAS 2020
    ...ications of formal methods and declarative technologies for specification, verification and validation of MAS * Software engineering methodologies and techniques for agent-based systems
    6 KB (659 words) - 17:41, 11 February 2021
  • IDEAS 2009
    | Title = XII Iberoamerican Conference on Requirements Engineering and Software Environments | Field = Software engineering
    8 KB (1,104 words) - 23:18, 14 October 2008
  • SERENE 2008
    | Title = RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms | Field = Software engineering
    9 KB (1,264 words) - 18:14, 8 November 2008
  • CBSE 2008
    | Title = 11th International Symposium on Component-Based Software Engineering | Field = Software engineering
    8 KB (1,033 words) - 23:18, 14 October 2008
  • SEKE 2008
    |Title=The 20th International Conference on Software Engineering and Knowledge Engineering |Field=Software engineering
    6 KB (733 words) - 12:48, 27 October 2016
  • SLA++P'08
    making its way in other fields of software engineering, too, often interest from leading companies developing automatic control software
    6 KB (659 words) - 23:18, 14 October 2008
  • ADCSS 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
  • PAN 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
  • UASS 2009
    - Embedded Software for Ubiquitous - Specification, Validation and Verification of Embedded System and Software
    6 KB (697 words) - 23:19, 14 October 2008
  • SSIRI 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
  • UbiCC Sp. Issue 2009
    Adaptation software development Component based software engineering &Software verification & analysis
    4 KB (502 words) - 23:20, 14 October 2008
  • VLSI-DAT 2009
    * Embedded systems and software * Hardware-software co-design
    2 KB (282 words) - 23:21, 14 October 2008
  • TFP 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
  • CORCS 2008
    * models for software components and component interaction: * formal techniques for verification and validation of
    2 KB (254 words) - 23:22, 14 October 2008
  • DATICS 2009
    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-verification
    9 KB (1,181 words) - 00:37, 15 October 2008
  • SAMOS 2008
    ...-art mature research papers on all aspects of embedded processors hardware/software design and integration. The IC-SAMOS is an IEEE co-sponsored conference (by * Hardware/Software Co-design
    2 KB (275 words) - 23:24, 14 October 2008
  • ICONS 2009
    ...igning, implementing, testing, validating and maintaining various kinds of software and hardware systems. Several tracks are proposed to treat the topics from ...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
  • ACM SAC OE 2009
    ...g has been a primary gathering forum for computer scientists, computer and software engineers from around the world. The ACM SAC conference is sponsored by the - Model analysis, verification and validation.
    6 KB (746 words) - 23:26, 14 October 2008
  • ICONS 2008
    ...igning, implementing, testing, validating and maintaining various kinds of software and hardware systems. Several tracks are proposed to treat the topics from ...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
  • WDA 2008
    Current computer technology trends present to the hardware and software designer novel opportunities to improve performance and at the same time ma ...echanisms such as clock- and Vdd-gating are increasing voltage droops; the verification manpower budget is becoming a significant part of the design effort; oxide
    5 KB (598 words) - 01:12, 31 May 2012
  • EDCC 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
  • EURASIP Journal on Embedded Systems 2009
    ...ifferent applications of formal or semiformal techniques in specification, verification, and synthesis of * Verification of system-level languages
    4 KB (456 words) - 23:30, 14 October 2008
  • ESWEEK 2008
    Hardware/Software Codesign and System Synthesis International Conference on Embedded Software
    11 KB (1,352 words) - 00:33, 15 October 2008
  • LCTES 2008
    research challenges are encountered in areas such as verification, o Hardware, system software, and application, and their interface
    5 KB (673 words) - 23:30, 14 October 2008
  • MEMOCODE 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

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

Retrieved from "https://www.openresearch.org/wiki/Special:Search"