首页>外文期刊>计算机、自动化>计算技术、计算机技术>International Journal on Software Tools for Technology Transfer

International Journal on Software Tools for Technology Transfer

International Journal on Software Tools for Technology Transfer

中文名称：国际技术转让软件工具杂志

ISSN：1433-2779
出版周期：Quarterly

发文量：720

期刊论文

年度选择

2023
- 第1期
- 第2期
2022
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2021
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
2020
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2019
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2018
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2017
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2016
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2015
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2014
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2013
- 第1期
- 第2期
- 第3期
- 第4期
- 第6期
2012
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2011
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2010
- 第1期
- 第2期
- 第4期
- 第5期
- 第6期
2009
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2008
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2007
- 第1期
- 第2期
- 第4期
- 第6期
2006
- 第1期
- 第2期
- 第3期
- 第5期
- 第6期
2005
- 第1期
- 第2期
- 第3期
- 第4期
2004
- 第1期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
2003
- 第1期
- 第5期
2001
- 第2期
- 第4期
2000
- 第1期
- 第4期
1999
- 第3期
1998
- 第1期
- 第2期

更多>>

全选（0）

1.Combustion Characteristics of Coal Briquettes. 1. Thermal Features

机译：煤球的燃烧特性。 1.散热功能
- 作者：N. Emre Altun;Cahit Hicyilmaz;A. Suat Bagci
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
2.Evaluation of Nanosized Iron in Slurry-Phase Fischer―Tropsch Synthesis

机译：浆态费-托合成中纳米铁的评价
- 作者：Devinder Mahajan;Philipp Guetlich;Juergen Ensling;Kaumudi Pandya;Ulrich Stumm;P. Vijayaraghavan
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
3.Hydrotreating of Cracked Naphtha over Ni/HZSM-5 Catalyst

机译：Ni / HZSM-5催化剂上裂化石脑油的加氢处理
- 作者：Changlong Yin;Ruiyu Zhao;Chenguang Liu
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
4.Heat Transfer in a Fixed Bed of Straw Char

机译：秸秆炭固定床传热
- 作者：Jan Fjellerup;Ulrik Henriksen;Anker Degn Jensen;Peter Arendt Jensen;Peter Glarborg
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
5.Method for the Control of NO_x Emissions in Long-Range Space Travel

机译：远程太空旅行中NO_x排放的控制方法
- 作者：X. H. Xu;Y. Shi;S. H. Liu;H. P. Wang;S. G. Chang;J. W. Fisher;S. Pisharody;M. Moran;K. Wignarajah
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
6.Product Selectivity during Hydrotreating and Mild Hydrocracking of Bitumen-Derived Gas Oil

机译：沥青粗柴油加氢处理和轻度加氢裂化过程中的产品选择性
- 作者：Christian Botchwey;Ajay K. Dalai;John Adjaye
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
7.Measurement and Simulation of Ash Deposit Microstructure

机译：灰渣沉积物微结构的测量与模拟
- 作者：Soon C. Kweon;Everett Ramer;Allen L. Robinson
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
8.Experimental Studying of Additives Effects on Gas Storage in Hydrates

机译：添加剂对水合物中气体存储影响的实验研究
- 作者：Zhi-Gao Sun;Rong-sheng Ma;Ru-Zhu Wang;Kai-Hua Guo;Shuan-Shi Fa
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
9.Changes in Asphaltene Properties during Hydrotreating of Heavy Crudes

机译：重质原油加氢处理过程中沥青质性能的变化
- 作者：J. Ancheyta;G. Centeno;F. Trejo;G. Marroquin
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
10.Elucidation of Retarding Effects of Sulfur and Nitrogen Compounds on Aromatic Compounds Hydrogenation

机译：阐明硫和氮化合物对芳族化合物加氢的阻滞作用
- 作者：Atsushi Ishihara;Jeayoung Lee;Franck Dumeignil;Masuda Takashi;Eika W. Qian;Toshiaki Kabe
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
11.The Influence of Injected HCl and SO_2 on the Behavior of Trace Elements during Wood-Bark Combustion

