Justification of formal methods for system specification

Authors:
B. Cohen
Affiliations:
-
Venue:
Software Engineering Journal - Special Section on Z
Year:
1989

Citing 0
Cited 3

Tools for producing formal specifications: a view of current architectures and future directions

Annals of Software Engineering
Formalizing ontology reconciliation techniques as a basis for meaningful mediation in service-related tasks

Proceedings of the ACM first Ph.D. workshop in CIKM
Extending SOA with Semantic Mediators

Advanced Internet Based Systems and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract