咨询与建议

限定检索结果

文献类型

  • 10 篇 期刊文献
  • 8 篇 会议

馆藏范围

  • 18 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 18 篇 工学
    • 13 篇 计算机科学与技术...
    • 10 篇 软件工程
    • 4 篇 电气工程
    • 2 篇 环境科学与工程(可...
    • 1 篇 机械工程
    • 1 篇 信息与通信工程
    • 1 篇 控制科学与工程
    • 1 篇 化学工程与技术
    • 1 篇 石油与天然气工程
  • 3 篇 管理学
    • 3 篇 管理科学与工程(可...
  • 2 篇 理学
    • 1 篇 物理学
    • 1 篇 化学

主题

  • 18 篇 scenario-based p...
  • 5 篇 behavioral progr...
  • 2 篇 abstraction
  • 2 篇 live sequence ch...
  • 2 篇 smt solvers
  • 2 篇 bpj
  • 2 篇 constraint solve...
  • 2 篇 lsc
  • 1 篇 internet of thin...
  • 1 篇 dynamic optimiza...
  • 1 篇 adaptive systems
  • 1 篇 reinforcement le...
  • 1 篇 robust possibili...
  • 1 篇 languages
  • 1 篇 modeling methodo...
  • 1 篇 transition to de...
  • 1 篇 execution trace
  • 1 篇 intraobject
  • 1 篇 lscs
  • 1 篇 live sequence ch...

机构

  • 3 篇 weizmann inst sc...
  • 3 篇 weizmann inst sc...
  • 3 篇 weizmann inst sc...
  • 2 篇 ben gurion univ ...
  • 2 篇 hebrew univ jeru...
  • 1 篇 cape breton univ...
  • 1 篇 iran univ sci & ...
  • 1 篇 leibniz univ han...
  • 1 篇 iran univ sci & ...
  • 1 篇 islamic azad uni...
  • 1 篇 univ milan dipar...
  • 1 篇 ben gurion univ ...
  • 1 篇 purdue univ sch ...
  • 1 篇 chung yuan chris...
  • 1 篇 univ tehran coll...
  • 1 篇 politecn milan d...
  • 1 篇 guanglun elect t...
  • 1 篇 tsinghua univ pe...
  • 1 篇 shiraz univ tech...
  • 1 篇 univ washington ...

作者

  • 8 篇 harel david
  • 4 篇 marron assaf
  • 3 篇 weiss gera
  • 2 篇 katz guy
  • 2 篇 sadon aviran
  • 2 篇 gordon michal
  • 2 篇 eitan nir
  • 1 篇 chang mei-shiang
  • 1 篇 armoni michal
  • 1 篇 bozorgi-amiri al...
  • 1 篇 niknam taher
  • 1 篇 elyasaf achiya
  • 1 篇 amin saman hassa...
  • 1 篇 gritzner daniel
  • 1 篇 marelly rami
  • 1 篇 alexandron giora
  • 1 篇 zolfagharinia ho...
  • 1 篇 guo hai-feng
  • 1 篇 ma xiao-dong
  • 1 篇 tosarkani babak ...

语言

  • 17 篇 英文
  • 1 篇 其他
检索条件"主题词=Scenario-based programming"
18 条 记 录,以下是11-20 订阅
排序:
Context-Oriented Behavioral programming
收藏 引用
INFORMATION AND SOFTWARE TECHNOLOGY 2021年 133卷 106504-106504页
作者: Elyasaf, Achiya Ben Gurion Univ Negev Dept Software & Informat Syst Engn Beer Sheva Israel
Context: Modern systems require programmers to develop code that dynamically adapts to different contexts, leading to the evolution of new context-oriented programming languages. These languages introduce new software... 详细信息
来源: 评论
L2C2: Logic-based LSC Consistency Checking
L2C2: Logic-based LSC Consistency Checking
收藏 引用
11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative programming (PPDP 09)
作者: Guo, Hai-Feng Zheng, Wen Subramaniam, Mahadevan Univ Nebraska Dept Comp Sci Omaha NE 68182 USA
Live sequence charts (LSCs) have been proposed as an inter-object scenario-based specification and visual programming language for reactive systems. In this paper, we introduce a logic-based framework to check the con... 详细信息
来源: 评论
On Visualization and Comprehension of scenario-based Programs
On Visualization and Comprehension of Scenario-Based Program...
收藏 引用
IEEE 19th International Conference on Program Comprehension (ICPC)
作者: Eitan, Nir Gordon, Michal Harel, David Marron, Assaf Weiss, Gera Weizmann Inst Sci Dept Comp Sci & Appl Math IL-76100 Rehovot Israel Ben Gurion Univ Negev Dept Comp Sci IL-84105 Beer Sheva Israel
We address the problem of comprehending cause and effect relationships between relatively independent behavior components of a single application. Our focus is on the paradigm of behavioral, scenario-based, programmin... 详细信息
来源: 评论
Executing scenario-based Specification with Dynamic Generation of Rich Events  1
收藏 引用
7th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
作者: Harel, David Katz, Guy Marron, Assaf Sadon, Aviran Weiss, Gera Weizmann Inst Sci Rehovot Israel Hebrew Univ Jerusalem Jerusalem Israel Ben Gurion Univ Negev Beer Sheva Israel
scenario-based programming (SBP) is an approach to modeling and running complex, event-based, system behavior by composing narrower views of overall behavior. In this paper we introduce significant extensions to the s... 详细信息
来源: 评论
Towards Systematic and Automatic Handling of Execution Traces Associated with scenario-based Models  6
Towards Systematic and Automatic Handling of Execution Trace...
收藏 引用
6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
作者: Greenyer, Joel Gritzner, Daniel Harel, David Marron, Assaf Leibniz Univ Hannover Hannover Germany Weizmann Inst Sci Rehovot Israel
scenario-based specification approaches offer system engineering advantages with their intuitiveness, executability, and amenability to formal verification and synthesis. However, many engineering tasks such as debugg... 详细信息
来源: 评论
On-the-Fly Construction of Composite Events in scenario-based Modeling using Constraint Solvers  7th
On-the-Fly Construction of Composite Events in Scenario-Base...
收藏 引用
7th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
作者: Katz, Guy Marron, Assaf Sadon, Aviran Weiss, Gera Hebrew Univ Jerusalem Jerusalem Israel Weizmann Inst Sci Rehovot Israel Ben Gurion Univ Negev Beer Sheva Israel
scenario-based programming is a methodology for modeling and constructing complex reactive systems from simple, stand-alone building blocks, called scenarios. These scenarios are designed to model different traits of ... 详细信息
来源: 评论
A Compiler for Multimodal scenarios: Transforming LSCs into AspectJ
收藏 引用
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 2011年 第4期20卷 18-18页
作者: Maoz, Shahar Harel, David Kleinbort, Asaf Weizmann Inst Sci IL-76100 Rehovot Israel
We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification, in order to construct a new way of executing systems based on the latter.... 详细信息
来源: 评论
A scenario-based robust possibilistic model for a multi-objective electronic reverse logistics network
收藏 引用
INTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS 2020年 224卷 107557-107557页
作者: Tosarkani, Babak Mohamadpour Amin, Saman Hassanzadeh Zolfagharinia, Hossein Ryerson Univ Dept Mech & Ind Engn Toronto ON Canada Ryerson Univ Ted Rogers Sch Management 575 Bay St Toronto ON Canada Cape Breton Univ Shannon Sch Business Sydney NS Canada
Electronic reverse logistics topic has received growing attention because of its environmental and economic impact. In Canada, the province of Ontario has enacted regulations regarding the Waste Electrical and Electro... 详细信息
来源: 评论