Search Results - Software and civil engineering Software notations and tools Compilers

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

A Path-Driven Fluid Routing and Scheduling Method for Continuous-Flow Microfluidic Biochips with Delay Time Optimization.

Authors: Chen, Zhisheng Liu, Bowen Su, Hongjin et al.

Source: Micromachines; Jun2025, Vol. 16 Issue 6, p625, 26p

Subject Terms: PARTICLE swarm optimization, CHANNELS (Hydraulic engineering), BIOCHIPS, TRANSPORTATION schedules

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

Advances in Software Engineering, Education, and E-Learning

Authors: Hamid R. Arabnia Leonidas Deligiannidis Fernando G. Tinetti et al.

Resource Type: eBook.

Subjects: Telecommunication, Civil engineering, Education—Data processing, Wireless communication systems, Mobile communication systems

Categories: TECHNOLOGY & ENGINEERING / Telecommunications, EDUCATION / Computers & Technology, TECHNOLOGY & ENGINEERING / Civil / General, TECHNOLOGY & ENGINEERING / Mobile & Wireless Communications

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

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

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

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

Development and validation of a safe communication protocol compliant to railway standards.

Authors: Bertieri, Duccio Ceccarelli, Andrea Zoppi, Tommaso et al.

Source: Journal of the Brazilian Computer Society; 3/2/2021, Vol. 27 Issue 1, p1-26, 26p

Subject Terms: RAILROADS, SAFETY standards, SOFTWARE measurement, SOFTWARE architecture, JOINT use of railroad facilities, RAILROAD safety measures

Frontiers in Software Engineering

Authors: Giancarlo Succi Paolo Ciancarini Artem Kruglov

Resource Type: eBook.

Subjects: Software engineering, Artificial intelligence, Social sciences—Data processing

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General

Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques : Proceedings of the 18th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_19)

Authors: Hamido Fujita Ali Selamat

Resource Type: eBook.

Subjects: Artificial intelligence--Congresses, Computer software--Development--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Artificial Intelligence / General

Advances in Information Technology in Civil and Building Engineering

Authors: Adel Francis Edmond Miresco Silvio Melhado

Resource Type: eBook.

Subjects: Engineering--Data processing, Civil engineering--Data processing--Congresses, Facility management, Building information modeling

Categories: TECHNOLOGY & ENGINEERING / Construction / Heating, Ventilation & Air Conditioning, BUSINESS & ECONOMICS / Facility Management, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Data Science / General, TECHNOLOGY & ENGINEERING / Construction / General, TECHNOLOGY & ENGINEERING / Engineering (General)

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

New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Fifteenth SoMeT_16

Authors: George Angelos Papadopoulos

Resource Type: eBook.

Subjects: Artificial intelligence--Congresses, Software engineering--Congresses, Computer software--Development--Congresses

Categories: COMPUTERS / Computer Science

Model-Based Development and Formal Methods in the Railway Industry.

Authors: Ferrari, Alessio Fantechi, Alessandro Gnesi, Stefania et al.

Source: IEEE Software; May/Jun2013, Vol. 30 Issue 3, p28-34, 7p, 1 Diagram

Subject Terms: RAILROADS, INDUSTRIAL applications of computers, SECURITY management, RAILROAD signal manufacturing, RAILROAD signals, RAILROAD safety measures, COMPUTER software

Company/Entity: GE Transportation

Knowledge Innovation Through Intelligent Software Methodologies, Tools and Techniques : Proceedings of the 19th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_20)

Authors: Ali Selamat Sigeru Omatu

Resource Type: eBook.

Subjects: Artificial intelligence--Congresses

Categories: COMPUTERS / Artificial Intelligence / General

CHERI Concentrate: Practical Compressed Capabilities.

Authors: Woodruff, Jonathan Joannou, Alexandre Xia, Hongyan et al.

Source: IEEE Transactions on Computers; Oct2019, Vol. 68 Issue 10, p1455-1469, 15p

Subject Terms: IMAGE compression, COMPUTER systems, COMPUTER architecture, PIPELINES, COMPUTER software correctness

Analysis and Software of Cylindrical Members

Authors: W.F. Chen Shouji Toma

Resource Type: eBook.

Subjects: Cylinders--Mathematical models--Data processin

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

Concise Guide to Software Engineering

Authors: Gerard O'Regan

Resource Type: eBook.

Subjects: Software engineering

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Software Development & Engineering / Project Management, COMPUTERS / Hardware / General, COMPUTERS / Mathematical & Statistical Software

Quality of Software Architectures Models and Architectures : 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings

Authors: Steffen Becker Frantisek Plasil Ralf H. Reussner

Resource Type: eBook.

Subjects: Computer software--Quality control--Congresses, Software architecture--Reliability--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Programming / General, MATHEMATICS / Probability & Statistics / General