Suchergebnisse - Software AND chemical engineering Software notations AND tools Compilers Preprocessors~

Empirical analysis of the tool support for software product lines.

Autoren: Horcas, José Miguel Pinto, Mónica Fuentes, Lidia

Quelle: Software & Systems Modeling; Feb2023, Vol. 22 Issue 1, p377-414, 38p

Schlagwörter: SOFTWARE product line engineering, PRODUCT lines, SOFTWARE development tools, ROAD maps, EMPIRICAL research

THERMOMECHANICAL ANALYSIS OF FUNCTIONALLY GRADED COMPONENTS USING ABAQUS.

Autoren: Gönczi, Dávid

Quelle: Multidiszciplináris Tudományok; 2024, Vol. 14 Issue 4, p116-124, 9p

Schlagwörter: INHOMOGENEOUS materials, THERMOMECHANICAL treatment, FINITE element method, NEURAL circuitry, STRUCTURAL components, PROBLEM solving, COMPUTER software, PYTHON programming language

Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Autoren: Heike Wehrheim Jordi Cabot

Resource Type: eBook.

Schlagworte: Software engineering--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Hardware / General

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

Autoren: Jan Friso Groote Kim Guldstrand Larsen

Resource Type: eBook.

Schlagworte: System analysis--Congresses, Computer software--Verification--Congresses, System design--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

The Essence of Software Engineering

Autoren: Volker Gruhn Rüdiger Striemer

Resource Type: eBook.

Schlagworte: Management information systems, Computer science, Software engineering

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / Project Management

Software for Exascale Computing - SPPEXA 2016-2019

Autoren: Hans-Joachim Bungartz Severin Reiz Benjamin Uekermann et al.

Resource Type: eBook.

Schlagworte: Computer science

Categories: COMPUTERS / Computer Simulation, COMPUTERS / Computer Science, COMPUTERS / Data Transmission Systems / Electronic Data Interchange, COMPUTERS / Hardware / General, MATHEMATICS / Applied, SCIENCE / Physics / Mathematical & Computational, TECHNOLOGY & ENGINEERING / Engineering (General)

KeldyshQFT: A C++ codebase for real-frequency multiloop functional renormalization group and parquet computations of the single-impurity Anderson model.

Autoren: Ritz, Nepomuk Ge, Anxiang Walter, Elias et al.

Quelle: Journal of Chemical Physics; 8/7/2024, Vol. 161 Issue 5, p1-21, 21p

Schlagwörter: RENORMALIZATION group, ANDERSON model, STATISTICAL correlation, DATA structures, FUNCTIONAL groups

LITTLE LANGUAGES.

Autoren: Bentley, Jon

Quelle: Communications of the ACM; Aug1986, Vol. 29 Issue 8, p711-721, 11p, 18 Diagrams, 1 Graph

Schlagwörter: PROGRAMMING languages, COMPILERS (Computer programs), COMPUTER software, COMPUTER programming, COMPUTER science, INFORMATION technology

BERTHA: Implementation of a four-component Dirac–Kohn–Sham relativistic framework.

Autoren: Belpassi, Leonardo De Santis, Matteo Quiney, Harry M. et al.

Quelle: Journal of Chemical Physics; 4/30/2020, Vol. 152 Issue 16, p1-17, 17p, 2 Color Photographs, 2 Diagrams, 4 Charts, 4 Graphs

Schlagwörter: PYTHON programming language, NATURAL orbitals

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I

Autoren: Sriram Sankaranarayanan Natasha Sharygina

Resource Type: eBook.

Schlagworte: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Autoren: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Schlagworte: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Autoren: Shuvendu K. Lahiri Chao Wang

Resource Type: eBook.

Schlagworte: Computer software--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Hardware / General

A Concept Map based Teaching of Compiler Design for Undergraduate Students.

Autoren: Subramanian, Venkatesan Karthikeyan, Kalaivany Venkataram, Pallapa

Quelle: EAI Endorsed Transactions on e-Learning; 2023, Vol. 8 Issue 1, p1-18, 18p

Schlagwörter: CONCEPT mapping, UNDERGRADUATES, ASSIGNMENT problems (Programming), TEACHING methods, ELECTRONIC textbooks, PROBLEM-based learning, COMPUTER science education

The Oregon Report Software Engineering: The Turning Point.

Autoren: Wasserman, A.I. Belady, L.A. Watson, T.J. et al.

Quelle: Computer (00189162); 1978, Vol. 11 Issue 9, p30-41, 12p

Benchmark frameworks and τBench.

Autoren: Thomas, Stephen W. Snodgrass, Richard T. Zhang, Rui

Quelle: Software: Practice & Experience; Sep2014, Vol. 44 Issue 9, p1047-1075, 29p

Schlagwörter: SOFTWARE engineering, MATHEMATICAL invariants, COMPUTER interfaces, BENCHMARKING (Management), SOFTWARE frameworks, COMPUTER software

RAGE Architecture for Reusable Serious Gaming Technology Components.

Autoren: van der Vegt, Wim Westera, Wim Nyamsuren, Enkhbold et al.

Quelle: International Journal of Computer Games Technology; 3/17/2016, p1-10, 10p

Schlagwörter: VIDEO game development, SOFTWARE architecture, COMPUTING platforms, SOFTWARE engineering, CODING theory

Firma/Körperschaft: EUROPEAN Commission

Chemistry Across Multiple Phases (CAMP) version 1.0: an integrated multiphase chemistry model.

Autoren: Dawson, Matthew L. Guzman, Christian Curtis, Jeffrey H. et al.

Quelle: Geoscientific Model Development; 2022, Vol. 15 Issue 9, p3663-3689, 27p

Schlagwörter: CHEMICAL models, CHEMICAL processes, CHEMICAL reactions, WEATHER forecasting, SYSTEM integration, CHEMICAL weathering, MICROBIOLOGICAL aerosols

Finite Satisfiability of UML Class Diagrams with Constrained Class Hierarchy.

Autoren: BALABAN, MIRA MARAEE, AZZAM

Quelle: ACM Transactions on Software Engineering & Methodology; Jul2013, Vol. 22 Issue 3, p24:1-24:42, 42p

Schlagwörter: SOFTWARE engineering, SATISFIABILITY (Computer science), PROGRAMMING languages, UNIFIED modeling language, COMPUTER software development, ALGORITHMS, COMPUTER science

POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems.

Autoren: Adve, Vikram S. Bagrodia, Rajive Browne, James C. et al.

Quelle: IEEE Transactions on Software Engineering; Nov2000, Vol. 26 Issue 11, p1027-1048, 22p, 11 Black and White Photographs, 9 Diagrams, 5 Graphs

Schlagwörter: COMPUTER systems, APPLICATION software, COMPUTER software, COMPUTER operating systems, COMPUTER architecture, COMPUTER input-output equipment

When and How to Develop Domain-Specific Languages.

Autoren: Mernik, Marjan Heering, Jan Sloane, Anthony M.

Quelle: ACM Computing Surveys; Dec2005, Vol. 37 Issue 4, p316-344, 29p

Schlagwörter: PROGRAMMING languages, AUTOMATION, COMPUTATIONAL linguistics, COMPUTER software, METHODOLOGY, LIBRARIES