Automated Black-Box Testing with Abstract VDM Oracles
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
A Lightweight Approach to Formal Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
REERM: reenhancing the entity-relationship model
Data & Knowledge Engineering - Special issue: ER 2004
Some Interdisciplinary Observations about Getting the "Right" Specification
Verified Software: Theories, Tools, Experiments
Applying Visualisation to Validating Software System Requirements
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
| Hi-index | 4.10 |