160
Voted
ICSEA
2009
IEEE
15 years 14 days ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
111
Voted
ENTCS
2006
15 years 2 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
127
Voted
SPLST
2003
15 years 4 months ago
2003
Abstract. The typechecking system of the formal method B is discussed. An inconsistency in the public definition of the B method, attributable to a flaw in the typechecking syste...
119
Voted
WICSA
2008
15 years 4 months ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
124
Voted
FM
2008
Springer
15 years 4 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
132
Voted
CIA
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper introduces a formal method to aggregate over basic beliefs, in order to deduce aggregated or complex beliefs as often used in applications. Complex beliefs can...
121
Voted
MICAI
2000
Springer
15 years 6 months ago
2000
Springer
Artificial Neural Networks (ANN) are an emerging technology, yet, in continuous dynamic behavior, much work has been done to attempt to generate a formal method to design a contro...
111
Voted
CODES
2001
IEEE
15 years 6 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
220
Voted
FM
1997
Springer
15 years 7 months ago
1997
Springer
We describe a meta-method for formal method integration Pai97 . The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory ...
116
Voted
COMPSAC
1997
IEEE
15 years 7 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...