How to Verify Dynamic Properties of Information Systems

Authors:
Neil Evans;Helen Treharne;Regine Laleau;Marc Frappier
Affiliations:
University of London;University of London;Universite Paris 12;Universite de Sherbrooke, Canada
Venue:
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Year:
2004

Citing 0
Cited 6

Generating Relational Database Transactions From Recursive Functions Defined on EB^3 Traces

SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Enterprise information system structure optimization based on time property with improved immune genetic algorithm and binary tree

Computers & Mathematics with Applications
A step towards merging xUML and CSP || B

Rigorous Methods for Software Construction and Analysis
Refinement of EB3 process patterns into B specifications

B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Chunks: component verification in CSP ∥ b

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Synthesizing b specifications from EB3 attribute definitions

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

EB^3 is an established formal technique, based on process algebra, for specifying Information Systems (IS) that have both complex state and event based features; as yet, EB^3 has no tool support.Another formal technique called CSP