JTutor: an Eclipse plug-in suite for creation and replay of code-based tutorials
eclipse '04 Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange
Symmetry in temporal logic model checking
ACM Computing Surveys (CSUR)
Automatic support for testing web-based enterprise applications
Proceedings of the 44th annual Southeast regional conference
Framework and authoring tool for an extension of the UIML language
Advances in Engineering Software
Fast computation of inertia through affinely extended Euler tensor
Computer-Aided Design
Model-driven architecture for agent-based systems
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
| Hi-index | 0.00 |