Results 261 to 270 of about 1,318,770 (301)
Some of the next articles are maybe not open access.
On the Integration of Software Testing and Formal Analysis
2012The software industry favors dynamic testing over static analysis of software, because traditional static software analysis techniques do not adequately balance automation, precision and scalability. Recently several researchers have combined static and dynamic techniques to overcome these problems.
BRAIONE, PIETRO +2 more
openaire +2 more sources
Language integration for model formalization
2011 IEEE International Conference on Information Reuse & Integration, 2011UML is often formalized by means of a denotational semantics based on state-transition languages. The obtained models are afterwards verified to prove the UML diagrams correctness. We propose, in this paper, an approach to initialize object Petri net models at any time of the system life cycle starting from UML diagrams.
openaire +2 more sources
A formal approach to scenario integration
Annals of Software Engineering, 1997The scenario technique is an interesting approach for eliciting requirements. A formal approach to scenario generation has made it even more attractive. The next logical step is to integrate several scenarios into one single, consistent, specification.
openaire +1 more source
An Overview of the Integrated Formalism RT-Z
Formal Aspects of Computing, 2002Abstract. We present an integration of the formal specification languages Z and timed CSP, called RT-Z, incorporating their combined strengths in a coherent frame. To cope with complex systems, RT-Z is equipped with structuring constructs built on top of the integration, because both Z and timed CSP lack appropriate facilities.
openaire +1 more source
Existence of formal integrals of symplectic integrators
Celestial Mechanics & Dynamical Astronomy, 1995The authors give a recurrent method of solving the formal integrals of some symplectic integrators. In the particular case of the \(N\)-body problem they construct explicitly a symplectic integrator which also preserves the energy and the classical integrals of motion, i.e., the components of the angular momentum.
Liao, Xinhao, Liu, Lin
openaire +1 more source
2016
In this chapter we introduce the notion of a formal matrix integral, which is very useful for combinatorics, as it turns out to be identical to the generating function of maps of Chap ...
openaire +1 more source
In this chapter we introduce the notion of a formal matrix integral, which is very useful for combinatorics, as it turns out to be identical to the generating function of maps of Chap ...
openaire +1 more source
2010
This volume contains the proceedings of iFM 2010, the 8th International Conference on Integrated Formal Methods. The conference took place during October 12-14, 2010, at the INRIA research center and the LORIA laboratory in Nancy, France. Previous editions were held in York, Dagstuhl, Turku, Canter- bury, Eindhoven, Oxford, and Düsseldorf.
Méry, Dominique, Merz, Stephan
openaire +1 more source
This volume contains the proceedings of iFM 2010, the 8th International Conference on Integrated Formal Methods. The conference took place during October 12-14, 2010, at the INRIA research center and the LORIA laboratory in Nancy, France. Previous editions were held in York, Dagstuhl, Turku, Canter- bury, Eindhoven, Oxford, and Düsseldorf.
Méry, Dominique, Merz, Stephan
openaire +1 more source
Formal integration on a digital computer
Preprints of papers presented at the 14th national meeting of the Association for Computing Machinery on - ACM '59, 1959openaire +2 more sources
Guest Editorial Integrated Formal Methods
Formal Aspects of Computing, 2005Eerke A. Boiten +2 more
openaire +3 more sources