scientific article; zbMATH DE number 1973978

MaRDI QIDQ4422071zbMATH OpenFDO

Authors Simon Pickin, Claude Jard, Yves le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec

Publication date 3 September 2003

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

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14) Theory of programming languages (68N15)

Recommendations

• Model-based testing of object-oriented systems.
• On testing UML statecharts
• scientific article; zbMATH DE number 2188050
• scientific article; zbMATH DE number 1951135
• Translation from Adapted UML to Promela for CORBA-Based Applications

Cited in

(5)

• OMT and SDL based techniques and tools for design, simulation and test production of distributed systems
• On testing UML statecharts
• scientific article; zbMATH DE number 1951135 (Why is no real title available?)
• Translation from Adapted UML to Promela for CORBA-Based Applications
• scientific article; zbMATH DE number 2188050 (Why is no real title available?)

Describes a project that uses

Uses Software

• STG

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