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
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
2006
2006
SCOOP and Spec# are programming languages that aim to extend Design by Contract to concurrent and reactive systems. In this paper… Expand
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
2003
2003
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the… Expand
2003
1998
1998
Scanning electrostatic force microscopy, along with a subset of this technique, scanning Kelvin probe microscopy, have been used… Expand