Suchergebnisse - Software AND civil engineering Software notations AND tools General programming languages

Designing and Interpreting a Mathematical Programming Language

Autoren: Hüseyin PEHLİVAN

Quelle: Sakarya Üniversitesi Fen Bilimleri Enstitüsü Dergisi, Vol 23, Iss 6, Pp 1027-1041 (2019)
Volume: 23, Issue: 6 1027-1041
Sakarya University Journal of Science
Sakarya Üniversitesi Fen Bilimleri Enstitüsü Dergisi

Schlagwörter: Computer Software, Chemistry, programming languages, parsers, 0202 electrical engineering, electronic engineering, information engineering, formal grammars, interpreters, 02 engineering and technology, TA1-2040, Engineering (General). Civil engineering (General), Bilgisayar Yazılımı, QD1-999

Dateibeschreibung: application/pdf

Zugangs-URL: http://www.saujs.sakarya.edu.tr/en/download/article-file/793014
https://doaj.org/article/281ebe4fd146479f96e035790d2e2ab9
https://avesis.ktu.edu.tr/yayin/6d35aa2a-f169-4936-9c2d-33b943339510/designing-and-interpreting-a-mathematical-programming-language
http://www.saujs.sakarya.edu.tr/en/pub/issue/44246/494974
https://www.saujs.sakarya.edu.tr/tr/download/article-file/793014
https://dergipark.org.tr/tr/pub/saufenbilder/issue/44246/494974

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autoren: Viktor Vafeiadis

Resource Type: eBook.

Schlagworte: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

USING UML SCENARIOS IN B2B SYSTEMS

Autoren: Abdeslam Jakimi Ayoub Sabraoui Elarbi Badidi et al.

Quelle: International Islamic University Malaysia Engineering Journal, Vol 11, Iss 1 (2010)

Schlagwörter: FOS: Computer and information sciences, Business process modeling, Class diagram, QoS-Aware Web Services Composition and Semantic Matching, Social Sciences, Business, Management and Accounting, Set (abstract data type), 02 engineering and technology, Operator (biology), Autonomic Computing and Self-Adaptive Systems, Biochemistry, Gene, Work in process, Management Information Systems, Process Modeling Languages, Engineering, Artificial Intelligence, FOS: Mathematics, Genetics, 0202 electrical engineering, electronic engineering, information engineering, Sequence diagram, Use Case Diagram, Unified Modeling Language, Biology, Business Process Model and Notation, Software engineering, Arithmetic, Activity diagram, Workflow Mining and Business Process Management, Object-oriented programming, Engineering (General). Civil engineering (General), Computer science, Business process, Programming language, Process (computing), Chemistry, Operations management, Notation, FOS: Biological sciences, Computer Science, Physical Sciences, Repressor, TA1-2040, Transcription factor, Software, Mathematics, Information Systems, Sequence (biology)

Zugangs-URL: https://journals.iium.edu.my/ejournal/index.php/iiumej/article/download/50/23
https://doaj.org/article/8e53755fc3324286a7bce5da36fc7d3a

The AI Act and The Agile Safety Plan

Autoren: Thor Myklebust Tor Stålhane Dorthea Mathilde Kristin Vatn

Resource Type: eBook.

Schlagworte: Software engineering, Artificial intelligence--Law and legislation--European Union countries, Artificial intelligence--Safety measures, Data protection, Risk management

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Security / General, COMPUTERS / Hardware / General

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Autoren: Andre Platzer Kristin Yvonne Rozier Matteo Pradella et al.

Resource Type: eBook.

Schlagworte: Formal methods (Computer science)--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Autoren: Stephanie Weirich

Resource Type: eBook.

Schlagworte: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Traditional and deep learning-oriented medical and biological image analysis.

Autoren: ZDIMALOVA, Maria GHOSH, Mridul LASKER, Asifuzzaman et al.

Quelle: Bratislava Medical Journal / Bratislavské Lekárske Listy; 2023, Vol. 124 Issue 9, p653-669, 17p

Schlagwörter: IMAGE analysis, IMAGE segmentation, DIAGNOSTIC imaging, IMAGE processing, PROGRAMMING languages, BIOINFORMATICS software, SIGNAL convolution

Designing tools to evaluate fishery management strategies: can the scientific community deliver?

Quelle: ICES Journal of Marine Science / Journal du Conseil; Sep2007, Vol. 64 Issue 6, p1077-1084, 8p

Schlagwörter: FISHERY management, OCEANOGRAPHY, SCIENTIFIC community, PROGRAMMING languages, CIVIL engineering, SCIENTISTS

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Autoren: Thomas Wies

Resource Type: eBook.

Schlagworte: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Programming / Compilers

Evaluation of Novel Approaches to Software Engineering : 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers

