scientific article; zbMATH DE number 1949585

MaRDI QIDQ4412475zbMATH OpenFDO

Authors Hong Zheng, Shixian Li

Publication date 15 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2495/24950048.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• A formal notation and tool for the engineering of CORBA systems
• scientific article; zbMATH DE number 1569135
• Integrated Formal Methods
• Applications and Theory of Petri Nets 2004
• scientific article; zbMATH DE number 1686283

Cited in

(4)

• Object-oriented design and architecture of distributed systems
• Extending CORBA interfaces with protocols
• scientific article; zbMATH DE number 1569135 (Why is no real title available?)
• A formal notation and tool for the engineering of CORBA systems

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