3147 search results - page 15 / 630 » Open-Source Model Checking |
163
Voted
ECTEL
2006
Springer
15 years 9 months ago
2006
Springer
This paper describes a service-oriented approach for the integration of third-party external applications and resources into an existing open source eLearning environment. We detai...
195
Voted
EMISA
2006
Springer
15 years 9 months ago
2006
Springer
: This paper explains how we have designed a service-oriented architecture by combining and extending several open source environments. We show how the IT architecture of the Natio...
153
Voted
ICWE
2005
Springer
15 years 11 months ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
160
Voted
FMCAD
2009
Springer
16 years 11 days ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
163
click to vote
JTRES
2009
ACM
15 years 10 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...