Results 261 to 270 of about 12,698 (302)

Integrating formalism and pragmatism

Proceedings of the 1997 workshop on New security paradigms - NSPW '97, 1997
Two major schools have dominated computer security research and thinking for the last twenty to twenty-five years - formalism and pragmatism. In spite of all their work, progress has been limited, system designers do not incorporate security principles and security is seen as a detriment to functionality.
openaire   +1 more source

On the Integrity of a Repository of Formalized Mathematics

2003
MIZAR, a proof-checking system, is used to build the MIZAR Mathematical Library (MML). This is a long term project aiming at building a comprehensive library of mathematical knowledge. The language and the checking software evolve, and the evolution is driven by the growing library.
Piotr Rudnicki, Andrzej Trybulec
openaire   +1 more source

Language integration for model formalization

2011 IEEE International Conference on Information Reuse & Integration, 2011
UML 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   +1 more source

A formal approach to scenario integration

Annals of Software Engineering, 1997
The 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

On the Integration of Software Testing and Formal Analysis

2012
The 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, DENARO, GIOVANNI, PEZZE', MAURO   +2 more
openaire   +2 more sources

An Overview of the Integrated Formalism RT-Z

Formal Aspects of Computing, 2002
Abstract. 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, 1995
The 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

Formal Matrix Integrals

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

Formalization of Data Integration Transformations

2022
openaire   +1 more source

Integrated Formal Methods

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