Sciweavers

15 search results - page 1 / 3
» aswec 2007
Sort
View
ASWEC
2007
IEEE
13 years 11 months ago
Benchmark Generation Using Domain Specific Modeling
Ngoc Bao Bui, Liming Zhu, Ian Gorton, Yan Liu
ASWEC
2007
IEEE
13 years 8 months ago
Measuring the Strength of Indirect Coupling
It is widely accepted that coupling plays an important role in software quality, particularly in the areas of software maintenance, so effort should be made to keep coupling level...
Hong Yul Yang, Ewan D. Tempero
ASWEC
2007
IEEE
13 years 11 months ago
Formal Validation of Hierarchical State Machines against Expectations
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
Ian Toyn, Andy Galloway