首页>外文期刊>计算机、自动化>计算技术、计算机技术>Science of Computer Programming

Science of Computer Programming

Science of Computer Programming

SCIEI

中文名称：计算机程序科学

ISSN：0167-6423
出版周期：3 times a year

发文量：1684

期刊论文

年度选择

2023
- 第1期
- 第3期
- 第4期
- 第6期
- 第7期
2022
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
2021
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
2020
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第15期
- 第15期
- 第15期
- 第15期
- 第jul1期
- 第may1期
2019
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第15期
- 第15期
- 第15期
- 第15期
- 第15期
- 第15期
- 第15期
- 第jul1期
- 第jul15期
- 第may15期
2018
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第15期
- 第15期
- 第15期
- 第15期
- 第15期
- 第15期
- 第15期
- 第may1期
2017
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第15期
- 第15期
- 第15期
- 第15期
- 第15期
- 第15期
- 第julaaau期
- 第may1期
2016
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第15期
- 第15期
- 第15期
- 第15期
- 第15期
- 第janaafe期
- 第may1期
2015
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第4期
- 第4期
- 第15期
- 第15期
- 第15期
- 第15期
- 第may1期
2014
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第4期
- 第4期
- 第15期
- 第15期
- 第15期
- 第15期
- 第ptaa期
- 第ptaa期
- 第ptaa期
- 第ptaa期
- 第ptaa期
- 第ptaa期
- 第ptaa期
- 第ptab期
- 第ptab期
- 第ptab期
- 第ptab期
- 第ptab期
- 第ptab期
- 第ptab期
- 第ptac期
2013
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2012
- 第1期
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第8期
- 第9期
- 第11期
- 第12期
2011
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2010
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2009
- 第3期
- 第4期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第12期
2008
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
2007
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
2006
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
2005
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
2004
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
2003
- 第1期
- 第1期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
2002
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
2001
- 第1期
- 第1期
- 第1期
- 第2期
- 第3期
- 第3期
- 第3期
2000
- 第1期
- 第3期
- 第3期
- 第3期
1999
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
1998
- 第1期
- 第2期
- 第3期
- 第3期
- 第3期

更多>>

全选（0）

1.Execution levels for aspect-oriented programming: Design,semantics, implementations and applications

机译：面向方面的编程的执行级别：设计，语义，实现和应用
- 作者：Eric Tanter;Ismael Figueroa;Nicolas Tabareau
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Aspect-oriented programming;
- Meta-programming;
- Infinite regression;
- Execution levels;
2.A practical approach for testing timed deterministic finite state machines with single clock

机译：一种使用单时钟测试定时确定性有限状态机的实用方法
- 作者：Khaled El-Fakih;Nina Yevtushenko;Adenilso Simao
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Conformance testing;
- Finite state machine testing;
- Timed finite state machines;
3.Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010)

机译：关键系统2010自动验证序言（AVoCS 2010）
- 作者：Jens Bendisposto;Michael Leuschel;Markus Roggenbach
- 期刊名称：《Science of Computer Programming》 | 2014年第15期
4.CSP-based counter abstraction for systems with node identifiers

机译：具有节点标识符的系统基于CSP的计数器抽象
- 作者：Tomasz Mazur;Gavin Lowe
- 期刊名称：《Science of Computer Programming》 | 2014年第15期
- Model checking;
- PMCP;
- Type reduction;
- CSP;
- Counter abstraction;
5.A semantic analysis of key management protocols for wireless sensor networks

机译：无线传感器网络密钥管理协议的语义分析
- 作者：Damiano Macedonio;Massimo Merro
- 期刊名称：《Science of Computer Programming》 | 2014年第15期
- Wireless sensor network;
- Key management protocol;
- Security analysis;
- Process calculus;
6.A rewriting logic approach to the formal specification and verification of web applications

机译：Web应用程序正式规范和验证的重写逻辑方法
- 作者：Maria Alpuente;Demis Ballis;Daniel Romero
- 期刊名称：《Science of Computer Programming》 | 2014年第15期
- Web verification;
- Rewrite theory;
- Model checking;
- LTLR;
7.Reasoning about almost-certain convergence properties using Event-B

