Výsledky vyhľadávania - Programming Languages and Software- Expert system tools and techniques

Atabix Solutions B.V. secures contract for Programming Services of Systems and User Software - Expert tool Institute Mining Damage Groningen (IMG)

Získať plný text

Atabix Solutions B.V. secures contract for Programming Services of Systems and User Software - Expert tool Institute Mining Damage Groningen (IMG)

Získať plný text

Models for formal methods and tools: the case of railway systems: Models for formal methods and tools: the case of railway systems Autor ter Beek, M. H.

“…Formal methods and tools are successfully applied to the development of safety-critical systems for decades now, in particular in the transport domain, without a single technique or tool emerging…”
Získať plný text

Requirements for modelling tools for teaching Autor Kienzle, Jörg, Zschaler, Steffen, Barnett, William, Sağlam, Timur, Bucchiarone, Antonio, Abrahão, Silvia, Syriani, Eugene, Kolovos, Dimitris, Lethbridge, Timothy, Mustafiz, Sadaf, Meacham, Sofia

“…Modelling is an important activity in software development and it is essential that students learn the relevant skills…”
Získať plný text

A manifesto for applicable formal methods Autor Gleirscher, Mario, van de Pol, Jaco, Woodcock, Jim

“…) and have proved to be an effective part of a software engineering process finding important bugs…”
Získať plný text

Quo Vadis modeling?: Findings of a community survey, an ad-hoc bibliometric analysis, and expert interviews on data, process, and software modeling Autor Michael, Judith, Bork, Dominik, Wimmer, Manuel, Mayr, Heinrich C.

“… This applies to all scientific and engineering disciplines and in particular to the development of software and data-intensive systems…”
Získať plný text

Data Analytics and Machine Learning Methods, Techniques and Tool for Model-Driven Engineering of Smart IoT Services Autor Moin, Armin

“…) and smart Cyber-Physical Systems (CPS). The proposed approach offers abstraction and automation to the software engineering processes, as well as the Data Analytics (DA…”
Získať plný text

Systematic analysis of automated threat modelling techniques: Comparison of open-source tools Autor Granata, Daniele, Rak, Massimiliano

“… Security by design is a proactive approach that builds security into all aspects of a system from the ground up, rather than adding it on as…”
Získať plný text

Domain Specific Languages for Optimisation Modelling Autor Wijesundara, Sameela Suharshani

“…Despite significant advances in computational approaches for modelling and solving combinatorial optimisation problems, there are still considerable barriers that prevent domain experts…”
Získať plný text

Source Code Summarization in the Era of Large Language Models Autor Sun, Weisong, Miao, Yun, Li, Yuekang, Zhang, Hongyu, Fang, Chunrong, Liu, Yi, Deng, Gelei, Liu, Yang, Chen, Zhenyu

“…) code summarization techniques have been proposed to generate a concise natural language summary (i.e., comment…”
Získať plný text

REEF: A Framework for Collecting Real-World Vulnerabilities and Fixes Autor Wang, Chaozheng, Li, Zongjie, Pena, Yun, Gao, Shuzheng, Chen, Sirong, Wang, Shuai, Gao, Cuiyun, Lyu, Michael R.

“… However, existing benchmarks for training and evaluating these techniques remain limited, as they tend to focus on a single programming language and have relatively small datasets…”
Získať plný text

G-Sparse: Compiler-Driven Acceleration for Generalized Sparse Computation for Graph Neural Networks on Modern GPUs Autor Jin, Yue, Huan, Chengying, Zhang, Heng, Liu, Yongchao, Song, Shuaiwen Leon, Zhao, Rui, Zhang, Yao, He, Changhua, Chen, Wenguang

“… The performance optimization of generalized sparse computation lacking in-depth architecture-aware design is seldom supported by existing Domain-Specific Languages (DSLs…”
Získať plný text

Concern-Based Management of Software Design Complexity Autor Lefever, Jason

“…Managing design-level complexity in industrial software systems remains challenging, often resulting in error-prone, difficult-to-maintain codebases…”
Získať plný text

Opportunities in intelligent modeling assistance Autor Mussbacher, Gunter, Combemale, Benoit, Kienzle, Jörg, Abrahão, Silvia, Ali, Hyacinth, Bencomo, Nelly, Búr, Márton, Burgueño, Loli, Engels, Gregor, Jeanjean, Pierre, Jézéquel, Jean-Marc, Kühn, Thomas, Mosser, Sébastien, Sahraoui, Houari, Syriani, Eugene, Varró, Dániel, Weyssow, Martin

“… There is an urgent need to better support tool builders to ultimately provide modelers with intelligent modeling assistance that learns from previous modeling experiences, automatically derives…”
Získať plný text

Understanding the need for assistance in software modeling: interviews with experts Autor Savary-Leblanc, Maxime, Le Pallec, Xavier, Gérard, Sébastien

“… A large corpus of literature has indeed grown up over the years, pointing out the problems related to the modeling abstraction process, the usability of tools, or the practical difficulty of using modeling languages…”
Získať plný text

Assessing the usefulness of a visual programming IDE for large-scale automation software Autor Wiesmayr, Bianca, Zoitl, Alois, Rabiser, Rick

“… These experts frequently use visual programming languages based on standards such as IEC 61131-3 and IEC 61499…”
Získať plný text

Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL Autor Borger, Egon

“… On the positive side, we distill from the discussion six criteria which can help to recognize practical and reliable tool-supported business process description and modeling…”
Získať plný text

Trustworthy agent-based simulation: the case for domain-specific modelling languages Autor Zschaler, Steffen, Polack, Fiona A. C.

“…Simulation is a key tool for researching complex system behaviour. Agent-based simulation has been applied across domains, such as biology, health, economics and urban sciences…”
Získať plný text

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework Autor Varró, Dániel, Bergmann, Gábor, Hegedüs, Ábel, Horváth, Ákos, Ráth, István, Ujhelyi, Zoltán

“…The current release of VIATRA provides open-source tool support for an event-driven, reactive model transformation engine built on top of highly scalable incremental graph queries for models…”
Získať plný text

A personal retrospective on language workbenches Autor van den Brand, Mark

“… Language workbenches are the most important tools in the field of software language engineering…”
Získať plný text