scientific article

zbMATH Open1093.68563MaRDI QIDQ3044229

Toufik Taibi, David Chek Ling Ngo

Publication date: 10 August 2004

Full work available at URL: https://eudml.org/doc/207640

Title of this publication is not available (Why is that?)

zbMATH Keywords

balanced pattern specification language

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

A schematic and grammatical correspondence method for the specification of consistent distributed data models ⋮ Design of a multi-formalism application and distribution in a data-flow context: An example ⋮ Title not available (Why is that?)

Recommendations

• Formal Model–Driven Design of Distributed Algorithms 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3044229)