International Conference on Software Engineering and Formal Methods

Known as: SEFM 
The International Conference on Software Engineering and Formal Methods (SEFM) is an international academic conference in the field of software… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2003-2013
01220032013

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Software engineering is concerned with the design, development and maintenance of large software using systematic techniques… (More)
Is this relevant?
2013
2013
Traditionally, High Dose Rate afterloaders have been based on Ir-192. The high specific activity of iridium allowed very small… (More)
Is this relevant?
2010
2010
Originally motivated by the need to increase the reliability and robustness of a software and hardware design a few decades ago… (More)
Is this relevant?
2009
2009
In this paper, power system state estimator (SE) solution using extended state estimation matrix measurements (SEMM) is presented… (More)
  • table 1
  • figure 2
  • figure 6
  • table 2
Is this relevant?
2008
2008
Formalmethods, i.e., technologies for the formal description, construction, analysis, and validation of software—mostly based on… (More)
Is this relevant?
2006
2006
This sectionof “Software&SystemsModeling” contains three papers presenting current trends on the use of formal methods and… (More)
Is this relevant?
2005
2005
As we have got better at programming, we have come to recognize that the real problems of software development cannot be solved… (More)
Is this relevant?