scientific article; zbMATH DE number 2086148

MaRDI QIDQ3044229zbMATH OpenFDO

Authors Toufik Taibi, David Chek Ling Ngo

Publication date 10 August 2004

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

zbMATH Keywords

balanced pattern specification language

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1758619
• Formal model-driven design of distributed algorithms
• scientific article; zbMATH DE number 1540610
• scientific article; zbMATH DE number 1949588
• scientific article; zbMATH DE number 1231678
• scientific article; zbMATH DE number 1110831
• scientific article; zbMATH DE number 1693434

Cited in

(5)

• From non-functional requirements to design through patterns
• 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
• scientific article; zbMATH DE number 1992424 (Why is no real title available?)
• scientific article; zbMATH DE number 1758619 (Why is no real title available?)

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)