Statecharts: A visual formalism for complex systems
Science of Computer Programming
Identifying objects using cluster and concept analysis
Proceedings of the 21st international conference on Software engineering
Evolving good hierarchical decompositions of complex systems
Journal of Systems Architecture: the EUROMICRO Journal - Special issue on evolutionary computing
Report from an Experiment: Impact of Documentation onMaintenance
Empirical Software Engineering
On the Automatic Modularization of Software Systems Using the Bunch Tool
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Improving dynamic software analysis by applying grammar inference principles
Journal of Software Maintenance and Evolution: Research and Practice - Special Issue on Program Comprehension through Dynamic Analysis (PCODA)
Superstate identification for state machines using search-based clustering
Proceedings of the 12th annual conference on Genetic and evolutionary computation
An approach for reversely generating hierarchical UML statechart diagrams
FSKD'06 Proceedings of the Third international conference on Fuzzy Systems and Knowledge Discovery
| Hi-index | 0.00 |
Abstraction is a valuable tool that can play an important role in reducing the cost of maintenance of software systems. Despite the cost reduction abstract documentation can provide, the cost of generating documentation that offers an implementation-independent overview of the system often outweighs it. This has been the motivating force for tools and techniques that reduce the cost of documentation generation, including this work. State machines offer an ideal level of abstraction and techniques to infer them from machines are already mature. Despite this, the abstraction state machines provide is restricted as they become unmanageable when they are of any significant size. As a result, inference tools are only ideal for those who are already familiar with the system. This work focuses on making state machines useful for larger systems. In order to do so the complexity of a machine needs to be reduced; this is realised by introducing a hierarchy to the machine, making them closer to Harel's Statechart formalism (without concurrency).