机译：注射的HCl和SO_2对木皮燃烧过程中微量元素行为的影响
- 作者：B. Miller;D. R. Dugwell;R. Kandiyoti
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
12.Desulfurization of Low-Rank Coal with High Sulfur Content is the First Stage of Coal Burning at Heat Electric Stations

机译：高硫低位煤脱硫是热电厂燃煤的第一阶段
- 作者：V. Hayvanovych;S. Pyshyev
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
13.Computational Modeling of CO/CO_2 Ratio Inside Single Char Particles during Pulverized Coal Combustion

机译：煤粉燃烧过程中单炭颗粒内部CO / CO_2比的计算模型
- 作者：Gautham Krishnamoorthy;John M. Veranth
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
14.Development of White-Biocoalbriquettes with High Desulfurization Function

机译：具有高脱硫功能的白色生物煤的研制
- 作者：Heejoon Kim;Guoqing Lu;Tianji Li;Masayoshi Sadakata
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
15.Methane Storage within Dry and Wet Active Carbons: A Comparative Study

机译：干湿活性炭中甲烷的储存：比较研究
- 作者：A. Perrin;A. Celzard;J. F. Mareche;G. Furdin
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
16.Quantitative Analysis of Hydrogen in Carbonaceous Materials: Hydrogen in Anthracite

机译：含碳材料中氢气的定量分析：无烟煤中的氢气
- 作者：Hiromi Aso;Koichi Matsuoka;Akira Tomita
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
17.Relating Feedstock Composition to Product Slate and Composition in Catalytic Cracking. 6. Feedstocks Derived from Merey, a Venezuelan Crude

机译：在催化裂化中将原料成分与产物板岩和成分相关。 6.源自委内瑞拉原油Merey的原料
- 作者：C. M. Sheppard;S. S. Al-Alloush;J. B. Green;E. J. Zagula;L. L. Young;K. D. Wisecarver
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
18.Recovery of Bitumen by Vacuum Pyrolysis of Alberta Tar Sands

机译：真空热解艾伯塔省焦油砂回收沥青
- 作者：Hooshang Pakdel;Christian Roy
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
19.Role of N-Methyl-2-Pyrrolidinone in Hydrogen Donation from 9,10-Dihydroanthracene to Coal at 300℃

机译：N-甲基-2-吡咯烷酮在300℃下从9,10-二氢蒽向煤供氢的作用
- 作者：Chunqi Li;Toshimasa Takanohashi;Ikuo Saito;Masashi Iino
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
20.Combustion Characteristics of Coal Briquettes. 2. Reaction Kinetics

机译：煤球的燃烧特性。 2.反应动力学
- 作者：N. Emre Altun;Cahit Hicyilmaz;A. Suat Bagci
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
21.Class- and Structure-Specific Separation, Analysis, and Identification Techniques for the Characterization of the Sulfur Components of JP-8 Aviation Fuel

机译：特定类别和结构的分离，分析和鉴定技术，用于表征JP-8航空燃料中的硫组分
- 作者：Dirk D. Link;John P. Baltrus;Kurt S. Rothenberger;Paul Zandhuis;Donald K. Minus;Richard C. Striebich
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
22.Graphite Materials Prepared from an Anthracite: A Structural Characterization

机译：由无烟煤制备的石墨材料：结构表征
- 作者：David Gonzalez;Miguel A. Montes-Moran;Ana B. Garcia
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
23.Carbon Crystallization during High-Temperature Pyrolysis of Coals and the Enhancement by Calcium

机译：煤高温热解过程中的碳结晶及钙的强化
- 作者：Naoto Tsubouchi;Chunbao Xu;Yasuo Ohtsuka
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
24.Residual-Oil Hydrotreating Kinetics for Graded Catalyst Systems: Effect of Original and Treated Feedstocks

机译：分级催化剂体系的残油加氢处理动力学：原始和处理过的原料的影响
- 作者：A. Marafi;H. Al-Bazzaz;M. Al-Marri;F. Maruyama;M. Absi-Halabi;A. Stanislaus
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
25.Spontaneous Imbibition of Aqueous Surfactant Solutions into Neutral to Oil-Wet Carbonate Cores: Effects of Brine Salinity and Composition

