Search results

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

• APRES 2008
  hardware/software defects, resource changes, and non-continual feature... - Verification and certification of reconfigurable systems
  7 KB (851 words) - 23:30, 14 October 2008
• FIT 2008
  complex software products, rich interfaces have been proposed. These constraints in embedded software. The development of a rigorous
  4 KB (537 words) - 23:30, 14 October 2008
• DIPES 2008
  4. Validation and verification of embedded systems 11. Software synthesis for real-time applications
  5 KB (655 words) - 23:30, 14 October 2008
• DADS 2009
  Unfortunately, heterogeneous, large-scale, and dynamic software systems that typically run continuously often tend to become inert, brittle ...chological aspects, to compensate for dependability degradation of running software and services.
  8 KB (952 words) - 23:31, 14 October 2008
• WAODS 2008
  ...ng widespread in several and disconnected domains. Their usage lead to new software architectures, especially in the field of distributed systems. It is howeve ...ase (how does ontologies perform in practice ? What is the benefit for the software architect using them ? What is the benefit for the user ? What are their li
  4 KB (523 words) - 23:31, 14 October 2008
• ISORC 2008
  ...-driven development of high 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
• ESOP 2009
  ...orum for academic and industrial researchers working on topics relating to Software Science. ETAPS 2009 is the 12th joint conference in this series. ...ogical foundations, denotational semantics, operational semantics, program verification, static analysis, testing, language-based security.
  6 KB (824 words) - 23:32, 14 October 2008
• PPoPP 2009
  * Formal analysis and verification * Software engineering for parallel programs
  4 KB (495 words) - 23:32, 14 October 2008
• ISSTA 2020
  |Title=29th ACM SIGSOFT International Symposium on Software Testing and Analysis |Field=Software engineering
  2 KB (216 words) - 09:31, 16 July 2020
• CAV 2020
  |Title=International Conference on Computer Aided Verification * Algorithms and tools that combine verification and learning
  2 KB (291 words) - 11:09, 20 November 2020
• DAC 2008
  ...ixed hardware and software components with limited resources. Increases in software content introduce new system design issues. ...pic for DAC 2008. Papers that specifically target wireless related design, verification, test and implementation issues will be highlighted at the conference.
  2 KB (322 words) - 12:03, 27 November 2020
• SOFSEM 2009
  SOFSEM (SOFtware SEMinar) is the annual, international conference devoted to * Radovan Janecek (BTO, HP Software)
  6 KB (682 words) - 10:18, 14 April 2020
• FM'08
  for software development. The symposia have been notably successful mathematical methods for software development, industrial users as
  7 KB (979 words) - 23:37, 14 October 2008
• HASE 2008
  ...ies, middleware, tools, and models for high assurance systems development, verification and validation, and assessment are welcome. * High assurance software architecture and design
  6 KB (748 words) - 14:43, 27 December 2015
• COMPSAC 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
• SECURWARE 2009
  ...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
• Francesco Flammini
  ...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
• M4M-6
  researchers interested in developing algorithms, verification methods especially for experimental and prototypical software tools which are
  4 KB (535 words) - 10:05, 24 December 2008
• ICLP 2009
  ** Verification ** Software Engineering
  5 KB (680 words) - 23:55, 27 February 2020
• IAAI 2009
  ...n of AI with other technologies; development methodologies; validation and verification; lessons learned; social and other technology transition issues. ...in the application? How is knowledge represented? What is the hardware and software environment in which the system is deployed? Provide examples to illustrate
  11 KB (1,724 words) - 12:55, 18 January 2009

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