1988 search results - page 22 / 398 » Engineering formal metatheory |
JOT
2007
14 years 11 months ago
2007
ISSE
2010
14 years 10 months ago
2010
109
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
We propose program fields, a formal representation for groups of related programs, as a new abstraction to support future software engineering research in several areas. We will d...
SIGSOFT
2007
ACM
16 years 17 days ago
2007
ACM
FASE
2009
Springer
15 years 6 months ago
2009
Springer