机译：表面活性剂水溶液自发吸收至中性至油湿性碳酸盐岩心：盐度和盐分的影响
- 作者：Skule Strand;Dag C. Standnes;Tor Austad
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
26.Ash Transformations during Combustion of Meat-, Bonemeal, and RDF in a (bench-scale) Fluidized Bed Combustor

机译：（台式）流化床燃烧器中肉类，骨类和RDF燃烧过程中的灰分转化
- 作者：Marcus Oehman;Anders Nordin;Karin Lundholm;Dan Bostroem;Henry Hedman;Margareta Lundberg
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
27.A Neural Network Approach for the Correlation of Exhaust Emissions from a Diesel Engine with Diesel Fuel Properties

机译：基于神经网络的柴油机尾气排放与柴油特性的相关性
- 作者：D. Karonis;E. Lois;F. Zannikos;A. Alexandridis;H. Sarimveis
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
28.The Effect of HCl and SO_2 on NO_x Formation in Coal Flames

机译：HCl和SO_2对煤火焰中NO_x生成的影响
- 作者：Xiaolin Wei;Xiaohai Han;Uwe Schnell;Joerg Maier;Holger Woerner;Klaus R. G. Hein
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
29.Tracing the Origin of Unburned Carbon in Fly Ashes from Coal Blends

机译：追踪煤混合物中粉煤灰中未燃烧碳的来源
- 作者：Katia S. Milenkova;Angeles G. Borrego;Diego Alvarez;Jorge Xiberta;Rosa Menendez
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
30.Automated Microlithotype Analysis on Particulate Coal

机译：颗粒煤的自动微岩型分析
- 作者：E. Lester;D. Watts;M. Cloke;D. Clift
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
31.Swelling and Char Structures from Density Fractions of Pulverized Coal

机译：煤粉密度分数的膨胀和炭结构
- 作者：Jianglong Yu;John Lucas;Vladimir Strezov;Terry Wall
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
32.Asphaltene Aggregation under Vacuum at Different Temperatures by Molecular Dynamics

机译：分子动力学在真空下不同温度下沥青质的聚集
- 作者：J. H. Pacheco-Sanchez;I. P. Zaragoza;J. M. Martinez-Magadan
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第5期
33.A symbolic manipulator for automated verification of reactive systems with heterogeneous data types

机译：用于自动验证具有异构数据类型的反应系统的符号操纵器
- 作者：Tuba Yavuz-Kahveci;Tevfik Bultan
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第1期
- composite representation;
- symbolic model checking;
- BDD;
- presburger arithmetic;
34.Finding feasible abstract counter-examples

机译：寻找可行的抽象反例
- 作者：Corina S. Pasareanu;Matthew B. Dwyer;Willem Visser
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第1期
- model checking;
- abstract interpretation;
- counter-example analysis;
- software verification;
35.Automated test generation from timed automata

机译：从定时自动机自动生成测试
- 作者：Brian Nielsen;Arne Skou
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第1期
36.Compositional message sequence charts

机译：组成消息序列图
- 作者：Elsa L. Gunter;Anca Muscholl;Doron Peled
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第1期
- message sequence charts;
- finite-state communication protocols;
- partial-order methods;
37.A mutation analysis tool for Java programs

机译：Java程序的突变分析工具
- 作者：P. Chevalley;P. Thevenod-Fosse
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第1期
- test case evaluation;
- mutation analysis;
- mutation operators;
- object-oriented programming;
- Java;
- reflective systems;
- OpenJava;
38.Introductory paper: scalability aspects of validation

机译：介绍性文章：验证的可扩展性方面
- 作者：Tiziana Margaria;Wang Yi
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第1期
39.Satisfiability checking using Boolean Expression Diagrams

机译：使用布尔表达式图的满意度检查
- 作者：Poul F. Williams;Henrik R. Andersen;Henrik Hulgaard
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第1期
- satisfiabily;
- binary decision diagram;
- graph;
- propositional logic;
- algorithm;
40.Boolean and Cartesian abstraction for model checking C programs

机译：用于检查C程序的布尔和笛卡尔抽象
- 作者：Thomas Ball;Andreas Podelski;Sriram K. Rajamani
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2003年第1期
- verification;
- program analysis;
- software engineering;
- model checking;
- abstract interpretation;
41.Regular contributio: Parallel programming with a pattern language

