Sciweavers

5664 search results - page 70 / 1133
» Creativity support tools
Sort
View
FM
2009
Springer
116views Formal Methods» more  FM 2009»
16 years 22 days ago
Language and Tool Support for Class and State Machine Refinement in UML-B
Mar Yah Said, Michael J. Butler, Colin F. Snook
KBSE
2008
IEEE
16 years 16 days ago
Tool Support for Parametric Analysis of Large Software Simulation Systems
Johann Schumann, Karen Gundy-Burlet, Corina S. Pas...