Sciweavers

JUCS
2007
94views more  JUCS 2007»
13 years 11 months ago
Automated Formal Methods Enter the Mainstream
: This paper outlines the emergence of formal techniques, explaining why they were slow to take on an industrially acceptable form. The contemporary scene, in which formal techniqu...
John M. Rushby
ASWEC
2010
IEEE
13 years 11 months ago
Non-Monotonic Model Completion in Web Application Engineering
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
Jevon M. Wright, Jens Dietrich
ECOOPW
2007
Springer
14 years 3 months ago
Formal Techniques for Java-Like Programs
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
John Boyland, Dave Clarke, Gary T. Leavens, France...
ZUM
1994
Springer
147views Formal Methods» more  ZUM 1994»
14 years 3 months ago
Integrating Formal Methods into a Professional Master of Software Engineering Program
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
David Garlan
ZUM
1998
Springer
111views Formal Methods» more  ZUM 1998»
14 years 3 months ago
Combining Specification Techniques for Processes, Data and Time
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
Ernst-Rüdiger Olderog
WIFT
1998
IEEE
119views Hardware» more  WIFT 1998»
14 years 3 months ago
What Does Industry Need From Formal Specification Techniques?
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 o...
Anthony Hall
ECOOPW
2001
Springer
14 years 3 months ago
Formal Techniques for Java Programs
This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations an...
Gary T. Leavens, Sophia Drossopoulou, Susan Eisenb...
SOFSEM
2010
Springer
14 years 8 months ago
Practically Applicable Formal Methods
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
Jedrzej Fulara, Krzysztof Jakubczyk