Autoren: Raian Ali Hermann Kaindl Leszek A. Maciaszek

Resource Type: eBook.

Schlagworte: Programming languages (Electronic computers), Computers, Software engineering--Congresses, Computers, Special purpose, Computer programming, Computer architecture

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Security risk analysis of system changes exemplified within the oil and gas domain.

Autoren: Refsdal, Atle Solhaug, Bjørnar Stølen, Ketil

Quelle: International Journal on Software Tools for Technology Transfer; Jun2015, Vol. 17 Issue 3, p251-266, 16p

Schlagwörter: COMPUTER software security, COMPUTER security, OFFSHORE structures, PROGRAMMING languages, DECISION support systems

Alloy: A Language and Tool for Exploring Software Designs.

Autoren: JACKSON, DANIEL

Quelle: Communications of the ACM; Sep2019, Vol. 62 Issue 9, p66-76, 11p, 1 Color Photograph, 3 Diagrams, 4 Charts

Schlagwörter: SOFTWARE architecture, PROGRAMMING languages, SOFTWARE development tools, COMPUTER logic, COMPUTER software

Semi-Automatic Recognition of Objects from CAD Drawings for Quantity Surveying.

Autoren: Hassan, T. Farrag, F. ElSonbaty, A. et al.

Quelle: Journal of Applied Engineering Sciences; May2025, Vol. 15 Issue 1, p113-122, 10p

Schlagwörter: OBJECT recognition (Computer vision), BUILDING information modeling, REMOTE sensing, PROGRAMMING languages, COMPUTER-aided design

UCLAONT: Ontology-Based UML Class Models Verification Tool.

Autoren: Rajab, Adel Hafeez, Abdul Shaikh, Asadullah et al.

Quelle: Applied Sciences (2076-3417); Feb2022, Vol. 12 Issue 3, p1397, 17p

Schlagwörter: COMPUTER software development, PROGRAMMING languages, SOFTWARE engineers, SOFTWARE architecture, ONTOLOGIES (Information retrieval), SOFTWARE engineering

Explicit programming strategies.

Autoren: LaToza, Thomas D. Arab, Maryam Loksa, Dastyni et al.

Quelle: Empirical Software Engineering; Jul2020, Vol. 25 Issue 4, p2416-2449, 34p

Schlagwörter: COMPUTER software development, PROBLEM solving, COMPUTER programming, PROGRAMMING languages, SOFTWARE engineering

Formally understanding Rust's ownership and borrowing system at the memory level.

Autoren: Kan, Shuanglong Chen, Zhe Sanán, David et al.

Quelle: Formal Methods in System Design; Dec2024, Vol. 64 Issue 1, p200-236, 37p

Schlagwörter: SEMANTICS, PROGRAMMING languages, COMPUTER software, COMPUTER science, SCIENTIFIC computing

Toward Responsible AI in High-Stakes Domains: A Dataset for Building Static Analysis with LLMs in Structural Engineering.

Autoren: Avila, Carlos Ilbay, Daniel Tapia, Paola et al.

Quelle: Data (2306-5729); Nov2025, Vol. 10 Issue 11, p169, 12p

Schlagwörter: STRUCTURAL engineering, LANGUAGE models, REPRODUCIBLE research, NATURAL language processing, ACQUISITION of data, EARTHQUAKE resistant design

Leveraging Open-Source Big Data Tools to Enhance the Attractiveness of Public Transport: A Proposed Application.

Autoren: Frelek, Emilia U. Czarnacka-Chrobot, Beata

Quelle: e-mentor; 2025, Vol. 110 Issue 3, p51-62, 12p

Schlagwörter: BIG data, PUBLIC transit, DATA analysis, TRAFFIC congestion, URBAN life, DATA visualization, OPEN source software

Geografische Kategorien: POLAND, WARSAW (Poland)

MATHEMATICAL METHODS FOR IMAGE PROCESSING AND MATHEMATICAL MODELING.

Autoren: ŽDÍMALOVÁ, MÁRIA VRÁBEL, MARIÁN BORATKOVÁ, KRISTÍNA

Quelle: Matematichki Bilten. Bulletin Mathématique de la Société des Mathématiciens de la République de Macédoine; 2023, Vol. 47 Issue 1, p63-84, 22p

Schlagwörter: IMAGE processing, IMAGE analysis, CIVIL engineering, IMAGE segmentation, SOFTWARE development tools

Life-Cycle Performance of Structures and Infrastructure Systems in Diverse Environments

Autoren: Chun-Qing Li Dan M. Frangopol

Resource Type: eBook.

Schlagworte: Engineering systems--Congresses, Civil engineering--Congresses, Sustainable engineering--Congresses

Categories: TECHNOLOGY & ENGINEERING / Civil / General, TECHNOLOGY & ENGINEERING / General