Specstractor:用于自动提取/分析系统不变性的工具链-开源
58 浏览量
2021-04-26
12:40:15
上传
评论
收藏 34.49MB ZIP 举报
Specstractor.zip （83个子文件） 
Specstractor 
config.properties 310B tutorial cruiseSimplified tutorial.rsi 2KB tutorial.slx 21KB abstractions.abs 110B tutorial.rsys 3KB tutorial.mwi 2KB tutorial.rst 8KB tutorial.rsp 2KB tutorial.rtp 5KB cruiseSimplifiedRange tutorial.rsi 2KB tutorial.slx 21KB tutorial.rsys 3KB tutorial.mwi 2KB tutorial.rst 8KB tutorial.rsp 2KB tutorial.rtp 5KB lib 
cup_runtime-1.0.jar 13KB httpcore-4.1.jar 177KB poi-ooxml-schemas-3.12.jar 5.36MB xstream-1.4.8.jar 526KB injection-8.0.1.jar 12KB jetty-http-8.1.17.v20150415.jar 94KB commons-logging-1.1.1.jar 59KB commons-io-2.4.jar 181KB commons-codec-1.9.jar 258KB simulink-1.0.jar 837KB SPMF-0.0.1-SNAPSHOT.jar 5.51MB poi-ooxml-3.12.jar 1.17MB javax.transaction-1.1.1.v201105210645.jar 28KB google-analytics-java-1.1.2-H2O-CUSTOM.jar 42KB jtransforms-2.4.0.jar 747KB TestGeneratorDLL ReactisTestGenerator.dll 28KB ReactisCTestGenerator.dll 15KB jetty-security-8.1.17.v20150415.jar 88KB joda-time-2.3.jar 568KB javax.inject-1.jar 2KB aopalliance-1.0.jar 4KB xmlbeans-2.6.0.jar 2.6MB commons-math3-3.3.jar 1.86MB stax-api-1.0.1.jar 26KB commons-csv-1.2.jar 38KB jetty-server-8.1.17.v20150415.jar 352KB reflections-0.9.11-h2o-custom.jar 133KB xmlpull-1.1.3.1.jar 7KB h2o-flow-0.2.10.jar 985KB commons-lang-2.6.jar 278KB jetty-servlet-8.1.17.v20150415.jar 1.12MB jetty-jndi-8.1.17.v20150415.jar 39KB jetty-continuation-8.1.17.v20150415.jar 21KB h2o-core-3.10.3.1.jar 2.93MB deepwater-backend-api-1.0.2.jar 10KB flow-8.0.1.jar 67KB guice-4.0.jar 653KB jetty-io-8.1.17.v20150415.jar 104KB jetty-xml-8.1.17.v20150415.jar 38KB javax.activation-1.1.0.v201105071233.jar 53KB log4j-1.2.15.jar 383KB core-8.0.1.jar 57KB jetty-webapp-8.1.17.v20150415.jar 108KB httpclient-4.1.jar 342KB h2o-genmodel-3.10.3.1.jar 123KB opencsv-2.3.jar 19KB poi-3.12.jar 2.04MB log4j-api-2.5.jar 143KB RequirementsExtractor.Experiment-0.0.1-SNAPSHOT.jar 63KB RequirementsExtractor.core-0.0.1-SNAPSHOT.jar 586KB h2o-algos-3.10.3.1.jar 938KB javax.mail.glassfish-1.4.1.v201005082020.jar 479KB graphviz-1.0.jar 61KB guava-21.0.jar 2.4MB javassist-3.18.1-GA.jar 697KB javax.servlet-3.0.0.v201112011016.jar 196KB jama-1.0.3.jar 37KB jetty-util-8.1.17.v20150415.jar 281KB xpp3_min-1.1.4c.jar 24KB jsr305-3.0.0.jar 32KB commons-collections-3.0.jar 506KB log4j-core-2.5.jar 1.05MB jetty-plus-8.1.17.v20150415.jar 83KB engine-1.0.jar 444KB gson-2.8.0.jar 227KB org.apache.commons.lang-2.6.jar 265KB Specstractor.jar 113KB资源评论
