Javier Herrador

Learn More
In this paper we present a graphical UML-based notation for writing ODP actions and policies, which can be directly mapped to Maude specifications. Our approach may introduce important benefits to the (usually ambiguous) UML specifications, such as formal support, provision for rigorous specifications, and easy access to Maude's toolkit. We have developed a(More)
The maritime occupational health services in Spain are overviewed, and their coordination for seafarers and fishermen within the integrated governmental "Maritime Health Programme", which as from 1984 has been supervised by the Labour and Social Affairs Ministry. The institution in charge is the "Instituto Social de la Marina" (ISM) in Madrid (Mariners'(More)
  • 1