Suchergebnisse - 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)

Volltext

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

Volltext

Models for formal methods and tools: the case of railway systems: Models for formal methods and tools: the case of railway systems von 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 …”
Volltext

Requirements for modelling tools for teaching von 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 …”
Volltext

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

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

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

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

Systematic analysis of automated threat modelling techniques: Comparison of open-source tools von 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 …”
Volltext

Domain Specific Languages for Optimisation Modelling von 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 …”
Volltext

Source Code Summarization in the Era of Large Language Models von 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 …”
Volltext

REEF: A Framework for Collecting Real-World Vulnerabilities and Fixes von 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 …”
Volltext

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

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

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

Opportunities in intelligent modeling assistance von 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 …”
Volltext

Understanding the need for assistance in software modeling: interviews with experts von 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 …”
Volltext

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

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

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

Trustworthy agent-based simulation: the case for domain-specific modelling languages von 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 …”
Volltext

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

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

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