机译：使用事件B推理几乎确定的收敛性质
- 作者：Thai Son Hoang
- 期刊名称：《Science of Computer Programming》 | 2014年第15期
- Event-B;
- Formal modelling;
- Probabilistic termination;
- Almost-certain convergence;
- Tool support;
8.A method and tool for tracing requirements into specifications

机译：一种将需求追踪到规格中的方法和工具
- 作者：Stefan Hallerstede;Michael Jastram;Lukas Ladenberger
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Requirements;
- Specification;
- Traceability;
- Formal modelling;
9.Concurrency control generation for dynamic threads using discrete-event systems

机译：使用离散事件系统为动态线程并发控制生成
- 作者：Anthony Auer;Juergen Dingel;Karen Rudie
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
10.A symbolic model checking approach to verifying satellite onboard software

机译：验证卫星机载软件的符号模型检查方法
- 作者：Xiang Gan;Jori Dubrovin;Keijo Heljanko
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Symbolic model checking;
- AOCS;
- NuSMV 2;
- Liveness;
- Safety;
11.Software verification with VeriFast: Industrial case studies

机译：使用VeriFast进行软件验证：工业案例研究
- 作者：Pieter Philippaerts;Jan Tobias Muehlberg;Willem Penninckx;Jan Smans;Bart Jacobs;Frank Piessens
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Software verification;
- Industrial case studies;
- VeriFast;
12.Special issue on Automated Verification of Critical Systems (AVoCS'11)

机译：关键系统自动验证（AVoCS'11）特刊
- 作者：Cliff Jones;Alexander Romanovsky
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
13.Automatically refining partial specifications for heap-manipulating programs

机译：自动完善堆操作程序的部分规范
- 作者：Shengchao Qin;Guanhua He;Chenguang Luo;Wei-Ngan Chin;Hongli Yang
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
14.Reducing the verification cost of evolving product families using static analysis techniques

机译：使用静态分析技术降低不断发展的产品系列的验证成本
- 作者：Hamideh Sabouri;Ramtin Khosravi
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Software product lines;
- Model checking;
- Program slicing;
- Static analysis;
- Reduction techniques;
15.Synthesis of hierarchical systems

机译：层次系统综合
- 作者：Benjamin Aminof;Fabio Mogavero;Aniello Murano
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Hierarchical systems;
- mu-Calculus;
- Temporal logics;
- Parity games;
- Synthesis;
16.The logic of XACML

机译：XACML的逻辑
- 作者：Carroline Dewi Puspa Kencana Ramli;Hanne Riis Nielson;Flemming Nielson
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Access control;
- Control systems;
- XACML 3.0;
- Composition policies;
17.A modal specification theory for components with data

机译：具有数据的组件的模态规范理论
- 作者：Sebastian S. Bauer;Kim G. Larsen;Axel Legay;Ulrik Nyman;Andrzej Wasowski
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Modal transition systems;
- Specifications;
- Interfaces;
- Data abstraction;
- Modal specifications with data;
18.Taming distributed system complexity through formal patterns

机译：通过形式化模式降低分布式系统的复杂性
- 作者：Jose Meseguer
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Software patterns;
- Distributed systems;
- Formal specification and verification;
- Rewriting logic;
- Maude;
19.Preface

机译：前言
- 作者：Farhad Arbab;Peter Csaba OElveczky
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
20.Preface for SCP special issue on Principles and Practice of Declarative Programming

机译：SCP专刊《声明式编程的原理与实践》的序言
- 作者：Andy King
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
21.Matrix Code

机译：矩阵码
- 作者：M.H. van Emden
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Programming methodology;
- Program verification;
- Finite-state machines;
22.Exception handling for copyless messaging

机译：无副本消息的异常处理
- 作者：Svetlana Jaksic;Luca Padovani
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Copyless message passing;
- Session types;
- Exception handling;
- Memory leak prevention;
23.On the semantics of parsing actions

机译：关于解析动作的语义
- 作者：Hayo Thielecke
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Semantics;
- Abstract machines;
- Continuations;
- Parser generators;
- Left recursion elimination;
24.Linear dependent types in a call-by-value scenario

机译：按值致电方案中的线性相关类型
- 作者：Ugo Dal Lago;Barbara Petit
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Complexity analysis;
- Implicit computational complexity;
- Type systems;
- Linear logic;
25.Tor: Modular search with hookable disjunction

机译：Tor：具有可钩取分离的模块化搜索
- 作者：Tom Schrijvers;Bart Demoen;Markus Triska;Benoit Desouter
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Prolog;
- Tree search;
- Heuristics;
- Modularity;
26.A survey and comparison of transformation tools based on the transformation tool contest

机译：基于转换工具竞赛的转换工具调查与比较
- 作者：Edgar Jakumeit;Sebastian Buchwald;Dennis Wagelaar;Li Dan;Abel Hegedues;Markus Herrmannsdoerfer;Tassilo Horn;Elina Kalnina;Christian Krause;Kevin Lano;Markus Lepper;Arend Rensink;Louis Rose;Sebastian Waetzoldt;Steffen Mazanek
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
- Graph rewriting;
- Model transformation;
- Tool survey;
- Transformation tool contest;
27.Guest editors' introduction to the first issue on Experimental Software Engineering in the Cloud (ESEiC)

机译：客座编辑介绍关于云中的实验软件工程（ESEiC）的第一期
- 作者：Pieter Van Gorp;Louis Rose
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
- Empirical software engineering;
- Reproducibility;
- Evaluation;
- Model transformation;
- Graph rewriting;
28.Evaluation of model transformation approaches for model refactoring

机译：评估用于模型重构的模型转换方法
- 作者：S. Kolahdouz-Rahimi;K. Lano;S. Pillay;J. Troya P. Van Gorp
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
- Model transformation;
- Measurement;
- Quality characteristics;
- Model restructuring;
29.Selected papers from Mathematics of Program Construction 2012

机译：2012年程序设计数学精选论文
- 作者：Jeremy Gibbons;Pablo Nogueira
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
30.Concurrency and local reasoning under reverse exchange

机译：反向交换下的并发和局部推理
- 作者：H.-H. Dang;B. Moeller
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- True concurrency;
- Relational semantics;
- Hoare logic;
- Concurrent separation logic;
- Locality;
31.The laws of programming unify process calculi

机译：编程法则统一过程计算
- 作者：Tony Hoare;Stephan van Staden
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Algebra of programming;
- Hoare logic;
- Process calculi;
- Operational semantics;
- Event model;
32.An old new notation for elementary probability theory

机译：基本概率论的旧的新记法
- 作者：Carroll Morgan
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Probability theory;
- Eindhoven quantifier notation;
- Hidden Markov Models;
- Monads;
- Haskell;
33.Deriving real-time action systems with multiple time bands using algebraic reasoning

机译：使用代数推理推导具有多个时间段的实时行动系统
- 作者：Brijesh Dongol;Ian J. Hayes;John Derrick
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Sampling logic;
- Action systems;
- Time bands;
- Algebraic reasoning;
- Program refinement;
34.First-past-the-post games

机译：先发后发游戏
- 作者：Roland Backhouse
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Algorithmic problem solving;
- Penney-Ante;
- Regular language;
- Probabilistic game;
- Generating function;
35.Algebras for correctness of sequential computations

机译：代数运算的正确性
- 作者：Walter Guttmann
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Axiomatic program semantics;
- Conway semirings;
- Hoare calculus;
- Multirelations;
- Preconditions;
36.Preface to the special issue on Software Support for User Interface Description Languages (UIDL 2011)

机译：有关用户界面描述语言的软件支持（UIDL 2011）的特殊问题的序言
- 作者：Victor Lopez-Jaquero;Jean Vanderdonckt
- 期刊名称：《Science of Computer Programming》 | 2014年第15期
37.Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language

机译：弥合行为形式描述技术和用户界面描述语言之间的鸿沟：通过图形用户界面标记语言增强ICO
- 作者：Eric Barboni;Celia Martinie;David Navarre;Philippe Palanque;Marco Winckler
- 期刊名称：《Science of Computer Programming》 | 2014年第15期
38.Automated UI evaluation based on a cognitive architecture and UsiXML

机译：基于认知架构和UsiXML的自动UI评估
- 作者：Juan Gonzalez-Calleros;Jan-Patrick Osterloh;Rene Feil;Andreas Luedtke
- 期刊名称：《Science of Computer Programming》 | 2014年第15期
- UI evaluation;
- UsiXML;
- Cognitive architecture;
- CASCaS;
- UsabilityAdviser;
39.A proposal for modelling usability in a holistic MDD method

机译：在整体MDD方法中建模可用性的建议
- 作者：Jose Ignacio Panach;Nathalie Aquino;Oscar Pastor
- 期刊名称：《Science of Computer Programming》 | 2014年第15期
- Model-driven development;
- Usability;
- Conceptual model;
40.A graphical editor for the SMUIML multimodal user interaction description language

机译：SMUIML多模式用户交互描述语言的图形编辑器
- 作者：Bruno Dumas;Beat Signer;Denis Lalanne
- 期刊名称：《Science of Computer Programming》 | 2014年第15期
- Multimodal interaction;
- UIDL;
- Graphical editor;
- SMUIML;
- HephaisTK;
41.An approach to the integration of accessibility requirements into a user interface development method

机译：一种将可访问性需求集成到用户界面开发方法中的方法
- 作者：Raul Minon;Lourdes Moreno;Paloma Martinez;Julio Abascal
- 期刊名称：《Science of Computer Programming》 | 2014年第15期
42.Evolutionary design of user interfaces for workflow information systems

机译：用于工作流信息系统的用户界面的进化设计
- 作者：Josefina Guerrero-Garcia
- 期刊名称：《Science of Computer Programming》 | 2014年第15期
- User interfaces;
- UsiXML;
- Workflow;
- Information systems;
- Model driven engineering;
43.Modular grammar specification

机译：模块化语法规范
- 作者：Adrian Johnstone;Elizabeth Scott;Mark van den Brand
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Context free grammar;
- Modularity;
- Whitespace processing;
44.Modular type checking of anchored exception declarations

机译：锚定异常声明的模块化类型检查
- 作者：Marko van Dooren;Bart Jacobs;Wouter Joosen
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Exception;
- Anchored exception declaration;
- Modular;
- Soundness;
45.Improving workflow modularity using a concern-specific layer on top of Unify

机译：在Unify之上使用特定于关注的层来改善工作流模块化
- 作者：Niels Joncheere;Sebastian Guenther;Ragnhild Van Der Straeten;Viviane Jonckers
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Concern-specific languages;
- Domain-specific languages;
- Modularization;
- Separation of concerns;
- Workflow languages;
46.Preface to the Special Section on Language Descriptions, Tools, and Applications (LDTA 2011)

机译：语言说明，工具和应用特别部分的序言（LDTA 2011）
- 作者：Claus Brabrand;Eric Van Wyk
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
47.Yield grammar analysis and product optimization in a domain-specific language for dynamic programming

机译：使用领域特定语言进行产量语法分析和产品优化以进行动态编程
- 作者：Georg Sauthoff;Robert Giegerich
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
48.Preface for the special issue on Software Development Concerns in the e-Learning Domain

机译：关于电子学习领域中软件开发关注的特殊问题的序言
- 作者：Jose-Luis Sierra;Antonio Sarasa-Cabezuelo
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
49.Flexible learning itinerary vs. linear learning itinerary

机译：灵活的学习路线与线性学习路线
- 作者：Juan-Fernando Martin-SanJose;M.-Carmen Juan;Jose-A. Gil-Gomez;Noemi Rando
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Computer-based learning;
- Flexible learning itinerary;
- Natural user interfaces;
- Frontal projection;
- Kinect;
50.Design and architecture of an interactive eTextbook - The OpenDSA system

机译：交互式电子教科书的设计和体系结构-OpenDSA系统
- 作者：Eric Fouh;Ville Karavirta;Daniel A. Breakiron;Sally Hamouda;Simin Hall;Thomas L. Naps;Clifford A. Shaffer
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- eLearning;
- eTextbook;
- Automated assessment;
- Algorithm visualization;
- Data structures and algorithms;
51.Open source software and the algorithm visualization community

机译：开源软件和算法可视化社区
- 作者：Matthew L. Cooper;Clifford A. Shaffer;Stephen H. Edwards;Sean P. Ponce
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Algorithm animation;
- Version control;
- Project hosting;
- Open source licensing;
- Open source tools;
52.Extending web-based educational systems with personalised support through User Centred Designed recommendations along the e-learning life cycle

机译：通过以用户为中心的设计建议，在电子学习生命周期中提供个性化支持，扩展基于Web的教育系统
- 作者：Olga C. Santos;Jesus G. Boticario;Diana Perez-Marin
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- e-learning life cycle;
- Personalisation;
- Adaptive educational systems;
- Educational recommender systems;
- User centred design;
53.Implementation and design of a service-based framework to integrate personal and institutional learning environments

机译：实施和设计基于服务的框架以集成个人和机构学习环境
- 作者：Miguel A. Conde;Francisco Garcia-Penalvo;Marc Alier;Enric Mayol;Camino Fernandez-Llamas
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Learning platform;
- Personal learning environment;
- Interoperability;
- Web services;
- SOA;
54.Evaluating a graphical notation for modeling collaborative learning activities: A family of experiments

机译：评估用于协作学习活动建模的图形符号：一系列实验
- 作者：Ana I. Molina;Miguel A. Redondo;Manuel Ortega;Carmen Lacave
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Educational modeling;
- CSCL;
- Notation assessments;
- Empirical study;
- Eye tracking;
55.Feedback services for stepwise exercises

机译：逐步练习的反馈服务
- 作者：Bastiaan Heeren;Johan Jeuring
- 期刊名称：《Science of Computer Programming》 | 2014年第1期
- Intelligent tutoring systems;
- Domain reasoners;
- Feedback services;
56.Foreword

机译：前言
- 作者：Mohammad Reza Mousavi;Antonio Ravara
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
57.A verified algebra for read-write Linked Data

机译：经过验证的代写链接数据代数
- 作者：Ross Horne;Vladimiro Sassone
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
- Operational semantics;
- Bisimulation;
- Linked Data;
58.An algorithm to test the conflict preorder

机译：一种测试冲突预排序的算法
- 作者：Simon Ware;Robi Malik
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
- Finite automata;
- Process algebra;
- Model checking;
- Nonlocking;
59.Modelling and simulation of asynchronous real-time systems using Timed Rebeca

机译：使用定时Rebeca进行异步实时系统的建模和仿真
- 作者：Arni Hermann Reynisson;Marjan Sirjani;Luca Aceto;Matteo Cimini;Ali Jafari;Anna Ingolfsdottir;Steinar Hugi Sigurdarson
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
- Concurrent system;
- Timing constraints;
- Distributed systems;
- Actor modelling;
- Analysis;
60.Large-scale Model-Driven Engineering of web user interaction: The WebML and WebRatio experience

机译：Web用户交互的大规模模型驱动工程：WebML和WebRatio经验
- 作者：Marco Brambilla;Piero Fraternali
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Model-Driven Engineering;
- Code generation;
- BPM;
- IFML;
- Software engineering;
61.A model-integrated authoring environment for privacy policies

机译：模型集成的隐私策略创作环境
- 作者：Andras Nadas;Tihamer Levendovszky;Ethan K. Jackson;Istvan Madari;Janos Sztipanovits
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Privacy policies;
- Model-integrated computing;
- Constraint logic programming;
62.The CancerGrid experience: Metadata-based model-driven engineering for clinical trials

机译：CancerGrid经验：用于临床试验的基于元数据的模型驱动工程
- 作者：Jim Davies;Jeremy Gibbons;Steve Harris;Charles Crichton
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Metadata;
- ISO/IEC 11179;
- Semantic frameworks;
- Model-driven engineering;
- Clinical informatics;
- Electronic government;
63.Model-driven standardization of public authority data interchange

机译：模型驱动的公共权力数据交换标准化
- 作者：Fabian Buettner;Ullrich Bartels;Lars Hamann;Oliver Hofrichter;Mirco Kuhlmann;Martin Gogolla;Lutz Rabe;Frank Steimke;Yorck Rabenstein;Alina Stosiek
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- e-government;
- Standardization;
- Interoperability;
- Industrial case study;
- Model validation;
- Model transformation;
64.Applying model-driven engineering in small software enterprises

机译：模型驱动工程在小型软件企业中的应用
- 作者：Jesus Sanchez Cuadrado;Javier Luis Canovas Izquierdo;Jesus Garcia Molina
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Model Driven Engineering;
- Experience report;
- Small companies;
- Incremental consistency;
65.An MDE-based framework to support the development of Mixed Interactive Systems

机译：一个基于MDE的框架来支持混合交互式系统的开发
- 作者：Emmanuel Dubois;Christophe Bortolaso;Damien Appert;Guillaume Gauffre
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
66.Guest editorial to the special issue on Success Stories in Model Driven Engineering

机译：客座社论：关于模型驱动工程成功案例的特刊
- 作者：Davide Di Ruscio;Richard F. Paige;Alfonso Pierantonio
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
67.Model-driven engineering of information systems: 10 years and 1000 versions

机译：信息系统的模型驱动工程：10年和1000年版本
- 作者：Jim Davies;Jeremy Gibbons;James Welch;Edward Crichton
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Model-driven;
- Evolution;
- Data migration;
- Formal methods;
- Agile;
- Databases;
68.Model-driven engineering practices in industry: Social,organizational and managerial factors that lead to success or failure

机译：行业中由模型驱动的工程实践：导致成功或失败的社会，组织和管理因素
- 作者：John Hutchinson;Jon Whittle;Mark Rouncefield
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Model driven engineering;
- Empirical software engineering;
- Industry practice;
69.The Package Blueprint: Visually analyzing and quantifying packages dependencies

机译：软件包蓝图：直观地分析和量化软件包的依赖关系
- 作者：Hani Abdeen;Stephane Ducasse;Damien Pollet;Ilham Alloui;Jean-Remy Falleri
- 期刊名称：《Science of Computer Programming》 | 2014年第ptac期
- Software engineering;
- Software comprehension;
- Software maintenance;
- Software visualization;
70.Model-driven development of interactive groupware systems: Integration into the software development process

机译：交互组件系统的模型驱动开发：集成到软件开发过程中
- 作者：Ana I. Molina;William J. Giraldo;Manuel Ortega;Miguel A. Redondo;Cesar A. Collazos
- 期刊名称：《Science of Computer Programming》 | 2014年第ptac期
71.Refactoring code-first Web Services for early avoiding WSDL anti-patterns: Approach and comprehensive assessment

机译：重构代码优先的Web服务以尽早避免WSDL反模式：方法和全面评估
- 作者：Jose Luis Ordiales Coscia;Cristian Mateos;Marco Crasso;Alejandro Zunino
- 期刊名称：《Science of Computer Programming》 | 2014年第ptac期
- Web services;
- Code-first;
- WSDL anti-patterns;
- Service understandability;
- Service retrievability;
72.How healthy are software engineering conferences?

机译：软件工程会议的健康程度如何？
- 作者：Bogdan Vasilescu;Alexander Serebrenik;Tom Mens;Mark G.J. van den Brand;Ekaterina Pek
- 期刊名称：《Science of Computer Programming》 | 2014年第ptac期
- Scientometrics;
- Software engineering;
- Conferences;
- Empirical research;
73.Exception analysis in the Java Native Interface

机译：Java本机接口中的异常分析
- 作者：Siliang Li;Gang Tan
- 期刊名称：《Science of Computer Programming》 | 2014年第ptac期
- Foreign Function Interface;
- Java Native Interface;
- Exception checking;
- Static analysis;
74.The links between human error diversity and software diversity: Implications for fault diversity seeking

机译：人为错误多样性和软件多样性之间的联系：对故障多样性寻求的启示
- 作者：Fuqun Huang;Bin Liu;You Song;Shreya Keyal
- 期刊名称：《Science of Computer Programming》 | 2014年第ptac期
- Software diversity;
- Human error;
- N-version programming;
- Cognitive style;
- Personality trait;
75.Weakest preconditions and cumulative subgoal fulfillment

机译：最弱的前提条件和累积的子目标达成
- 作者：Eric J. Braude
- 期刊名称：《Science of Computer Programming》 | 2014年第ptac期
- Correctness;
- Weakest preconditions;
- Invariant;
- Methodology;
- Subgoals;
76.On the relation between context-free grammars and parsing expression grammars

机译：关于上下文无关文法与解析表达文法之间的关系
- 作者：Fabio Mascarenhas;Sergio Medeiros;Roberto Ierusalimschy
- 期刊名称：《Science of Computer Programming》 | 2014年第ptac期
- Context-free grammars;
- Parsing expression grammars;
- LL(1);
- LL(k);
- Natural semantics;
77.Preface to the special issue on Numerical Software: Design, Analysis and Verification

机译：数值软件专刊的序言：设计，分析和验证
- 作者：Amparo Gil;Jean-Michel Muller;Javier Segura
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
78.Validated evaluation of special mathematical functions

机译：经过验证的特殊数学函数评估
- 作者：Franky Backeljauw;Stefan Becuwe;Annie Cuyt;Joris Van Deun;Daniel W. Lozier
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
- Validated software;
- Special functions;
79.Optimizing the representation of intervals

机译：优化间隔的表示
- 作者：Javier D. Bruguera
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
- Interval arithmetic;
- Interval representation;
- Floating-point representation;
80.On numerical regularity of the face-to-face longest-edge bisection algorithm for tetrahedral partitions

机译：四面体分区面对面最长边对分算法的数值规律
- 作者：Antti Hannukainen;Sergey Korotov;Michal Krizek
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
81.Recent software developments for special functions in the Santander-Amsterdam project

机译：桑坦德－阿姆斯特丹项目中特殊功能的最新软件开发
- 作者：Amparo Gil;Javier Segura;Nico M. Temme
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
- Special functions;
- Incomplete gamma functions;
- Marcum's Q-function;
- Zeros of special functions;
- Numerical software;
82.Comparison of eigensolvers for symmetric band matrices

机译：对称谱带矩阵特征求解器的比较
- 作者：Michael Moldaschl;Wilfried N. Gansterer
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
- Symmetric banded eigenvalue problem;
- Tridiagonalization;
- Subnormal numbers;
- Denormalized numbers;
83.Guest editorial to the Special Issue on Component-Based Software Engineering and Software Architecture

机译：客座社论有关基于组件的软件工程和软件体系结构特刊
- 作者：Barbora Buhnova;Antonio Vallecillo;Nenad Medvidovic;Magnus Larsson;Javier Lopez;Jorge Cuellar
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Component-Based Software Engineering;
- Software Architecture;
- Security;
- Critical systems;
84.Architecture-level software performance abstractions for online performance prediction

机译：用于在线性能预测的体系结构级软件性能抽象
- 作者：Fabian Brosig;Nikolaus Huber;Samuel Kounev
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
85.Employing early model-based safety evaluation to iteratively derive E/E architecture design

机译：采用基于模型的早期安全评估来迭代得出E / E体系结构设计
- 作者：V. Rupanov;C. Buckl;L. Fiege;M. Armbruster;A. Knoll;G. Spiegelberg
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Automotive systems;
- Embedded systems;
- Model-driven engineering;
- Quantitative safety analysis;
- ISO 26262;
86.Learning from the future of component repositories

机译：向组件库的未来学习
- 作者：Pietro Abate;Roberto Di Cosmo;Ralf Treinen;Stefano Zacchiroli
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Component repository;
- Quality assurance;
- Software evolution;
- Speculative analysis;
- Open source;
87.Metrics and techniques for quantifying performance isolation in cloud environments

机译：量化云环境中性能隔离的指标和技术
- 作者：Rouven Krebs;Christof Momm;Samuel Kounev
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Performance;
- Isolation;
- Metric;
- SaaS;
- Cloud;
- Multi-tenancy;
88.Semi-automated architectural abstraction specifications for supporting software evolution

机译：半自动化的体系结构抽象规范，用于支持软件演进
- 作者：Thomas Haitzer;Uwe Zdun
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Architectural abstraction;
- Architectural component and connector;
- views;
- Software evolution;
- UML;
- Model transformation;
89.Compositional assume-guarantee reasoning for input/output component theories

机译：输入/输出组件理论的组成假设保证推理
- 作者：Chris Chilton;Bengt Jonsson;Marta Kwiatkowska
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
- Assume-guarantee;
- Contracts;
- Interface automata;
- Substitutivity;
- Quotient;
90.A meta-theory for component interfaces with contracts on ports

机译：组件与端口合约接口的元理论
- 作者：Sebastian Bauer;Rolf Hennicker;Axel Legay
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
- Interface specifications;
- Contracts;
- Refinement;
- Compatibility;
- Modal I/O-transition systems;
91.Symbolic counterexample generation for large discrete-time Markov chains

机译：大型离散时间马尔可夫链的符号反例生成
- 作者：Nils Jansen;Ralf Wimmer;Erika Abraham;Barna Zajzon;Joost-Pieter Katoen;Bernd Becker;Johann Schuster
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
- Markov chain;
- Counterexample;
- Model checking;
- Binary decision diagram;
92.Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12)