机译：定期投稿：使用模式语言进行并行编程
- 作者：Berna L. Massingill;Tinothy G.Mattson;Beverly A.Sanders
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第2期
- Design patterns;
- Parallel programming;
42.Awork-level graph manipulation package

机译：作业级图操作包
- 作者：Sefan Horeth
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第2期
- Decision diagrams;
- Word-level;
- BDD-;
43.Application-controlled memory management in a single address space environment

机译：在单个地址空间环境中的应用程序控制的内存管理
- 作者：Alberto Bartoli;Gianluca Dini;Lanfranco Lopriore
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第2期
- Memory management;
- Persistent storage-;
44.Zero-suppressed BDDs and their applications

机译：零抑制BDD及其应用
- 作者：Shin-ichi Minato
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第2期
45.Verification of arithmetic circuits using binary moment diagrams

机译：使用二进制矩图验证算术电路
- 作者：Randal E.Bryant;Yirng Chen
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第2期
- Decision diagrams;
- Computer arithmetic -;
46.Effcient manipulation of decision diagrams

机译：有效操纵决策图
- 作者：Fabio Somenzi
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第2期
- Binary decision diagrams;
- Strong canoni-;
47.Design of experiments and evaluation of BDD ordering heuristics

机译：BDD排序启发式实验设计与评估
- 作者：Justin E.H arlow III;Franc Braglez
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第2期
- Benchmarking;
- BDD;
- Design of experi- ments;
48.Application of BDDs in Boolean matching techniques for formal logic combinational verification

机译：BDD在布尔匹配技术中用于形式逻辑组合验证的应用
- 作者：Janett Mohnke;Paul Molitor;Sharad Malik
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第2期
- Formal verification;
- Permutation inde-;
49.The opinion corner: Verification is experimentation!

机译：意见角：验证是实验！
- 作者：Ed Brinksma
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第2期
50.Special section on BDD: Binary decision diagrams in theory and practice

机译：BDD的特殊部分：理论和实践中的二进制决策图
- 作者：Rolf Drechsler;Detlef Sieling
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第2期
- Binary decision diagram;
- Branching pro-;
51.The Petri Net Kernel

机译：Petri网内核
- 作者：Ekkart Kindler;Michael Weber
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第4期
- Petri net;
- Petri net types;
- Petri net API-Generic tools;
52.Specification and validation of a concurrent system: an educational project

机译：并发系统的规范和验证：一个教育项目
- 作者：Gerard Bethelot;Laure Petrucci
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第4期
- Specification;
- Cerification;
- Coloured Petri nets;
53.Easy concurrency

机译：轻松并发
- 作者：Alex Aizman
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第4期
- Application;
- Operation;
- Relationship;
54.Web-based interfaces for simulation of coloured Petri net models

机译：基于Web的界面，用于仿真彩色Petri网模型
- 作者：Bo Lindstrom
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第4期
- Coloured Petri nets;
- Batch simulations;
- CGI scripts;
55.Implementing compositionality for stochastic Petri nets

机译：实施随机Petri网的组合
- 作者：S. Bernardi;S. Donatelli;A. Horvath
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第4期
- Stochastic well-formed nets;
- Compositionality;
- Modularity;
56.Executable Petri net models for the analysis of metabolic pathways

机译：用于代谢途径分析的可执行Petri网模型
- 作者：hartmann Genrich;Robert Kuffner;Klaus Voss
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第4期
- Coloured Petri nets;
- Executable model;
57.Mechanical verification of the IEEE 1394a root contention protocol using Uppaa12k

机译：使用Uppaa12k对IEEE 1394a根争用协议进行机械验证
- 作者：David P. L. Simons;Marielle I. A. Stoelinga
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第4期
- Model checking;
- Leader election algorithms;
- Timed automata;
58.Special section on the practical use of high-level Petri nets: Preface by the section editor

机译：高级Petri网的实际使用的特殊部分：部分编辑的序言
- 作者：kurt Jensen
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第4期
59.Regular contributions: Generating an action notation environment From Montages descriptions

