Using an LLM to Help With Code Understanding论文
2024引用: 263
<scp>UCSF ChimeraX</scp>: Tools for structure building and analysis论文
Protein Science2023引用: 3.9K
Handbook of Satisfiability论文
2021引用: 489
IBM ILOG CPLEX Optimization Studio论文
2020引用: 255
Situational Method Engineering: State-of-the-Art Review论文
UTS ePRESS (University of Technology Sydney)2020引用: 236
Formal Specification and Verification of Autonomous Robotic Systems论文
ACM Computing Surveys2019引用: 259
Satisfiability Modulo Theories论文
2018引用: 1.1K
Co-Simulation论文
ACM Computing Surveys2018引用: 350
Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic论文
Research Showcase @ Carnegie Mellon University (Carnegie Mellon University)2018引用: 364
Proceedings of the 2017 Winter Simulation Conference论文
HAL (Le Centre pour la Communication Scientifique Directe)2017引用: 251
Model-Driven Software Engineering in Practice论文
Synthesis lectures on software engineering2017引用: 471
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)论文
2017引用: 903
Model-driven engineering: A survey supported by the unified conceptual model论文
Computer Languages Systems & Structures2015引用: 361
Solving Software Challenges for Exascale论文
Lecture notes in computer science2015引用: 219
FlashMeta: a framework for inductive program synthesis论文
2015引用: 228
MCMAS: an open-source model checker for the verification of multi-agent systems论文
International Journal on Software Tools for Technology Transfer2015引用: 223
UML 2 AND THE UNIFIED PROCESS : Practical Object-oriented Analysis and Design论文
2015引用: 292
Bidirectionally Tolerating Inconsistency: Partial Transformations论文
Lecture notes in computer science2014引用: 255
Feature-Oriented Software Product Lines论文
2013引用: 773
Implementing Domain-Specific Languages with Xtext and Xtend论文
CERN Document Server (European Organization for Nuclear Research)2013引用: 344
第 1-20 条，共 448 条
上一页下一页