1988 search results - page 30 / 398 » Engineering formal metatheory |
VMCAI
2010
Springer
14 years 3 months ago
2010
Springer
SFM
2009
Springer
14 years 3 months ago
2009
Springer
QSIC
2003
IEEE
14 years 2 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...
ICSE
2000
IEEE-ACM
14 years 9 days ago
2000
IEEE-ACM
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited ...
APSEC
2001
IEEE
14 years 11 days ago
2001
IEEE
