咨询与建议

限定检索结果

文献类型

  • 89 篇 会议
  • 30 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 88 篇 工学
    • 75 篇 计算机科学与技术...
    • 60 篇 软件工程
    • 9 篇 信息与通信工程
    • 8 篇 控制科学与工程
    • 8 篇 安全科学与工程
    • 7 篇 电气工程
    • 6 篇 生物医学工程(可授...
    • 5 篇 仪器科学与技术
    • 5 篇 电子科学与技术(可...
    • 4 篇 机械工程
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 化学工程与技术
    • 4 篇 网络空间安全
    • 3 篇 材料科学与工程(可...
    • 3 篇 石油与天然气工程
    • 3 篇 交通运输工程
    • 3 篇 船舶与海洋工程
  • 34 篇 理学
    • 22 篇 数学
    • 4 篇 化学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 3 篇 海洋科学
  • 25 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 13 篇 图书情报与档案管...
    • 4 篇 工商管理
  • 5 篇 医学
    • 5 篇 基础医学(可授医学...
    • 5 篇 临床医学
    • 3 篇 药学(可授医学、理...
  • 3 篇 教育学
    • 3 篇 教育学
  • 1 篇 法学

主题

  • 10 篇 software enginee...
  • 5 篇 unified modeling...
  • 4 篇 application soft...
  • 4 篇 java
  • 4 篇 security
  • 4 篇 students
  • 3 篇 computer science
  • 3 篇 adaptive systems
  • 3 篇 linux
  • 3 篇 model checking
  • 3 篇 computer languag...
  • 3 篇 cryptographic pr...
  • 3 篇 artificial intel...
  • 3 篇 smart cards
  • 3 篇 ontology
  • 3 篇 formal specifica...
  • 2 篇 runtime
  • 2 篇 object oriented ...
  • 2 篇 decision support...
  • 2 篇 computer archite...

机构

  • 6 篇 institute for so...
  • 5 篇 department of pr...
  • 3 篇 department of so...
  • 3 篇 department of so...
  • 3 篇 institute for so...
  • 3 篇 department of co...
  • 3 篇 ivannikov instit...
  • 3 篇 department of sy...
  • 3 篇 software enginee...
  • 3 篇 institute of sof...
  • 3 篇 institute of sof...
  • 3 篇 department of se...
  • 2 篇 school of mathem...
  • 2 篇 institute for so...
  • 2 篇 department of co...
  • 2 篇 zuse institute b...
  • 2 篇 department of so...
  • 2 篇 department of me...
  • 2 篇 university of tw...
  • 2 篇 department of co...

作者

  • 20 篇 margaria tiziana
  • 19 篇 steffen bernhard
  • 8 篇 yevtushenko nina
  • 6 篇 wolfgang reif
  • 5 篇 leucker martin
  • 5 篇 naujokat stefan
  • 4 篇 kossachev alexan...
  • 4 篇 lamprecht anna-l...
  • 4 篇 reif wolfgang
  • 4 篇 nina moebius
  • 4 篇 burdonov igor
  • 4 篇 tichy matthias
  • 4 篇 raschke alexande...
  • 3 篇 kubczak christia...
  • 3 篇 merten maik
  • 3 篇 bergenthum robin
  • 3 篇 kurt stenzel
  • 3 篇 nina yevtushenko
  • 3 篇 witte thomas
  • 3 篇 raffelt harald

语言

  • 105 篇 英文
  • 14 篇 其他
  • 2 篇 德文
检索条件"机构=Department of Programming and Software Engineering"
121 条 记 录,以下是51-60 订阅
Visualization of behavioral aspects of AADL-models  11
Visualization of behavioral aspects of AADL-models
收藏 引用
11th International Conference on Computer Science and Information Technologies, CSIT 2017
作者: Zelenov, Sergey Buzdalov, Denis Software Engineering Department Institute for System Programming Russian Academy of Sciences Moscow Russia
In the paper, we describe a metamodel to represent dynamics of AADL-models. The metamodel allows to visualize step-by-step a process of models' behavioral aspects analysis. In particular, it essentially helps to d... 详细信息
来源: 评论
A proposal of an example and experiments repository to foster industrial adoption of formal methods  8th
A proposal of an example and experiments repository to foste...
收藏 引用
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
作者: Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom
Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the pot... 详细信息
来源: 评论
Lemma Functions for Frama-C: C Programs as Proofs
Lemma Functions for Frama-C: C Programs as Proofs
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Grigoriy Volkov Mikhail Mandrykin Denis Efremov Faculty of Computer Science Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia
This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C... 详细信息
来源: 评论
Lemma functions for frama-C: C programs as proofs
arXiv
收藏 引用
arXiv 2018年
作者: Volkov, Grigoriy Mandrykin, Mikhail Efremov, Denis Faculty of Computer Science National Research University Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia
This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C... 详细信息
来源: 评论
Design and Development of a Mobile Robotic Complex
Design and Development of a Mobile Robotic Complex
收藏 引用
International Conference on Recent Innovations in Electrical, Electronics & Communication engineering (ICRIEECE)
作者: Aigul Adamova Tamara Zhukabayeva Laula Zhumabayeva Zhanna Mukanova Khu Ven-Tsen Department of Computer engineering and software Saken Seifullin Kazakh Agrotechnical University Astana Kazakhstan Department of Computing Engineering L.N. Gumilyov Eurasian National University Astana Kazakhstan Department of Information Systems and Power Engineering S. Yessenov Caspian State University of Technology and Engineering Aktau Kazakhstan Department of Information and Computing Systems Karaganda Economic University of Kazpotrebsoyuz Karaganda Kazakhstan Department of Computer engineering and software programming M. Auezov South Kazakhstan State University Shymkent Kazakhstan
Development of the mobile robot can be executed in two different ways. Firstly, this creation of the built-in system, secondly, the use of "ready to use" industrial components. With distribution of the indus... 详细信息
来源: 评论
Highlights in systems verification
收藏 引用
Queue 2017年 第4期15卷
作者: Kwon, Albert Wilcox, James EECS Department MIT United States University of Washington Programming Languages and Software Engineering Lab United States
来源: 评论
Semantic Agent Contracts for Internet of Agents
Semantic Agent Contracts for Internet of Agents
收藏 引用
Web Intelligence and Intelligent Agent Technology Workshops (WI-IAT)
作者: Pablo Pico-Valencia Juan A. Holgado-Terriza Programming and Development of Software Department Pontificia Univ Católica del Ecuador Esmeraldas Software Engineering Department Universidad de Granada
The Internet of Things (IoT) is a current approach which aims to act on pervasive environments for connecting smart objects. These objects are capable to sense their own environment, interacting and cooperating with o... 详细信息
来源: 评论
Preface
收藏 引用
CEUR Workshop Proceedings 2019年 2514卷 1-2页
作者: Avetisyan, Arutyun Ivar, Jacobson Pozin, Boris A. Petrenko, Alexander K. Pozin, Boris A. Petrenko, Alexander K. Cavalli, Ana Rosa Petrenko, Alexander K. Avetisyan, Arutyun Arlazarov, Vladimir Avdoshin, Sergey Batovrin, Victor K. Bershadsky, Alexander M. Boichenko, Alexander Juris, Borzovs Vasenin, Valery A. Schlingloff, Holger Kalyanov, Georgy Kantorovich, Georgy G. Korolev, Anton Kosolapov, Mikhail S. Kostogryzov, Andrey I. Koznov, Dmitry V. Kuznetsov, Sergey Prokhorov, Sergei Soyfer, Victor A. Starykh, Vladimir A. Stolyarov, Gennady K. Stupnikov, Sergey A. Telnov, Yury Ph. Shmid, Alexander Mira, Kajko-Mattssen Miroslawa Wentzl, Wilfried Mayer, Walter H. Yevtushenko, Nina Zakharov, Victor Zmeev, Oleg Cavalli, Ana Rosa Petrenko, Alexander K. Pozin, Boris A. RAS ISP Russia Ivar Jacobson International Switzerland NRU HSE «-leasing» Co Russia NRU HSE ISP RAS Russia Information and Analytical Systems «-leasing» Co Russia Department of Network Software TELECOM and Management SudParis France NRU HSE Russia Software Engineering of Ivannikov Institute for System Programming RAS Russia RAS System Analysis Institute of Federal Research Centre Informatics and Management Russia Russia Penza State University Russia Federal State Educational Centre of Higher Learning «Plekhanov Russian University of Economics» Russia CISA Academy of Sciences of Latvia State University of Latvia Latvia MSU Institut für Offene Kommunikationssysteme FOKUS Germany Verifikation und Testtheorie an der Humboldt-Universität zu Berlin Germany Institute of Control Sciences RAS Russia Institute of Sociology RAS NRU HSE Russia ISO IEEC Institute of Informatics Problems Federal Research Centre IM RAS Russia St. Petersburg State University Russia Institute for System Programming RAS Moscow State University Russia SRI Korolev Samara State Aerospace University Russia Belarus FRC IM RAS Russia FSEC «Plekhanov Russian University of Economics» Russia KTH School of Information and Communication Technology Sweden Governmental Agricultural Analyst Austria Austria Ivannikov Institute for System Programming RAS Russia Institute of Informatics Problems Federal Research Centre IM RAS Russia Tomsk State University Russia
来源: 评论
Preface
收藏 引用
CEUR Workshop Proceedings 2017年 1989卷 5-7页
作者: Pozin, Boris A. Cavalli, Ana Rosa Petrenko, Alexander K. Department of Information and Analytical Systems EC-leasing Co. Russia Department of Network Software TELECOM and Management SudParis France Department of System Engineering Institute of System Programming of RAS Russia
来源: 评论
Verification of logs - revealing faulty processes of a medical laboratory  35th
Verification of logs - revealing faulty processes of a medic...
收藏 引用
Workshops held at 35th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2014 and 14th International Conference on Application of Concurrency to System Design, ACSD 2014
作者: Bergenthum, Robin Schick, Joachim Department of Software Engineering and Theory of Programming FernUniversität in Hagen Hagen Germany
If there is suspicion of Lyme disease, a doctor sends a blood sample of the patient to a medical laboratory. The laboratory performs a number of different blood examinations, testing for antibodies against the Lyme di... 详细信息
来源: 评论