机译：常规文稿：从“蒙太奇”描述生成动作符号环境
- 作者：Matthias Anlauff;Samarjit Chakraborty;Philipp W. Kutter
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第4期
60.Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using hihg-level net methods

机译：使用高级网络方法对移动计算的分布式动态信道分配算法进行建模和分析
- 作者：Leo Ojala;Nisse Husberg;Teemu Tynjala
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2001年第4期
- High;
- level Petri nets;
- Mobile computing;
61.Formalization and validation of the General Inter-ORB Protocol(GIOP) using PROMELA and SPIN

机译：使用PROMELA和SPIN对通用ORB间协议（GIOP）进行形式化和验证
- 作者：Moataz Kamel;Stefan Leue
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2000年第4期
- General Inter-ORB Protocol;
- Model;
62.Regular contribution: NUSMV: a new symbolic model checker

机译：定期捐助：NUSMV：新的符号模型检查器
- 作者：Alessandeo Cimatti;Edmund Clarke;Fausto Giunchiglia
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2000年第4期
- Symbolic model checking;
- Temporal logics;
63.Issues in slicing PROMELA and its applications to model checking, protocol understanding , and simulation

机译：切片PROMELA及其在模型检查，协议理解和仿真中的应用中的问题
- 作者：Lynette I.Millett;Tim Teitelbaum
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2000年第4期
- Program slicing;
- Model checking;
- Static;
64.Control and data abstraction: the cornerstones of practical formal verification

机译：控制和数据抽象：实际形式验证的基础
- 作者：Yonit Kesten;Amir Pnueli
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2000年第4期
- Formal verification;
- Linear temporal logic;
65.Practical CTL* model checking: Should SPIN be extended?

机译：实用的CTL *模型检查：是否应该扩展SPIN？
- 作者：willem Visser;Howard Barringer
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2000年第4期
- Model checking;
- Buchi automata;
- Hesi-;
66.On-the-fly conformance testing using SPIN

机译：使用SPIN进行即时一致性测试
- 作者：Rene G.de Vries;Jan Tretmans
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2000年第4期
- Coformance testing;
- Formal methods-;
67.Special section on SPIN: SPIN model checking: an introduction

机译：关于SPIN的特殊部分：SPIN模型检查：简介
- 作者：geraed Holxmann;Eli Najm;Ahmed Serhrouchni
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2000年第4期
68.Model checking JAVA programs using JAVA Path Finder

机译：使用JAVA路径查找器对JAVA程序进行模型检查
- 作者：Klaus Havelund;Thomas Pressburger
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2000年第4期
- Program verification;
- JAVA;
- Model check-;
69.The opinion corner: Benchmarking finite-state verifiers

机译：意见角：对有限状态验证程序进行基准测试
- 作者：George S.Avrunin;James C.Corbet;Matthew B.Dwyer
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2000年第4期
- Finite-state verification;
- Benchmarking -;
70.VSE: formal methods meet industrial needs

机译：VSE：正式方法满足工业需求
- 作者：Serge Artexier;Dieter Hutter;Bruno Langenstein
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2000年第1期
- Formal software development;
- Auto-;
71.Theorem proving in technology transfer: the user's point of view

机译：技术转让中的定理证明：用户的观点
- 作者：Fausto Giunchiglia;Paolo Treverso
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2000年第1期
- Formal methods;
- Mechanized theorem proving;
72.Verification of Year 2000 conversion rules using the ACL 2 theorem prover

机译：使用ACL 2定理证明器验证2000年转换规则
- 作者：Matt Kaufmann
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2000年第1期
- Formal erification;
- Year 2000;
- ACL2-Automated reasoning;
- Program transformation;
73.Detecting races in Relay Ladder Logic programs

机译：在梯形图逻辑程序中检测比赛
- 作者：Alexanedrer Aiken;Manuel Fahndrich;Zhendong Su
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2000年第1期
- Constraints;
- Software;
- Static analysis-;
74.Mechanized result verification: an industrial application

机译：机械化结果验证：工业应用
- 作者：Paolo Traverso;Piergiorgio Bertoti
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2000年第1期
- Mechanized result verification;
- Valida -;
75.High-automation proofs for properties of requirements models

