Using TRIO for designing a CORBA-based application

From MaRDI portal

Publication:4789968

Jump to:navigation, search

DOI<981::AID-CPE511>3.0.CO;2-7 10.1002/1096-9128(20000825)12:10<981::AID-CPE511>3.0.CO;2-7zbMath1120.68344OpenAlexW2066863987MaRDI QIDQ4789968

Dino Mandrioli, Alberto Coen Porisini

Publication date: 27 January 2003

Full work available at URL: https://doi.org/10.1002/1096-9128(20000825)12:10<981::aid-cpe511>3.0.co;2-7

zbMATH Keywords

formal methods architectural design Corba supervision and control systems Trio

Mathematics Subject Classification ID

Theory of programming languages (68N15) Distributed systems (68M14)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4789968&oldid=19090862"