Sciweavers

5664 search results - page 70 / 1133
» Creativity support tools
Sort
View
103
Voted
FM
2009
Springer
116views Formal Methods» more  FM 2009»
15 years 9 months ago
Language and Tool Support for Class and State Machine Refinement in UML-B
Mar Yah Said, Michael J. Butler, Colin F. Snook
84
Voted
ESEM
2009
ACM
15 years 9 months ago
Tool supported detection and judgment of nonconformance in process execution
Nico Zazworka, Victor R. Basili, Forrest Shull
KBSE
2008
IEEE
15 years 8 months ago
Tool Support for Parametric Analysis of Large Software Simulation Systems
Johann Schumann, Karen Gundy-Burlet, Corina S. Pas...