Formalization of communication and behaviour in object-oriented analysis

DOI10.1016/S0169-023X(96)00039-0MaRDI QIDQ4398690zbMATH OpenOpenAlexFDO

Authors J. W. G. M. Hubbers, Arthur H. M. ter Hofstede

Publication date 22 July 1998

Published in Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0169-023x(96)00039-0

zbMATH Keywords

behaviourcommunicationformalizationobject-orientationOOSEprocess algebra

Mathematics Subject Classification ID

Recommendations

• A formal support system for the object oriented analysis
• scientific article; zbMATH DE number 2088654
• Object-oriented programming
• scientific article; zbMATH DE number 1904872
• Integrating object-oriented model with object-oriented metamodel into a single formalism

Cited in

(10)

• The formalization and analysis of a communications protocol
• A periodic collaboration and coexistence management model with the oscillation effect for complex mega infrastructure project under the risk of infection
• Integrating object-oriented model with object-oriented metamodel into a single formalism
• Theoretical aspects of communication-centred programming
• scientific article; zbMATH DE number 3990910 (Why is no real title available?)
• scientific article; zbMATH DE number 545088 (Why is no real title available?)
• scientific article; zbMATH DE number 2006487 (Why is no real title available?)
• scientific article; zbMATH DE number 2087499 (Why is no real title available?)
• A formal support system for the object oriented analysis
• scientific article; zbMATH DE number 2242603 (Why is no real title available?)

This page was built for publication: Formalization of communication and behaviour in object-oriented analysis

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