-
Fractals
Fractals have become increasingly useful tools for the statistical modelling of financial prices. While early research assumed invariance of the return density with... -
A formal integration of access control policies into information systems
Security is a key aspect in information systems (IS) development. One cannot build a bank IS without security in mind. In medical IS, security is one of the most... -
Utilisation de B pour la vérification de spécifications UML et le développeme...
The coupling of object-oriented approaches with the B method makes improvement the activities of software specification and development. The B method provides... -
Object-oriented applications development: using UML and B
Colloque avec actes et comité de lecture. -
Towards a formal engineering framework for process automation
Colloque avec actes et comité de lecture. -
Playing with abstraction and refinement for managing features interactions. A...
Colloque avec actes et comité de lecture. internationale. -
Foundations of the B method
Article dans revue scientifique avec comité de lecture.
