Search Results - 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)

Get full text

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

Get full text

Models for formal methods and tools: the case of railway systems: Models for formal methods and tools: the case of railway systems by 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…”
Get full text

Requirements for modelling tools for teaching by 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…”
Get full text

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

“…) and have proved to be an effective part of a software engineering process finding important bugs…”
Get full text

Quo Vadis modeling?: Findings of a community survey, an ad-hoc bibliometric analysis, and expert interviews on data, process, and software modeling by 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…”
Get full text

Data Analytics and Machine Learning Methods, Techniques and Tool for Model-Driven Engineering of Smart IoT Services by 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…”
Get full text

Systematic analysis of automated threat modelling techniques: Comparison of open-source tools by 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…”
Get full text

Domain Specific Languages for Optimisation Modelling by 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…”
Get full text

Source Code Summarization in the Era of Large Language Models by 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…”
Get full text

REEF: A Framework for Collecting Real-World Vulnerabilities and Fixes by 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…”
Get full text

G-Sparse: Compiler-Driven Acceleration for Generalized Sparse Computation for Graph Neural Networks on Modern GPUs by 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…”
Get full text

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

“…Managing design-level complexity in industrial software systems remains challenging, often resulting in error-prone, difficult-to-maintain codebases…”
Get full text

Opportunities in intelligent modeling assistance by 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…”
Get full text

Understanding the need for assistance in software modeling: interviews with experts by 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…”
Get full text

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

“… These experts frequently use visual programming languages based on standards such as IEC 61131-3 and IEC 61499…”
Get full text

Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL by 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…”
Get full text

Trustworthy agent-based simulation: the case for domain-specific modelling languages by 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…”
Get full text

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework by 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…”
Get full text

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

“… Language workbenches are the most important tools in the field of software language engineering…”
Get full text