scientific article; zbMATH DE number 1956483

MaRDI QIDQ4417825zbMATH OpenFDO

Authors Vieri del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso

Publication date 30 July 2003

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Specification of real-time systems in UML
• A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
• Understanding UML: a formal semantics of concurrency and communication in real-time UML.
• scientific article; zbMATH DE number 1949635
• scientific article; zbMATH DE number 1967727

Cited in

(14)

• A real-time discrete event system specification formalism for seamless real-time software development
• A formally grounded software specification method
• Specification and analysis of timing requirements for real-time systems in the CBD approach
• Specification of real-time systems in UML
• scientific article; zbMATH DE number 1693515 (Why is no real title available?)
• Specifying services with UML and UML-RT: foundations, challenges and limitations
• Viewing CSP specifications with UML-RT diagrams
• scientific article; zbMATH DE number 2084346 (Why is no real title available?)
• scientific article; zbMATH DE number 1949635 (Why is no real title available?)
• scientific article; zbMATH DE number 1967727 (Why is no real title available?)
• scientific article; zbMATH DE number 2011490 (Why is no real title available?)
• scientific article; zbMATH DE number 2087855 (Why is no real title available?)
• Understanding UML: a formal semantics of concurrency and communication in real-time UML.
• A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models

Describes a project that uses

Uses Software

• TAXYS
• TURTLE-P
• Kronos
• Uppaal

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