Search Results - Software AND civil engineering Software notations AND tools General programming languages*

Designing and Interpreting a Mathematical Programming Language

Authors: Hüseyin PEHLİVAN

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

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

File Description: application/pdf

Access 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

USING UML SCENARIOS IN B2B SYSTEMS

Authors: Abdeslam Jakimi Ayoub Sabraoui Elarbi Badidi et al.

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

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

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

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

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

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

Subject Terms: BIG data, PUBLIC transit, DATA analysis, TRAFFIC congestion, URBAN life, DATA visualization, OPEN source software

Geographic Terms: POLAND, WARSAW (Poland)

Model-driven engineering city spaces via bidirectional model transformations.

Authors: Visconti, Ennio Tsigkanos, Christos Hu, Zhenjiang et al.

Source: Software & Systems Modeling; Dec2021, Vol. 20 Issue 6, p2003-2022, 20p

Subject Terms: ARCHITECTURAL engineering, SOFTWARE engineers, CIVIL engineering, CIVIL engineers, ENGINEERING systems, CYBER physical systems, SOFTWARE engineering

Modeling Internet of Things Software for Public Transportation.

Alternate Title: Toplu Taşıma İçin Nesnelerin İnterneti Yazılımlarının Modellenmesi. (Turkish)

Authors: Arslan, Sadik Kardas, Geylani

Source: Journal of Intelligent Transportation Systems & Applications; 2023, Vol. 6 Issue 2, p425-445, 21p

Subject Terms: INTERNET of things, MODELING languages (Computer science), PUBLIC transit, SEMANTICS, SMART cities, COMPARATIVE linguistics, TRANSPORTATION software, URBAN transportation

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

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

Subject Terms: FISHERY management, OCEANOGRAPHY, SCIENTIFIC community, PROGRAMMING languages, CIVIL engineering, SCIENTISTS

AUTOMATED TRANSLATION FROM DOMAIN KNOWLEDGE TO SOFTWARE MODEL: EXCEL2UML IN THE TUNNELING DOMAIN.

Authors: Paskaleva, Galina Mazak-Huemer, Alexandra Villeneuve, Marlène et al.

Source: Journal of Information Technology in Construction; 2023, Vol. 28, p360-384, 25p

Subject Terms: TUNNEL design & construction, COMPUTER software, AUTOMATION, DATA modeling, PROTOTYPES, ACCURACY

On the relationship between similar requirements and similar software: A case study in the railway domain.

Authors: Abbas, Muhammad Ferrari, Alessio Shatnawi, Anas et al.

Source: Requirements Engineering; Mar2023, Vol. 28 Issue 1, p23-47, 25p

Subject Terms: NATURAL language processing, LANGUAGE models, DEEP learning, RECOMMENDER systems, REQUIREMENTS engineering, COMPUTER software, RAILROAD design & construction

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

Authors: Raian Ali Hermann Kaindl Leszek A. Maciaszek

Resource Type: eBook.

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

Comparing Formal Tools for System Design: a Judgment Study.

Authors: Ferrari, Alessio Mazzanti, Franco Basile, Davide et al.

Source: ICSE: International Conference on Software Engineering; 6/17/2020, p62-74, 13p

Subject Terms: SYSTEMS design, SOFTWARE engineering, COMPUTER software development, FORMAL methods (Computer science), RAILROADS

Concise Guide to Software Engineering

Authors: Gerard O'Regan

Resource Type: eBook.

Subjects: Software engineering, Computer programming, Computer science, Software engineering—Management

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / Project Management

Towards Porting Operating Systems with Program Synthesis.

Authors: JINGMEI HU LU, ERIC HOLLAND, DAVID A. et al.

Source: ACM Transactions on Programming Languages & Systems; Mar2023, Vol. 45 Issue 1, p1-70, 70p

Subject Terms: HARBORS, MOORE'S law, LANGUAGE ability, SYSTEMS software

A Beginner's Guide to Distinct Engineering Professions

Authors: Combs, Roosevelt Waldrop, Marquerite

Resource Type: eBook.

Subjects: Civil engineering--Handbooks, manuals, etc, Software engineering--Vocational guidance, Software engineering--Handbooks, manuals, etc, Civil engineering--Vocational guidance

Categories: COMPUTERS / Programming / Open Source, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Software Development & Engineering / Tools

Model‐based generation of test scripts across product variants: An experience report from the railway industry.

Authors: Bucaioni, Alessio Di Silvestro, Fabio Singh, Inderjeet et al.

Source: Journal of Software: Evolution & Process; Nov2022, Vol. 34 Issue 11, p1-19, 19p

Subject Terms: SOFTWARE product line engineering, RAILROADS, PRODUCT lines, SCRIPTS, TECHNOLOGY transfer, MASTS & rigging

Geographic Terms: SWEDEN

Company/Entity: ALSTOM SA

DETECTION OF LADDER PROGRAM UNSTABLE STATES.

Authors: GRZYBOWSKI, Michał MŁYŃCZAK, Jakub FOLĘGA, Piotr et al.

Source: Transport Problems: an International Scientific Journal; 2024, Vol. 19 Issue 3, p107-119, 13p

Subject Terms: BUILDING design & construction, PREDICATE (Logic), LADDERS, AUTOMATION, RAILROADS, SOFTWARE verification

Object-Oriented Paradigm in Programming for Computer-Aided Analysis of Structures.

Authors: Madan, Alok

Source: Journal of Computing in Civil Engineering; Jul2004, Vol. 18 Issue 3, p226-236, 11p, 6 Diagrams, 2 Charts

Subject Terms: COMPUTER programming, STRUCTURAL analysis (Engineering), STRUCTURAL engineering, COMPUTER software industry, COMPUTER software

System Configuration Design of BIM Object-Oriented Database for Civil Engineering.

Authors: Li, Shi-Dong Xu, Zhao-Dong

Source: Journal of Construction Engineering & Management; Dec2022, Vol. 148 Issue 12, p1-25, 25p

Subject Terms: OBJECT-oriented databases, CIVIL engineering, CIVIL engineers, BUILDING information modeling

SAT modulo discrete event simulation applied to railway design capacity analysis.

Authors: Luteberget, Bjørnar Claessen, Koen Johansen, Christian et al.

Source: Formal Methods in System Design; Aug2021, Vol. 57 Issue 2, p211-245, 35p

Subject Terms: DISCRETE event simulation, RAILROAD design & construction, CONSTRUCTION projects, SOFTWARE verification, ENGINEERING design, JOINT use of railroad facilities

Systems engineering -- synergy of science, knowledge and applied technology.

Authors: Ficoń, Krzysztof Sokołowski, Wojciech Zięcina, Marcin

Source: Scientific Journal of the Military University of Land Forces; 2022, Vol. 54 Issue 4, p540-559, 20p

Subject Terms: SYSTEMS engineering, TECHNOLOGICAL innovations, ENVIRONMENTAL engineering, INDUSTRIAL safety, BIOMEDICAL engineering

Modelling on mobile devices: A systematic mapping study.

Authors: Brunschwig, Léa Guerra, Esther de Lara, Juan

Source: Software & Systems Modeling; Feb2022, Vol. 21 Issue 1, p179-205, 27p

Subject Terms: TRAILS, FACTORY design & construction, NATURAL history, DYNAMIC models, GYROSCOPES