机译：组件软件形式方面的特刊（FACS'12的部分论文）
- 作者：Corina S. Pasareanu;Gwen Salauen
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
93.Formal patterns for multirate distributed real-time systems

机译：多速率分布式实时系统的形式模式
- 作者：Kyungmin Bae;Jose Meseguer;Peter Csaba OElveczky
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
- Distributed real-time systems;
- Multirate systems;
- Synchronizers;
- Model checking;
- Rewriting logic;
94.Avoiding diamonds in desynchronisation

机译：避免钻石失步
- 作者：H. Beohar;P.J.L.Cuijpers
- 期刊名称：《Science of Computer Programming》 | 2014年第ptaa期
- Synchrony to asynchrony;
- Desynchronisation;
- Branching bisimulation;
- Equivalence checking of infinite state;
- systems;
95.Open source verification in an anonymous volunteer network

机译：匿名志愿者网络中的开源验证
- 作者：Peter T. Breuer;Simon Pickin
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Formal methods;
- Software verification;
- Static analysis;
- Open source;
- Distributed computation;
96.Ensuring portability of Linux applications through standardization and knowledge base driven analysis

机译：通过标准化和知识库驱动的分析确保Linux应用程序的可移植性
- 作者：Vladimir Rubanov;Denis Silakov
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Linux;
97.Selected contributions from the Open Source Software Certification (OpenCert) workshops

