Formal specification of the variants and behavioural features of design patterns
Journal of Systems and Software
Design pattern recovery based on annotations
Advances in Engineering Software
Information and Software Technology
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
An institution theory of formal meta-modelling in graphically extended BNF
Frontiers of Computer Science in China
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Composition-Centered architectural pattern description language
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Hi-index | 0.00 |
Machine learning techniques have long been used for various purposes in software engineering. This paper provides a brief overview of the state of the art and reports on a number of novel applications I was involved with in the area of software testing. ...