Formalizing ODP Computational Viewpoint Specifications in Maude

doi 10.1109/edoc.2004.1342517
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE

Related search

Generating Maude Specifications From UML Use Case Diagrams.

Journal of Object Technology
Software
2009English

Specifying ODP Computational Objects in Z

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
1997English

The Importance of Formalizing Computational Models of Face Adaptation Aftereffects

Frontiers in Psychology
Psychology
2016English

Isotopy in Surface Complexes From the Computational Viewpoint

Bulletin of the Australian Mathematical Society
Mathematics
1979English

Maude E. Abbott

Zeitschrift fur Herz-, Thorax- und Gefasschirurgie
Respiratory MedicinePulmonaryCardiovascular MedicineSurgeryCardiology
2019English

Psychiatric Diagnosis From the Viewpoint of Computational Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Formalizing Service Interactions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Analyzing BGP Instances in Maude

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Formalizing Requirements in ERP Software Implementations

Lecture Notes on Software Engineering
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy