82 search results - page 2 / 17 » Technology Transfer Issues for Formal Methods of Software Sp... |
SEKE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
COMPSAC
2010
IEEE
13 years 6 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper reports on a specific food and agribusiness industry project, employing new technological capabilities to better transfer expert knowledge. Knowledge transfer and techn...
ITCC
2005
IEEE
14 years 2 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
ERSHOV
2006
Springer
14 years 6 days ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...