Scenario-based monitoring and testing of real-time UML models

DOI10.1007/3-540-45441-1_24MaRDI QIDQ4435875zbMATH OpenFDO

Authors Marc Lettrari, Jochen Klose

Publication date 20 November 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1967727
• Scenario-based verification of real-time systems using UPPAAL
• A formal methodology for semantics and time consistency checking of UML dynamic diagrams
• On testing UML statecharts
• Specification of real-time systems in UML

Cited in

(3)

• Kieker: continuous monitoring and on demand visualization of Java software behavior
• Some Results on the Expressive Power and Complexity of LSCs
• Scenario-based verification of real-time systems using UPPAAL

This page was built for publication: Scenario-based monitoring and testing of real-time UML models

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