82 search results - page 3 / 17 » Technology Transfer Issues for Formal Methods of Software Sp... |
WETICE
2005
IEEE
14 years 2 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
ISCIS
2004
Springer
14 years 1 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
ICSE
2000
IEEE-ACM
14 years 4 days ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
AGTIVE
2007
Springer
14 years 17 days ago
2007
Springer
Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software...