977 search results - page 12 / 196 » Formal methods integration in software engineering |
122
click to vote
SEW
2005
IEEE
15 years 5 months ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
75
Voted
ASWEC
2000
IEEE
15 years 4 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
QSIC
2003
IEEE
15 years 5 months ago
2003
IEEE
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...
104
click to vote
WETICE
2005
IEEE
15 years 5 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...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper examines the non-linear nature of progress on software projects. It asserts that this uneven accomplishment stems from the continuous need to drive value quickly in res...