检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

16 篇 会议
15 篇 期刊文献
1 篇 学位论文

馆藏范围

32 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

25 篇 工学
- 22 篇 软件工程
- 20 篇 计算机科学与技术...
- 4 篇 电气工程
- 3 篇 控制科学与工程
3 篇 教育学
- 3 篇 心理学(可授教育学...
3 篇 理学
- 2 篇 生物学
- 1 篇 数学
- 1 篇 系统科学
2 篇 农学
- 1 篇 畜牧学
2 篇 医学
- 2 篇 基础医学(可授医学...
2 篇 管理学
- 1 篇 管理科学与工程(可...
- 1 篇 工商管理
1 篇 经济学
- 1 篇 应用经济学

主题

32 篇 behavioral progr...
5 篇 scenario-based p...
3 篇 executable speci...
3 篇 requirement engi...
3 篇 live sequence ch...
3 篇 scenario-based m...
3 篇 machine learning
2 篇 deep neural netw...
2 篇 program repair
2 篇 abstraction
2 篇 liveness
2 篇 smt solvers
2 篇 verification
2 篇 constraint solve...
2 篇 artificial intel...
2 篇 synchronization
1 篇 experimentation
1 篇 rearing feeding ...
1 篇 conversational a...
1 篇 NOT FOUND

机构

6 篇 weizmann inst sc...
5 篇 ben gurion univ ...
4 篇 hebrew univ jeru...
4 篇 weizmann inst sc...
3 篇 ben gurion univ ...
2 篇 ben gurion univ ...
2 篇 ben gurion univ ...
1 篇 vassar coll dept...
1 篇 technion haifa
1 篇 weizmann inst sc...
1 篇 leibniz univ han...
1 篇 facin pucrs port...
1 篇 hp labs haifa
1 篇 ben gurion univ ...
1 篇 univ guelph onta...
1 篇 ibm res haifa la...
1 篇 ben gurion univ ...
1 篇 weizmann inst sc...
1 篇 univ guelph onta...
1 篇 weill cornell me...

作者

13 篇 weiss gera
12 篇 marron assaf
9 篇 harel david
7 篇 katz guy
6 篇 elyasaf achiya
5 篇 yaacov tom
2 篇 sadon aviran
2 篇 gordon michal
2 篇 wiener guy
2 篇 szekely smadar
1 篇 david harel
1 篇 frazier a.
1 篇 ricci alessandro
1 篇 assaf marron
1 篇 xu yue
1 篇 hurdus jesse gut...
1 篇 gritzner daniel
1 篇 michael s. brani...
1 篇 weiss guy
1 篇 marelly rami

语言

31 篇 英文
1 篇 其他

检索条件"主题词=Behavioral Programming"

共 32 条记录，以下是21-30 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Boosting LLM-Based Software Generation by Aligning Code with Requirements 32

Boosting LLM-Based Software Generation by Aligning Code with...

引用

32nd IEEE International Requirements Engineering Conference (RE)

作者： Yaacov, Tom Elyasaf, Achiya Weiss, Gera Ben Gurion Univ Negev Beer Sheva Israel

ISBN: (纸本)9798350395525;9798350395518

Emerging LLM-based code generation tools enable programmers to specify desired functionality and automatically generate code. However, these tools fall short in comparison to human ability when it comes to creating complete system models from requirements. This is because humans typically formulate a software design before implementing a system. In this paper, we propose to use the behavioral programming (BP) model-based paradigm as a general design approach that allows for the direct translation of requirements of any reactive systems into code. We demonstrate that each requirement can be automatically transformed into a dedicated code module without the need for a global view of the system. The key lies in BP's capability to enable modules to implement both scenarios and anti-scenarios separately. This means that each module can independently define behaviors that may happen, must happen, and must not happen. Subsequently, an application-agnostic execution engine interprets and interweaves these modules at runtime to generate cohesive system behavior consistent with system requirements. The fact that each requirement is translated into a small module also facilitates the verification of its implementation, thereby helping to reduce errors in LLM code generation. We present an initial evaluation of our approach and demonstrate how the characteristics of BP aid in generating aligned and correct implementations.

关键词： behavioral programming large language models requirement engineering

来源：评论

学校读者我要写书评

暂无评论

Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways 7th

Using Reactive-System Modeling Techniques to Create Executab...

引用

7th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)

作者： Lapid, Hadas Marron, Assaf Szekely, Smadar Harel, David Weizmann Inst Sci Rehovot Israel

ISBN: (纸本)9789897583582

Scenario-based modeling (SBM) is an emerging approach for creating executable models of complex reactive systems. In addition to its use in software and system development, SBM has been shown to serve well in modeling biological processes. In this position paper, we show that SBM can be used effectively in modeling biochemical pathways at the molecular level, complementing existing biochemical modeling techniques. One of the key benefits of these SBM models is in helping professionals and students better conceptualize and understand such complex processes.

关键词： Scenario-Based Modeling behavioral programming Computational Biology Separation of Concerns Metabolic Networks Live Sequence Charts LSC Krebs Cycle Citric-Acid Cycle

来源：评论

学校读者我要写书评

暂无评论

Keeping behavioral Programs Alive: Specifying and Executing Liveness Requirements 32

Keeping Behavioral Programs Alive: Specifying and Executing ...

引用

32nd IEEE International Requirements Engineering Conference (RE)

作者： Yaacov, Tom Elyasaf, Achiya Weiss, Gera Ben Gurion Univ Negev Comp Sci Dept Beer Sheva Israel Ben Gurion Univ Negev Software & Informat Syst Engn Dept Beer Sheva Israel

ISBN: (纸本)9798350395129;9798350395112

One of the benefits of using executable specifications such as behavioral programming (BP) is the ability to align the system implementation with its requirements. This is facilitated in BP by a protocol that allows independent implementation modules that specify what the system may, must, and must not do. By that, each module can enforce a single system requirement, including negative specifications such as "don't do X after Y." The existing BP protocol, however, allows only the enforcement of safety requirements and does not support the execution of liveness properties such as "do X at least three times." To model liveness requirements in BP directly and independently, we propose idioms for tagging states with "must-finish," indicating that tasks are yet to be completed. We show that this idiom allows a direct specification of known requirements patterns from the literature. We also offer semantics and two execution mechanisms, one based on a translation to Buchi automata and the other based on a Markov decision process (MDP). The latter approach offers the possibility of utilizing deep reinforcement learning (DRL) algorithms, which bear the potential to handle large software systems effectively. This paper presents a qualitative and quantitative assessment of the proposed approach using a proof-of-concept tool. A formal analysis of the MDP-based execution mechanism is given in an appendix.

关键词： behavioral programming Executable Specifications Liveness Requirement Engineering

来源：评论

学校读者我要写书评

暂无评论

Debugging behavioral Programs Using Models@*** 50

Debugging Behavioral Programs Using Models@***

引用

50th Euromicro Conference on Software Engineering and Advanced Applications

作者： Felber, Tom Goetz, Sebastian Tech Univ Dresden Dresden Germany

ISBN: (纸本)9798350380279;9798350380262

behavioral programming is a paradigm that allows to develop software based on scenarios and use cases. Behavior is implemented in asynchronous threads (b-threads) that run concurrently with each other and use event-based mechanisms to communicate and effect the overall system state. While the approach enables a natural and incremental development process, with a growing number of threads it gets increasingly harder to comprehend the system's state changes. In this paper, we address this problem with a debugger for behavioral programs. The debugger increases program comprehension by providing a clear overview of the system state as well as debugging-specific control capabilities such as breakpoints and advanced techniques like time-traveling and trace-comparison. For this, we utilize a runtime model of the system's state that is causally connected to the running system. We evaluate our approach using two case studies from literature.

关键词： behavioral programming models@run.time

来源：评论

学校读者我要写书评

暂无评论

Non-Intrusive Repair of Reactive Programs

Non-Intrusive Repair of Reactive Programs

引用

IEEE 17th International Conference on Engineering of Complex Computer Systems (ICECCS)

作者： Harel, David Katz, Guy Marron, Assaf Weiss, Gera Weizmann Inst Sci Dept Comp Sci & Appl Math IL-76100 Rehovot Israel Ben Gurion Univ Negev Dept Comp Sci Beer Sheva Israel

ISBN: (纸本)9782954181004

We show how, under certain conditions, programs written in the behavioral programming approach can be modified (e. g., as result of new requirements or discovered bugs) using automatically-generated code modules. Given a trace of undesired behavior, one can generate a relatively small piece of code, whose execution is interwoven at run time with the rest of the system and brings about the desired changes without modifying existing code, and without introducing new bugs. At the core of our approach is the ability of a thread of behavior to prevent the triggering of events from other threads. Our repair algorithms apply model checking to the program and transform the counterexamples produced by the model-checker into corrective modules. Our work is supported by a proof-of-concept tool, which creates understandable modules that can be further manually managed as part of ongoing incremental system development.

关键词： Program repair verification behavioral programming model checking patching

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9780769543987

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, programming, as captured by the language of live sequence charts (LSC) or its Java-based counterpart, BPJ. In this programming paradigm, multi-modal behaviors can be specified separately, and are integrated only at run time. We present a tool, with which the user can easily follow the decisions of the collective execution mechanism. It shows the behaviors and events that were executed at each point in time, and those that were delayed or abandoned, as well as the causes and reasons behind these run-time choices. The dynamic effects of such decisions on the system's behavior can be seen easily too.

关键词： trace visualization behavioral programming scenario-based programming BPJ

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (数字)9783030378738

ISBN: (纸本)9783030378738;9783030378721

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 strict interfaces by which scenarios in existing SBP frameworks specify what the system must, may, or must not do, and to the mechanisms that execute these scenarios: (i) we allow events with a multitude of variables and parameters;each event can become an entire model, and each event selection can be the selection of a major section of the new state of the system and the environment;(ii) we extend the basic request/block SBP interfaces with a rich set of composable constraints and functions, which can describe desired and undesired variable assignments, where each constraint may relate to all variables or to just a subset thereof;(iii) we introduce a central, application-agnostic mechanism for adding optimization to standard event selection;and (iv) we relate our method to Null-Space Behavior (NSB)-a successful compositional approach in control theory. We demonstrate these language-independent concepts through several use cases that are implemented in a variety of languages and solvers.

关键词： Scenario-Based programming behavioral programming Constraint solvers SMT solvers NSB Mathematica MATLAB-Simulink Z3 Python

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9789897583582

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 the system, and can be interwoven together and executed to produce cohesive system behavior. Existing execution frameworks for scenario-based programs allow scenarios to specify their view of what the system must, may, or must not do only through very strict interfaces. This limits the methodology's expressive power and often prevents users from modeling certain complex requirements. Here, we propose to extend Scenario-Based programming's execution mechanism to allow scenarios to specify how the system should behave using rich logical constraints. We then leverage modern constraint solvers (such as SAT or SMT solvers) to resolve these constraints at every step of running the system, towards yielding the desired overall system behavior. We provide an implementation of our approach and demonstrate its applicability to various systems that could not be easily modeled in an executable manner by existing Scenario-Based approaches.

关键词： Scenario-Based programming behavioral programming Constraint Solvers SMT Solvers

来源：评论

学校读者我要写书评

暂无评论

Augmenting Deep Neural Networks with Scenario-Based Guard Rules 8th

Augmenting Deep Neural Networks with Scenario-Based Guard Ru...

引用

8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)

作者： Katz, Guy Hebrew Univ Jerusalem Jerusalem Israel

ISBN: (纸本)9783030674441;9783030674458

Deep neural networks (DNNs) are becoming widespread, and can often outperform manually-created systems. However, these networks are typically opaque to humans, and may demonstrate undesirable behavior in corner cases that were not encountered previously. In order to mitigate this risk, one approach calls for augmenting DNNs with hand-crafted override rules. These override rules serve to prevent the DNN from making certain decisions, when certain criteria are met. Here, we build on this approach and propose to bring together DNNs and the well-studied scenario-based modeling paradigm, by encoding override rules as simple and intuitive scenarios. We demonstrate that the scenario-based paradigm can render override rules more comprehensible to humans, while keeping them sufficiently powerful and expressive to increase the overall safety of the model. We propose a method for applying scenario-based modeling to this new setting, and apply it to multiple DNN models. (This paper substantially extends the paper titled "Guarded Deep Learning using Scenario-Based Modeling", published in Modelsward 2020 [47]. Most notably, it includes an additional case study, extends the approach to recurrent neural networks, and discusses various aspects of the proposed paradigm more thoroughly).

关键词： Scenario-based modeling behavioral programming Machine learning Deep neural networks

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9789897582837

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 debugging or maintenance are still far from trivial even when using such specifications. Specifically, it is hard to find out why a complex system behaves as it does, or how it would behave under certain conditions. Here, we present work in progress towards the (semi-)automatic analysis of event traces emanating from simulation runs and actual executions. These traces may be large, yet developers are often interested only in specific properties thereof, like is any specification property violated? are particular properties demonstrated? is there a smaller sub-sequence of events that violates or demonstrates the same properties? which trace properties are common to multiple traces and which are unique? etc. Our approach includes automatic techniques for discovering and distilling relevant properties of traces, analyzing properties of sets of traces, using (sets of) execution traces for understanding specified and actual system behavior and problems therein, planning system enhancement and repair, and more. Our work leverages and extends existing work on trace summarization, formal methods for model analysis, specification mining from execution traces, and others, in the context of scenario-based specifications. A key guiding perspective for this research is that interesting properties of a trace often can be associated with one or very few concise scenarios, depicting desired or forbidden behavior, which are already in the specification, or should be added to it.

关键词： Software Engineering System Engineering Scenario-based programming behavioral programming Abstraction Debugging Program Repair Execution Trace Event Log

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共4页 << < 1 2 3 4 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：