咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 88 篇 工学
    • 76 篇 计算机科学与技术...
    • 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

语言

  • 118 篇 英文
  • 2 篇 德文
  • 2 篇 其他
检索条件"机构=Department of Programming and Software Engineering"
122 条 记 录,以下是41-50 订阅
排序:
Methodology of Teaching programming Science Through Online Platforms
Methodology of Teaching Programming Science Through Online P...
收藏 引用
Informatics, Electronics, and Radio engineering (PIERE), International Conference Problems of
作者: Akram Nishanov Oybek Allamov Janar Yusupova Marks Matyakubov Baxtiyor Qalandarov Reyimberganov Bahrom Department of Systematic and Practical Programming Tashkent University of Information Technologies named after Muhammad al-Khwarizmi Tashkent Uzbekistan Department of Software Engineering Urgench Branch of Tashkent University of Information Technology named after Muhammad al-Khwarizmi Urgench Uzbekistan Master of Urgench branch of TATU named after Muhammad al-Khwarizmi Urgench Branch of Tashkent University of Information Technology named after Muhammad al-Khwarizmi Urgench Uzbekistan Student of Urgench branch of TATU named after Muhammad al-Khwarizmi Urgench Branch of Tashkent University of Information Technology named after Muhammad al-Khwarizmi Urgench Uzbekistan
This article presents an experiment conducted among students of the Faculty of “software engineering” of the Urgench branch of TATU named after Muhammad al-Khwarizmi. Teaching programming using online platforms in e... 详细信息
来源: 评论
Formalization of data derivative structures
Formalization of data derivative structures
收藏 引用
2020 International Conference on Information Science and Communications Technologies, ICISCT 2020
作者: Vosilovich Kabulov, Rustam Bakhtiyorovich Ruzibaev, Ortik Temur Ataxanovich, Kuchkorov Saidqulovich Muminov, Sanjar Tashkent University of Information Technologies Named after Muhammad Al-Khwarizimi Department of Software Engineering Amir Temur str. 108 Tashkent100200 Uzbekistan Department of System and Application Programming of Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi Amir Temur str. 108 Tashkent100200 Uzbekistan
The paper considers the topical issue of formal description of data structures. Data structures are widely used in modern object-oriented programming to solve various practical problems. The paper introduces functions... 详细信息
来源: 评论
Synchronous composition of quasi-complete and quasi-deterministic FSMs
Synchronous composition of quasi-complete and quasi-determin...
收藏 引用
International Conference on Actual Problems of Systems and software engineering
作者: Igor Burdonov Alexandr Kossachev Nina Yevtushenko Tiziano Villa Software Engineering department Ivannikov Institute for System Programming of RAS Software engineering deparment Ivannikov Institute for System Programming Computer Science Department University of Verona
In this paper, we consider the synchronous composition of Finite State Machines (FSMs) that corresponds to instantaneous communication of hardware components. Such FSMs can be deterministic or nondeterministic, partia... 详细信息
来源: 评论
SusTrainable: Promoting Sustainability as a Fundamental Driver in software Development Training and Education Teacher Training November 1–5, Nijmegen, The Netherlands Revised lecture notes
arXiv
收藏 引用
arXiv 2022年
作者: Koopman, Pieter Lubbers, Mart Fernandes, João Paulo Korečko, Štefan Paquete, Luís Porkoláb, Zoltán Szalay, Richárd Mauša, Goran Oprescu, Ana Koedijk, Lukas van Oostveen, Sander Kok, Stephan Li, Jianhao Zsók, Viktória Grbac, Tihana Galinac Grbac, Neven Valkanov, Vladimir Petrov, Mihail Radboud University Nijmegen Netherlands University of Porto Portugal Department of Computers and Informatics Faculty of Electrical Engineering and Informatics Technical University of Košice Slovakia CISUC Department of Informatics Engineering University of Coimbra Portugal Department of Programming Languages and Compilers Institute of Computer Science Faculty of Informatics Eötvös Lorád University Budapest Hungary University of Rijeka Faculty of Engineering Vukovarska 58 Rijeka51000 Croatia Complex Cyber Infrastructure University of Amsterdam Netherlands KPMG Software Engineering Master University of Amsterdam Netherlands Informatics Institute University of Amsterdam Netherlands Juraj Dobrila Univeristy of Pula Zagrebačka 30 PulaHR-52100 Croatia University Of Plovdiv "Paisii Hilendarski" Faculty of Mathematics and Informatics 24 Bulgaria Blvd. Plovdiv4027 Bulgaria
These are the proceedings of the first teacher training of the Erasmus+ project No. 2020-1-PT01-KA203-078646 -- Sustrainable. The full title of this project is Promoting Sustainability as a Fundamental Driver in Softw... 详细信息
来源: 评论
Non-intrusive MC/DC measurement based on traces  13
Non-intrusive MC/DC measurement based on traces
收藏 引用
13th International Symposium on Theoretical Aspects of software engineering, TASE 2019
作者: Ahishakiye, Faustin Jaksic, Svetlana Lange, Felix Dino Schmitz, Malte Stolz, Volker Thoma, Daniel Department of Computing Mathematics and Physics Western Norway University of Applied Sciences Bergen Norway Institute for Software Engineering and Programming Languages University of Lübeck Lübeck Germany
We present a novel, non-intrusive approach to MC/DC coverage measurement using modern processor-based tracing facilities. Our approach does not require recompilation or instrumentation of the software under test. Inst... 详细信息
来源: 评论
Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs
Deriving adaptive homing sequences for weakly initialized no...
收藏 引用
2019 IEEE East-West Design and Test Symposium, EWDTS 2019
作者: Vinarskii, Evgenii Tvardovskii, Aleksandr Evtushenko, Larisa Yevtushenko, Nina Computer Science Department Lomonosov Moscow State University Moscow Russia Radiophysical Department Tomsk State University Tomsk Russia Software Engineering Deparment Ivannikov Institute for System Programming Moscow Russia
State identification sequences, such as homing and distinguishing sequences (HS and DS), are widely used in FSM (Finite State Machine) based testing in order to reduce the size of a returned complete test suite as wel... 详细信息
来源: 评论
Predicting biogas production in real scale anaerobic digester under dynamic conditions with machine learning approach
Environmental Research Communications
收藏 引用
Environmental Research Communications 2025年 第6期7卷 065016-065016页
作者: M. Erdem Isenkul Sevgi Güneş-Durak Yasemin Poyraz Kocak İnci Pir Mertol Tüfekci Güler Türkoğlu Demirkol Selçuk Sevgen Aslı Seyhan Çığgın Neşe Tüfekci Department of Computer Engineering Faculty of Engineering Istanbul University-Cerrahpaşa Avcılar 34320 Istanbul Turkey Department of Environmental Engineering Faculty of Engineering-Architecture Nevsehir Haci Bektas Veli University Nevsehir 50300 Turkey Department of Computer Programming Vocational School of Technical Sciences Istanbul Universitesi—Cerrahpasa 34850 Istanbul Turkey Faculty of Mechanical Engineering Istanbul Technical University Gumussuyu Istanbul 34437 Turkey Centre for Engineering Research University of Hertfordshire College Lane Campus Hatfield AL10 9AB United Kingdom School of Physics Engineering and Computer Science University of Hertfordshire Hatfield Hertfordshire AL10 9AB United Kingdom Department of Environmental Engineering Istanbul University-Cerrahpaşa Avcılar 34320 Istanbul Turkey Department of Software Engineering Faculty of Engineering Istanbul University-Cerrahpaşa Avcılar 34320 Istanbul Turkey Department of Environmental Engineering Faculty of Engineering Akdeniz University Dumlupınar Bulvarı Antalya 07058 Turkey
Biogas production through anaerobic digestion (AD) of industrial organic waste and wastewater offers a sustainable method for energy recovery. However, since process efficiency heavily relies on operational factors, c...
来源: 评论
Enabling Research through the SCIP Optimization Suite 8.0
arXiv
收藏 引用
arXiv 2023年
作者: Bestuzheva, Ksenia Besançon, Mathieu Chen, Wei-Kun Chmiela, Antonia Donkiewicz, Tim van Doornmalen, Jasper Eifler, Leon Gaul, Oliver Gamrath, Gerald Gleixner, Ambros Gottwald, Leona Graczyk, Christoph Halbig, Katrin Hoen, Alexander Hojny, Christopher van der Hulst, Rolf Koch, Thorsten Lübbecke, Marco Maher, Stephen J. Matter, Frederic Mühmer, Erik Müller, Benjamin Pfetsch, Marc E. Rehfeldt, Daniel Schlein, Steffan Schlösser, Franziska Serrano, Felipe Shinano, Yuji Sofranac, Boro Turner, Mark Vigerske, Stefan Wegscheider, Fabian Wellner, Philipp Weninger, Dieter Witzig, Jakob Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany ZIB-AIS2T Germany School of Mathematics and Statistics Beijing Institute of Technology Beijing100081 China RWTH Aachen University Lehrstuhl für Operations Research Kackertstr. 7 Aachen52072 Germany Eindhoven University of Technology Department of Mathematics and Computer Science Netherlands ZIB-AIS2T I2DAMO GmbH Englerallee 19 Berlin14195 Germany ZIB-AIS2T HTW Berlin Germany Friedrich-Alexander Universität Erlangen-Nürnberg Department of Data Science Cauerstr. 11 Erlangen91058 Germany University of Twente Department of Discrete Mathematics and Mathematical Programming P.O. Box 217 Enschede7500 AE Netherlands Technische Universität Berlin Software and Algorithms for Discrete Optimization Straße des 17. Juni 135 Berlin10623 Germany ZIB Department A2IM Takustr. 7 Berlin14195 Germany RWTH Aachen-Lehrstuhl für OR Germany University of Exeter College of Engineering Mathematics and Physical Sciences Exeter United Kingdom Technische Universität Darmstadt Fachbereich Mathematik Dolivostr. 15 Darmstadt64293 Germany TU Darmstadt Fachbereich Mathematik Germany ZIB-A2IM Germany TU Berlin Germany ZIB-A2IM Software and Algorithms for Discrete Optimization Institute of Mathematics TU Berlin Germany GAMS Software GmbH c/o ZIB-AIS2T Germany
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. The focus of this paper is on the role of the SCI... 详细信息
来源: 评论
Non-Intrusive MC/DC Measurement Based on Traces
Non-Intrusive MC/DC Measurement Based on Traces
收藏 引用
Theoretical Aspects of software engineering (TASE)
作者: Faustin Ahishakiye Svetlana Jakšić Volker Stolz Felix Dino Lange Malte Schmitz Daniel Thoma Department of Computing Mathematics and Physics Western Norway University of Applied Sciences Bergen Norway Western Norway University of Applied Sciences Bergen Norway University of Lubeck Lubeck Germany Institute for Software Engineering and Programming Languages University of Lübeck Lübeck Germany
We present a novel, non-intrusive approach to MC/DC coverage measurement using modern processor-based tracing facilities. Our approach does not require recompilation or instrumentation of the software under test. Inst... 详细信息
来源: 评论
Code abstractions for automatic information flow control in a model-driven approach  10th
Code abstractions for automatic information flow control in ...
收藏 引用
10th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage, SpaCCS 2017
作者: Katkalov, Kuzman Stenzel, Kurt Reif, Wolfgang Department of Software Engineering and Programming Languages University of Augsburg Augsburg Germany
Automatic information flow control (IFC) can be used to guarantee the absence of information leaks in security-critical applications. However, IFC of real-world, complex, distributed systems is challenging. In this pa... 详细信息
来源: 评论