机译：需求模型属性的自动化证明
- 作者：Ben L.Di Vito
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2000年第1期
- Formal methods-Theorem proving -Re-;
76.Using an induction prover for verifying arithmetic circuits

机译：使用感应证明器验证算术电路
- 作者：Deepak Kapur;Mahadevan Subramaniam
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2000年第1期
- Automated reasoning;
- Hardware verifica-;
77.Learning probabilistic models for model checking: an evolutionary approach and an empirical study

机译：学习用于模型检查的概率模型：进化方法和实证研究
- 作者：Jingyi Wang;Jun Sun;Qixia Yuan;Jun Pang
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2018年第6期
- Probabilistic model checking;
- Model learning;
- Genetic algorithm;
- Abstraction;
78.Slicing from formal semantics: Chisel-a tool for generic program slicing

机译：从形式语义上进行切片：Chisel-通用程序切片的工具
- 作者：Irina Măriuca Asăvoae;Mihail Asăvoae;Adrián Riesco
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2018年第6期
- Slicing;
- Synthesis;
- Formal semantics;
- Model checking;
- Embedded systems;
79.Automated workarounds from Java program specifications based on SAT solving

机译：基于SAT解决方案的Java程序规范的自动化解决方法
- 作者：Marcelo Uva;Pablo Ponzio;Germán Regis;Nazareno Aguirre;Marcelo F. Frias
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2018年第6期
- Runtime recovery;
- Workarounds;
- SAT Solving;
80.Automated reasoning for attributed graph properties

机译：归因图属性的自动推理
- 作者：Sven Schneider;Leen Lambers;Fernando Orejas
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2018年第6期
- Attributed graphs;
- Nested graph conditions;
- Model generation;
- Tableau method;
- Graph queries;
81.Slicing ATL model transformations for scalable deductive verification and fault localization

机译：切片ATL模型转换以实现可扩展的演绎验证和故障定位
- 作者：Zheng Cheng;Massimo Tisi
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2018年第6期
- Model driven engineering;
- Model transformation;
- Deductive verification;
- Program slicing;
- Fault localization;
- Scalability;
82.Software quality tools and techniques presented in FASE'17

机译：FASE'17中介绍的软件质量工具和技术
- 作者：Marieke Huisman;Julia Rubin
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2018年第6期
- Software engineering;
- Software foundations;
- Software quality;
83.Tactical contract composition for hybrid system component verification

机译：用于混合系统组件验证的战术合同组成
- 作者：Andreas Müller;Stefan Mitsch;Werner Retschitzegger;Wieland Schwinger;André Platzer
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2018年第6期
- Component-based development;
- Hybrid systems;
- Component-based verification;
84.Model checking: recent improvements and applications

机译：模型检查：最新改进和应用
- 作者：Bosnacki Dragan;Wijs Anton
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2018年第5期
- Model checking;
- Planning;
- Strategy synthesis;
- Probabilistic model checking;
- Partial-order reduction;
85.A case study of planning for smart factories

机译：智慧工厂规划案例研究
- 作者：Edelkamp Stefan;Greulich Christoph
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2018年第5期
- Model checking;
- Action planning;
- Flow production;
- Monte Carlo search;
86.Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking

机译：使用参与者和模型检查对实时无线传感器和执行器网络进行建模和分析
- 作者：Khamespanah Ehsan;Sirjani Marjan;Mechitov Kirill;Agha Gul
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2018年第5期
- Sensor network;
- Schedulability analysis;
- Actor;
- Timed Rebeca;
- Model checking;
87.On-the-fly model checking for extended action-based probabilistic operators

机译：扩展基于动作的概率运算符的动态模型检查
- 作者：Mateescu Radu;Ignacio Requeno Jose
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2018年第5期
- Probabilistic transition system;
- Action-based probabilistic logic;
- On-the-fly model checking;
88.Integrating river basin DSSs with model checking

机译：将流域DSS与模型检查集成
- 作者：del Mar Gallardo Maria;Merino Pedro;Panizo Laura;Salmeron Alberto
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2018年第5期
- Decision support system;
- Basin management;
- Formal methods;
89.Discrete and continuous strategies for timed-arc Petri net games

