scientific article; zbMATH DE number 1973978

zbMATH Open1037.68510MaRDI QIDQ4422071FDOQ4422071

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (5)

• OMT and SDL based techniques and tools for design, simulation and test production of distributed systems
• Title not available (Why is that?)
• On testing UML statecharts
• Translation from Adapted UML to Promela for CORBA-Based Applications
• Title not available (Why is that?)

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)