Search Results - Software and chemical engineering Software notations and tools Compilers Preprocessors

Empirical analysis of the tool support for software product lines.

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

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

Subject Terms: SOFTWARE product line engineering, PRODUCT lines, SOFTWARE development tools, ROAD maps, EMPIRICAL research

THERMOMECHANICAL ANALYSIS OF FUNCTIONALLY GRADED COMPONENTS USING ABAQUS.

Authors: Gönczi, Dávid

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

Subject Terms: 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

Authors: Heike Wehrheim Jordi Cabot

Resource Type: eBook.

Subjects: 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

Authors: Jan Friso Groote Kim Guldstrand Larsen

Resource Type: eBook.

Subjects: 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

Authors: Volker Gruhn Rüdiger Striemer

Resource Type: eBook.

Subjects: 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

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

Resource Type: eBook.

Subjects: 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.

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

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

Subject Terms: RENORMALIZATION group, ANDERSON model, STATISTICAL correlation, DATA structures, FUNCTIONAL groups

LITTLE LANGUAGES.

Authors: Bentley, Jon

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

Subject Terms: PROGRAMMING languages, COMPILERS (Computer programs), COMPUTER software, COMPUTER programming, COMPUTER science, INFORMATION technology

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

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

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

Subject Terms: 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

Authors: Sriram Sankaranarayanan Natasha Sharygina

Resource Type: eBook.

Subjects: 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

Authors: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Subjects: 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

Authors: Shuvendu K. Lahiri Chao Wang

Resource Type: eBook.

Subjects: 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.

Authors: Subramanian, Venkatesan Karthikeyan, Kalaivany Venkataram, Pallapa

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

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

The Oregon Report Software Engineering: The Turning Point.

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

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

Benchmark frameworks and τBench.

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

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

Subject Terms: SOFTWARE engineering, MATHEMATICAL invariants, COMPUTER interfaces, BENCHMARKING (Management), SOFTWARE frameworks, COMPUTER software

RAGE Architecture for Reusable Serious Gaming Technology Components.

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

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

Subject Terms: VIDEO game development, SOFTWARE architecture, COMPUTING platforms, SOFTWARE engineering, CODING theory

Company/Entity: EUROPEAN Commission

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

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

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

Subject Terms: CHEMICAL models, CHEMICAL processes, CHEMICAL reactions, WEATHER forecasting, SYSTEM integration, CHEMICAL weathering, MICROBIOLOGICAL aerosols

Finite Satisfiability of UML Class Diagrams with Constrained Class Hierarchy.

Authors: BALABAN, MIRA MARAEE, AZZAM

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

Subject Terms: 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.

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

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

Subject Terms: COMPUTER systems, APPLICATION software, COMPUTER software, COMPUTER operating systems, COMPUTER architecture, COMPUTER input-output equipment

When and How to Develop Domain-Specific Languages.

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

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

Subject Terms: PROGRAMMING languages, AUTOMATION, COMPUTATIONAL linguistics, COMPUTER software, METHODOLOGY, LIBRARIES