机译：定时弧Petri网络游戏的离散和连续策略
- 作者：Jensen Peter Gjol;Larsen Kim Guldstrand;Srba Jiri
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2018年第5期
- Timed-arc Petri net games;
- Discrete time;
- Continuous time;
- Synthesis;
- Safety games;
90.Fair testing and stubborn sets

机译：公平测试和顽固集
- 作者：Valmari Antti;Vogler Walter
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2018年第5期
- Partial order methods;
- Stubborn sets;
- Fairness;
- Progress;
- Fair testing equivalence;
91.Knowledge-based security testing of web applications by logic programming

机译：通过逻辑编程对Web应用程序进行基于知识的安全性测试
- 作者：Zech Philipp;Felderer Michael;Breu Ruth
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2019年第2期
- Security testing;
- Model-based testing;
- Risk-based testing;
- Test data generation;
- Logic programming;
- Web applications;
- Knowledge management;
92.Formal modeling and analysis of ad hoc Zone Routing Protocol in Event-B

机译：事件B中临时区域路由协议的形式化建模和分析
- 作者：Fu Chunyan;Zheng Kougen
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2019年第2期
- Formal verification;
- Hybrid routing protocols;
- Zone Routing Protocol;
- Event-B;
- Refinement;
93.What's decidable about parametric timed automata?

机译：关于参数定时自动机的决定是什么？
- 作者：Andre Etienne
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2019年第2期
- Decidability;
- Decision problems;
- Parametric timed model checking;
- Parameter synthesis;
- L/U-PTAs;
- Hybrid automata;
94.A qualitative assessment of αRby in the perspective of the supervisory control theory

机译：监督理论对αRby的定性评估
- 作者：Routhier Maxime;St-Denis Richard
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2019年第2期
- Multi-paradigm programming language;
- SAT solver;
- Supervisor control theory;
- Alloy;
- alpha RBY;
95.From high-level modeling toward efficient and trustworthy circuits

机译：从高级建模到高效且可信赖的电路
- 作者：Zaraket Fadi A.;Jaber Mohamad;Noureddine Mohamad;Falcone Ylies
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2019年第2期
- Component-based design;
- Correct-by-construction;
- FPGA;
- Verification;
96.Formal specification and implementation of an automated pattern-based parallel-code generation framework

机译：基于模式的自动并行代码生成框架的正式规范和实现
- 作者：Perez Gervasio;Yovine Sergio
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2019年第2期
- Formal methods;
- Software design patterns;
- Parallel programming;
- Automated code generation;
97.Reliable benchmarking: requirements and solutions

机译：可靠的基准测试：要求和解决方案
- 作者：Beyer Dirk;Loewe Stefan;Wendler Philipp
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2019年第1期
- Benchmarking;
- Resource measurement;
- Process control;
- Process isolation;
- Container;
- Competition;
98.Greedy pebbling for proof space compression

机译：贪婪的打扰证明空间压缩
- 作者：Fellner Andreas;Paleo Bruno Woltzenlogel
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2019年第1期
- Proof compression;
- Memory consumption;
- Resolution;
- Pebbling games;
99.TestREx: a framework for repeatable exploits

机译：TestREx：可重复利用的框架
- 作者：Dashevskyi Stanislav;dos Santos Daniel Ricardo;Massacci Fabio;Sabetta Antonino
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2019年第1期
- Software vulnerabilities;
- Exploits;
- Security testing;
- Experimentation;
100.First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

机译：首届国际运行时验证竞赛：CRV 2014的规则，基准，工具和最终结果
- 作者：Bartocci Ezio;Falcone Ylies;Bonakdarpour Borzoo;Colombo Christian;Decker Normann;Havelund Klaus;Joshi Yogi;Klaedtke Felix;Milewicz Reed;Reger Giles;Rosu Grigore;Signoles Julien;Thoma Daniel;Zalinescu Eugen;Zhang Yi
- 期刊名称：《International Journal on Software Tools for Technology Transfer》 | 2019年第1期
- Runtime Verification;
- Software competition;
- Monitoring;
- Benchmarks;

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号