International Conference on Software Engineering and Formal Methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
- Software & Systems Modeling
- 2014
Software engineering is concerned with the design, development and maintenance of large software using systematic techniques… (More)
Is this relevant?
2013
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
- Software & Systems Modeling
- 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
- 2009 International Conference on Sustainable…
- 2009
In this paper, power system state estimator (SE) solution using extended state estimation matrix measurements (SEMM) is presented… (More)
Is this relevant?
2008
2008
- Software & Systems Modeling
- 2008
Formalmethods, i.e., technologies for the formal description, construction, analysis, and validation of software—mostly based on… (More)
Is this relevant?
2008
2007
2006
2006
- Software & Systems Modeling
- 2006
This sectionof “Software&SystemsModeling” contains three papers presenting current trends on the use of formal methods and… (More)
Is this relevant?
2006
2005
2005
- SEFM
- 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?