Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2014
Review
2014
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods… Expand
2008
2008
Formal methods, i.e., technologies for the formal description, construction, analysis, and validation of software—mostly based on… Expand
2006
2006
Reasoning about multithreaded object-oriented programs is difficult, due to the non-local nature of object aliasing, data races… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2006
2006
SCOOP and Spec# are programming languages that aim to extend Design by Contract to concurrent and reactive systems. In this paper… Expand
  • figure 3
  • figure 4
  • figure 5
  • figure 6
  • figure 7
2006
2006
This section of “Software & Systems Modeling” contains three papers presenting current trends on the use of formal methods and… Expand
2005
2005
This paper presents a model-based framework for the symbolic animation of object-oriented specifications. A customized set… Expand
  • figure 1
2003
2003
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 7
1998
1998
  • A. Henning
  • Photonics West - Micro and Nano Fabricated…
  • 1998
  • Corpus ID: 120114629
Scanning electrostatic force microscopy, along with a subset of this technique, scanning Kelvin probe microscopy, have been used… Expand