Search results
Create the page "Software Verification" on this wiki! See also the search results found.
Page title matches
- | Field = Software engineering183 bytes (19 words) - 21:55, 15 August 2008
Page text matches
- ...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, contrac7 KB (957 words) - 15:15, 11 August 2008
- |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
- 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 validation6 KB (777 words) - 22:54, 14 August 2008
- | Field = Software engineering inconsistent because software systems are complex that developers can4 KB (471 words) - 23:33, 13 August 2008
- | Title=Federated Events on Component-Based Software Engineering and Software Architecture (COMPARCH) | Field = Software engineering4 KB (564 words) - 12:33, 8 December 2020
- |Field=Software engineering ...oftware and hardware verification, static analysis, programming languages, software engineering, real-time systems, communications protocols, and biological sy4 KB (543 words) - 16:39, 16 July 2020
- ...of established practices stemming from several related disciplines such as Software Engineering, Hypermedia, Information Systems, Human-Computer Interaction an * Web application evaluation, verification and validation6 KB (871 words) - 05:51, 26 August 2008
- specification, design, verification, validation, testing, maintenance, System software: real-time kernels and operating systems, middleware5 KB (715 words) - 17:43, 11 September 2008
- * software engineering for design, development, testing, analysis, and verification of correct5 KB (614 words) - 17:22, 11 September 2008
- (design/software engineering/programming-oriented), and (iv) agent-oriented software development, frameworks for MAS specific10 KB (1,371 words) - 16:14, 12 November 2020
- |Title=Verified Software: Theories, Tools, and Experiments 2008 |Field=Software Verification5 KB (686 words) - 12:27, 12 September 2008
- |Field=Software engineering ...thods and models, including success stories and demonstrations of hardware/software codesign. Furthermore, we invite poster presentations describing ongoing wo5 KB (708 words) - 18:23, 13 October 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
- 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
- | 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
- ...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 applications4 KB (561 words) - 17:48, 14 October 2008
- Verification and validation (including model checking) of dependable software architectures7 KB (960 words) - 17:48, 14 October 2008
- ...sign, logic and behavioral synthesis, logic mapping, simulation and formal verification, layout (partitioning, placement, routing, floorplanning, compaction), algo4 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 ...-IS 2009, the 16th International Workshop on the Design, Specification and Verification of Interactive Systems.4 KB (575 words) - 14:56, 27 December 2015
- | Title = 18th annual international conference on computer science and software engineering | Field = Software engineering9 KB (1,193 words) - 22:53, 14 October 2008
- �?� Cooperative design analysis, verification, integration and interoperability, standards ...architecture, engineering and construction, automobile, microelectronics, software engineering, entertainment and other areas4 KB (468 words) - 22:54, 14 October 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
- University, Institute of Software Technology, Macao. The PC is Institute for Software Technology of the United Nations University8 KB (1,085 words) - 18:01, 12 February 2009
- ...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 Language3 KB (384 words) - 23:08, 14 October 2008
- Interest in integrating Ontologies and Software Engineering has gained more Platform Special Interest Group (PSIG) and the W3C Software Engineering Task8 KB (994 words) - 23:09, 14 October 2008
- ...ications of formal methods and declarative technologies for specification, verification and validation of MAS * Software engineering methodologies and techniques for agent-based systems6 KB (659 words) - 17:41, 11 February 2021
- | Title = XII Iberoamerican Conference on Requirements Engineering and Software Environments | Field = Software engineering8 KB (1,104 words) - 23:18, 14 October 2008
- | Title = RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms | Field = Software engineering9 KB (1,264 words) - 18:14, 8 November 2008
- | Title = 11th International Symposium on Component-Based Software Engineering | Field = Software engineering8 KB (1,033 words) - 23:18, 14 October 2008
- |Title=The 20th International Conference on Software Engineering and Knowledge Engineering |Field=Software engineering6 KB (733 words) - 12:48, 27 October 2016
- making its way in other fields of software engineering, too, often interest from leading companies developing automatic control software6 KB (659 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
- | 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
- - Embedded Software for Ubiquitous - Specification, Validation and Verification of Embedded System and Software6 KB (697 words) - 23:19, 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 systems3 KB (337 words) - 23:20, 14 October 2008
- Adaptation software development Component based software engineering &Software verification & analysis4 KB (502 words) - 23:20, 14 October 2008
- * Embedded systems and software * Hardware-software co-design2 KB (282 words) - 23:21, 14 October 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
- * models for software components and component interaction: * formal techniques for verification and validation of2 KB (254 words) - 23:22, 14 October 2008
- 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-verification9 KB (1,181 words) - 00:37, 15 October 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-design2 KB (275 words) - 23:24, 14 October 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 is11 KB (1,492 words) - 23:26, 14 October 2008
- ...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
- ...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 is6 KB (765 words) - 23:26, 14 October 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; oxide5 KB (598 words) - 01:12, 31 May 2012
- ...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
- ...ifferent applications of formal or semiformal techniques in specification, verification, and synthesis of * Verification of system-level languages4 KB (456 words) - 23:30, 14 October 2008
- Hardware/Software Codesign and System Synthesis International Conference on Embedded Software11 KB (1,352 words) - 00:33, 15 October 2008
- research challenges are encountered in areas such as verification, o Hardware, system software, and application, and their interface5 KB (673 words) - 23:30, 14 October 2008
- practitioners who design modern hardware/software systems. for the design of dependable hardware/software systems. Many4 KB (526 words) - 23:30, 14 October 2008
- hardware/software defects, resource changes, and non-continual feature... - Verification and certification of reconfigurable systems7 KB (851 words) - 23:30, 14 October 2008
- complex software products, rich interfaces have been proposed. These constraints in embedded software. The development of a rigorous4 KB (537 words) - 23:30, 14 October 2008
- 4. Validation and verification of embedded systems 11. Software synthesis for real-time applications5 KB (655 words) - 23:30, 14 October 2008
- 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
- ...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 li4 KB (523 words) - 23:31, 14 October 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 m3 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. ...ogical foundations, denotational semantics, operational semantics, program verification, static analysis, testing, language-based security.6 KB (824 words) - 23:32, 14 October 2008
- * Formal analysis and verification * Software engineering for parallel programs4 KB (495 words) - 23:32, 14 October 2008
- |Title=29th ACM SIGSOFT International Symposium on Software Testing and Analysis |Field=Software engineering2 KB (216 words) - 09:31, 16 July 2020
- |Title=International Conference on Computer Aided Verification * Algorithms and tools that combine verification and learning2 KB (291 words) - 11:09, 20 November 2020
- ...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 (SOFtware SEMinar) is the annual, international conference devoted to * Radovan Janecek (BTO, HP Software)6 KB (682 words) - 10:18, 14 April 2020
- for software development. The symposia have been notably successful mathematical methods for software development, industrial users as7 KB (979 words) - 23:37, 14 October 2008
- ...ies, middleware, tools, and models for high assurance systems development, verification and validation, and assessment are welcome. * High assurance software architecture and design6 KB (748 words) - 14:43, 27 December 2015
- | 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 a2 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 assurance13 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 Comput1 KB (186 words) - 17:22, 5 February 2009
- researchers interested in developing algorithms, verification methods especially for experimental and prototypical software tools which are4 KB (535 words) - 10:05, 24 December 2008
- ** Verification ** Software Engineering5 KB (680 words) - 23:55, 27 February 2020
- ...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 illustrate11 KB (1,724 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 engineering5 KB (567 words) - 12:58, 18 January 2009
- - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS8 KB (977 words) - 12:59, 18 January 2009
- Center for Hybrid and Embedded Software Systems * Model verification3 KB (335 words) - 00:52, 2 February 2009
- | Title = 4th International Workshop on Systems Software Verification Industrial-strength software analysis and verification has advanced in2 KB (255 words) - 13:00, 18 January 2009
- verification of software and hardware systems. In addition to fostering Track 3: Temporal Logic and Verification in Computer Science6 KB (872 words) - 13:00, 18 January 2009
- - Software agents for intelligent control systems - Petri nets (system design/verification with nets, protocols and networks)5 KB (661 words) - 13:02, 18 January 2009
- | Field = Software engineering In conjunction with the 31st Int. Conf. on Software Engineering5 KB (694 words) - 13:03, 18 January 2009
- | Title = SPIN Workshop on Model Checking of Software ...to encourage interactions and exchanges of ideas with all related areas in software engineering. For more information see the call for papers.2 KB (238 words) - 16:34, 27 February 2009
- | Title = 6th International Workshop on Formal Aspects of Component Software | Field = Software engineering8 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 engineering1 KB (190 words) - 22:09, 27 February 2009
- | Title = International Workshop on Software Engineering Processes and Applications | Field = Software engineering2 KB (284 words) - 22:10, 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-design5 KB (646 words) - 17:06, 27 February 2009
- ...ng, including, but not limited to Natural Language Processing, Networking, Software Systems Software Systems Engineering6 KB (654 words) - 17:06, 27 February 2009
- | Title = 7th International Symposium on Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis6 KB (801 words) - 17:06, 27 February 2009
- first trend is caused by the software development life cycle, which needs * Verification and validation of interchanged rule bases in7 KB (883 words) - 17:06, 27 February 2009
- • Software agents for intelligent control system • Software Design and Development3 KB (319 words) - 17:07, 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 syst38 KB (4,832 words) - 17:07, 27 February 2009
- Special focus will lie on formal methods for software engineering, logics of programs and links with neighboring - verification, analysis and development of programs and algorithms7 KB (912 words) - 17:08, 27 February 2009
- ...f view, knowledge engineering uses principles that are strongly related to software engineering. Knowledge engineering is also related to mathematical logic, a * Validation and verification11 KB (1,563 words) - 06:56, 12 April 2012
- actual innovations. Obviously, the software engineering community has already addressed in either the database or software engineering community.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
- |Title=The Tenth International Workshop on AGENT-ORIENTED SOFTWARE ENGINEERING |Field=Software engineering8 KB (1,153 words) - 22:41, 23 March 2009
- ...ormance visualization tools, statistical analysis resources, and debug and verification infrastructure. ...tware under an open source model, trusting that our users will license the software that they use. The tool set is distributed with all source code, making it2 KB (210 words) - 12:17, 7 April 2016
- ...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 applications5 KB (632 words) - 11:32, 2 August 2009
- Evaluation, Verification, Validation and Refinement of Intelligent systems, have been an important i ...ntelligent Systems with mainstream technologies and design approaches from Software Engineering is especially important. The quality issues need to be consider6 KB (864 words) - 11:33, 2 August 2009
- verification and validation, code generation, test-driven development, * validation, verification, and testing,6 KB (870 words) - 11:34, 2 August 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 assurance6 KB (746 words) - 11:35, 2 August 2009
- | Title = 21st Australian Software Engineering Conference | Field = Software engineering8 KB (1,112 words) - 11:35, 2 August 2009
- - Verification of logistics services ...le communication networks, grid computing, networking, service science and software engineering.12 KB (1,624 words) - 11:36, 2 August 2009
- ...ICs/SoCs, reconfigurable hardware and embedded systems, including embedded software. ...and design services, reconfigurable and other hardware platforms, embedded software, and (industrial) design experiences from different application domains, su5 KB (605 words) - 15:11, 27 December 2015