977 search results - page 4 / 196 » Formal methods integration in software engineering |
104
click to vote
JLP
2006
14 years 11 months ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
FM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
ICSE
1997
IEEE-ACM
15 years 3 months ago
1997
IEEE-ACM
ASWEC
2004
IEEE
15 years 3 months ago
2004
IEEE
110
click to vote
APSEC
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...