机译：开源软件认证（OpenCert）研讨会的部分贡献
- 作者：Luis Soares Barbosa;Siraj Ahmed Shaikh
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
98.Coccinelle: Tool support for automated CERT C Secure Coding Standard certification

机译：Coccinelle：自动CERT C安全编码标准认证的工具支持
- 作者：Mads Chr. Olesen;Rene Rydhof Hansen;Julia L. Lawall;Nicolas Palix
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Automated tool support;
- CERT C Secure Coding;
- Certification;
99.Dependability in open proof software with hardware virtualization-The railway control systems perspective

机译：具有硬件虚拟化的开放验证软件的可靠性-铁路控制系统的观点
- 作者：Johannes Feuser;Jan Peleska
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Open model software;
- ETCS;
- OpenETCS;
- Open proofs;
- Domain-specific modeling;
100.CAOVerif: An open-source deductive verification platform for cryptographic software implementations

机译：CAOVerif：用于加密软件实现的开源演绎验证平台
- 作者：Jose Bacelar Almeida;Manuel Barbosa;Jean-Christophe Filliatre;Jorge Sousa Pinto;Barbara Vieira
- 期刊名称：《Science of Computer Programming》 | 2014年第ptab期
- Formal verification;
- Program verification;
- Cryptographic software;
- Deductive verification;

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号