Search results

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

Page title matches

• Software Testing, Verification & Reliability
  | Field = Software engineering
  183 bytes (19 words) - 20:55, 15 August 2008

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) - 14: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) - 17: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) - 21: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) - 22: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) - 11: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) - 15: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) - 04: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) - 16:43, 11 September 2008
• CSR 2009
  * software engineering for design, development, testing, analysis, and verification of correct
  5 KB (614 words) - 16: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) - 15:14, 12 November 2020
• VSTTE 2008
  |Title=Verified Software: Theories, Tools, and Experiments 2008 |Field=Software Verification
  5 KB (686 words) - 11: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) - 17: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) - 09: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) - 16: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) - 16: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) - 16:48, 14 October 2008
• DEPEND 2008
  Verification and validation (including model checking) of dependable software architectures
  7 KB (960 words) - 16: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) - 20: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) - 13: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) - 21:53, 14 October 2008

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