4061 search results - page 396 / 813 » Framework Evolution Tool |
183
click to vote
APN
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space...
185
click to vote
TOOLS
2010
IEEE
15 years 12 months ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
168
click to vote
TOOLS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper introduces Jade Bird Component Description Language (JBCDL) which is a part of Jade Bird Component Library (JBCL). JBCDL is based on Jade Bird Component Model (JBCOM). ...
180
click to vote
WSC
2008
15 years 9 months ago
2008
This study focuses on the development of a conceptual simulation modeling tool that can be used to structure a domain specific simulation environment. The issues in Software Engin...
158
click to vote
WCET
2008
15 years 8 months ago
2008
Within the last years, ambitions towards the definition of common interfaces and the development of open frameworks have increased the efficiency of research on WCET analysis. The...