scientific article; zbMATH DE number 1790353

zbMATH Open1004.68055MaRDI QIDQ4549385FDOQ4549385

Authors Angelo E. M. Ciarlini, Paulo A. S. Veloso, Antonio L. Furtado

Publication date 28 August 2002

zbMATH Keywords

constraint programminginformation systemsProlog

Mathematics Subject Classification ID

Database theory (68P15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• A formal verification technique for behavioural model-to-model transformations
• Foundations for structuring behavioural specifications
• scientific article; zbMATH DE number 1314230
• scientific article; zbMATH DE number 2087282
• Behavioural models for FMI co-simulations

Cited in

(6)

• How novices formulate models. Part II: a quantitative description of behaviour
• scientific article; zbMATH DE number 1314230 (Why is no real title available?)
• scientific article; zbMATH DE number 1708019 (Why is no real title available?)
• Role and contribution of formal models to governing: a heuristic
• Concept-Oriented Modeling of Dynamic Behavior
• scientific article; zbMATH DE number 3990910 (Why is no real title available?)

Describes a project that uses

Uses Software

• SICStus

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 Q4549385)