5664 search results - page 383 / 1133 » Creativity support tools |
199
click to vote
APN
2009
Springer
16 years 1 months ago
2009
Springer
The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide ra...
180
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
155
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
The quality of identifiers, the coding style and formatting are important aspects that influence program understandings and maintenance. This is confirmed by the presence of se...
150
click to vote
MODELS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
166
click to vote
OOPSLA
2007
Springer
16 years 28 days ago
2007
Springer
This article describes the design and use of the CUTE C++ testing framework and its integration into the Eclipse C++ Development Tooling. Unit testing supports code quality and is...