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

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

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

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

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

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Authors: Jasmin Blanchette Laura Kovács Dirk Pattinson

Resource Type: eBook.

Subjects: Automatic theorem proving--Congresses, Computer logic--Congresses

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

Transformation frameworks and their relevance in universal design.

Authors: Brown, Silas Robinson, Peter

Source: Universal Access in the Information Society; Oct2004, Vol. 3 Issue 3/4, p209-223, 15p, 1 Black and White Photograph

Subject Terms: UNIVERSAL design, COMPUTER programming, INFORMATION theory, COMPUTER science, WRITING

Meta-assemblers.

Authors: Skordalakis, E.

Source: IEEE Micro; 1983, Vol. 3 Issue 2, p6-16, 11p

A Monitoring Method Based on FBG for Concrete Corrosion Cracking.

Authors: Jianghong Mao Fangyuan Xu Qian Gao et al.

Source: Sensors (14248220); Jul2016, Vol. 16 Issue 7, p1093, 11p, 2 Color Photographs, 4 Diagrams, 2 Charts, 4 Graphs

Dynamic-System Models and Simulation.

Authors: Korn, Granino A.

Source: Advanced Dynamic-System Simulation: Model Replication & Monte Carlo Studies; 2013, p1-30, 30p

Demystifying Artificial Intelligence : Symbolic, Data-Driven, Statistical and Ethical AI

Authors: Emmanuel Gillain

Resource Type: eBook.

Subjects: Artificial intelligence

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Data Science / General, COMPUTERS / Information Technology, COMPUTERS / Human-Computer Interaction (HCI)

Moby Word Lists.

Authors: Ward, Grady

Source: Moby Word Lists; 3/1/2006, p1, 999p

Subject Terms: REFERENCE books, ELECTRONIC publications, ELECTRONIC books, OPEN access publishing

Company/Entity: PROJECT Gutenberg (Organization)

Advances in Haptics

Authors: Mehrdad Hosseini Zadeh

Resource Type: eBook.

Subjects: Virtual reality, Haptic devices

Categories: MEDICAL / Biotechnology

European Symposium on Computer-Aided Process Engineering-15 : 38th European Symposium of the Working Party on Computer Aided Process Engineering: ESCAPE-15, 29 May - 1 June 2005, Barcelona, Spain

Authors: Espuña, A. Puigjaner, L.

Resource Type: eBook.

Subjects: Computer integrated manufacturing systems--Congresses, Chemical process control--Data processing--Congresses

Categories: SCIENCE / Chemistry / Industrial & Technical, TECHNOLOGY & ENGINEERING / Chemical & Biochemical

Engineering Software III

Authors: R. A. Adey

Resource Type: eBook.

Subjects: Dynamics, Nonlinear theories, Software engineering

Categories: SCIENCE / System Theory, COMPUTERS / Software Development & Engineering / General, TECHNOLOGY & ENGINEERING / Engineering (General)

This is jargon file

Authors: Raymond, Eric S.

Resource Type: eBook.

Subjects: Hackers

Categories: COMPUTERS / Internet / Online Safety & Privacy, COMPUTERS / Security / Network Security, COMPUTERS / Security / General

Reliability and Robustness of Engineering Software II

Authors: C.A. Brebbia A.J. Ferrante

Resource Type: eBook.

Subjects: Engineering--Computer programs--Reliability --, Computer software--Reliability--Congresses

Categories: COMPUTERS / Design, Graphics & Media / CAD-CAM, COMPUTERS / Software Development & Engineering / General, TECHNOLOGY & ENGINEERING / Industrial Design / General, TECHNOLOGY & ENGINEERING / Manufacturing

Advances and Trends in Structures and Dynamics : Papers Presented at the Symposium on Advances and Trends in Structures and Dynamics, Held 22-25 October 1984, Washington, D.C.

Authors: Ahmed K. Noor Robert J. Hayduk

Resource Type: eBook.

Subjects: Structural dynamics--Congresses, Structural analysis (Engineering)--Congresses

Categories: SCIENCE / Physics / Condensed Matter

European Powder Diffraction EPDIC 1

Authors: R. Delhez E.J. Mittemeijer

Resource Type: eBook.

Subjects: Chemical engineering, Chemistry, Engineering, Physics

Categories: TECHNOLOGY & ENGINEERING / Materials Science / General