Empirical studies on formal methods and tools are rare. In this paper, we provide guidelines for such studies. We mention their main ingredients then define nine different study strategies (usability testing, laboratory experiments with software human subjects, case studies, qualitative surveys, judgement systematic literature reviews, mapping studies) discuss each of them crucial characteristi...

It's coming again, the new collection that this site has. To complete your curiosity, we offer the favorite fm 2005 formal methods international symposium of formal methods europe newcastle uk july 18 22 book as the choice today. This is a book that will show you even new to old thing. Forget it; it will be right for you. Well, when you are really dying of fm 2005 formal methods international s...

This special issue of IEEE Security & Privacy offers some experience how the formal methods (FM) community, working in partnership with sponsors and users, is achieving a broader use this critical technology at increasing levels scale. Formal have rich history spanning half-century. Mathematical proofs properties programs been sought since early days computing. Despite these aspirations, FMs no...

In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role of formal specifications in development and consider what are the important questions that need to be asked. I illustrate these with some practical experience on industrial projects and conclude with some lessons we hav...

In developing a theory of the rst appropriation of natural resources from the state of nature John Locke tells us that persons must leave enough and as good for others. Detailing exactly what this restriction requires divides right and left libertarians. Brie y, right libertarians interpret enough and as good as requiring no or very minimal restrictions on the rst appropriation of natural resou...

This paper explores the close relationship between feature-oriented and architectural styles of formal system description, and explains the formal methods needed to support descriptions in these styles. In the telecommunications domain, DFC is a successful example of a feature-oriented, architectural description technique. Although formal methods for DFC are in their infancy, there are already ...