Search Results - Software and _ engineering Software notations and tools Formal language definitions

Formal Quantum Software Engineering: Introducing the Formal Methods of Software Engineering to Quantum Computing

Authors: Cartiere, Carmelo R.

Index Terms: Computer Science - Software Engineering, text

URL: http://arxiv.org/abs/2111.08426

Formal Quantum Software Engineering: Introducing the Formal Methods of Software Engineering to Quantum Computing

Authors: Cartiere, Carmelo R.

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, 0301 basic medicine, Computer Science - Software Engineering, 0303 health sciences, 03 medical and health sciences

Access URL: http://arxiv.org/abs/2111.08426

Mapping software: Are we nearing standardization?

Authors: Banerjee, Bakul

Source: Annals of Software Engineering; 2000, Vol. 10 Issue 1-4, p373-387, 15p

Subject Terms: COMPUTER software, COMPUTER software development, PROGRAMMING languages, COMPUTER systems, ELECTRONIC systems, COMPUTER programming, SYSTEMS design, SOFTWARE engineering, HIGH technology, COMPUTER science

Deployment and Operation of Complex Software in Heterogeneous Execution Environments : The SODALITE Approach

Authors: Elisabetta Di Nitto Jesús Gorroñogoitia Cruz Indika Kumara et al.

Resource Type: eBook.

Subjects: Software engineering, Computer software--Development--Management, Operating systems (Computers)

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Data Science / General, COMPUTERS / Operating Systems / General, COMPUTERS / Languages / General, TECHNOLOGY & ENGINEERING / Engineering (General), COMPUTERS / Distributed Systems / Cloud Computing

Fundamental Approaches to Software Engineering

Authors: Einar Broch Johnsen Manuel Wimmer

Resource Type: eBook.

Subjects: Computer systems, Software engineering--Congresses, Natural language processing (Computer science)

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

The AI Act and The Agile Safety Plan

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

Resource Type: eBook.

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

Ernst Denert Award for Software Engineering 2022

Authors: Eric Bodden Michael Felderer Wilhelm Hasselbring et al.

Resource Type: eBook.

Subjects: Software engineering, Software engineering--Awards

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

An object-oriented approach to the translation between MOF Metaschemas

Authors: Raventós Pagès, Ruth

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics

Thesis Advisors: Olive Ramon, Antoni

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: traducció d'esquemes, metodologies i eines de disseny de bases de coneix, Models conceptuals de dades, UML, MOF

File Description: application/pdf

Access URL: http://www.tdx.cat/TDX-1228109-102611
http://hdl.handle.net/10803/6666
https://dx.doi.org/10.5821/dissertation-2117-93977

Defining Web services and data through mathematical expressions in Z-language.

Authors: HALILI, Festim RAHMANI, Burhan KASA, Merita

Source: International Journal of Science, Innovation & New Technology; Feb2012, p1-6, 6p

Subject Terms: WEB services, AXIOMATIC set theory, SOFTWARE engineering, MATHEMATICAL notation, COMPUTER software, DATABASES, COMPUTER software reusability, XML (Extensible Markup Language)

Cognitive Factors in Process Model Comprehension—A Systematic Literature Review.

Authors: Möller, Maximilian Winter, Michael Reichert, Manfred

Source: Brain Sciences (2076-3425); May2025, Vol. 15 Issue 5, p505, 31p

Subject Terms: COGNITIVE neuroscience, COGNITIVE psychology, BUSINESS process management, DIGITAL libraries, PROBLEM solving

Fundamental Approaches to Software Engineering : 28th International Conference, FASE 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

Authors: Artur Boronat Gordon Fraser

Resource Type: eBook.

Subjects: Software engineering--Congresses, Operating systems (Computers)

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

A semantic framework for metamodel-based languages.

Authors: Gargantini, Angelo Riccobene, Elvinia Scandurra, Patricia

Source: Automated Software Engineering; Dec2009, Vol. 16 Issue 3/4, p415-454, 39p, 17 Diagrams, 5 Charts

Subject Terms: PROGRAMMING languages, FORMAL language semantics, MODEL-driven software architecture, SYSML (Computer science), SOFTWARE engineering

Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Authors: Leen Lambers Sebastián Uchitel

Resource Type: eBook.

Subjects: Software engineering--Congresses

Categories: COMPUTERS / Software Development & Engineering / General

Spatial Distribution Analysis and Comparative Forecasting of Dengue Resurgence in the Philippines (2025–2027): A Nationwide Study.

Authors: Olana, Kenny Oriel Aranas Poprom, Napaphat Siewchaisakul, Pallop et al.

Source: Transboundary & Emerging Diseases. 10/15/2025, Vol. 2025, p1-16. 16p.

Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Authors: Alessandra Russo Andy Schürr

Resource Type: eBook.

Subjects: Software engineering, Programming languages (Electronic computers), Computer science, Computer organization, Computers

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Ernst Denert Award for Software Engineering 2020 : Practice Meets Foundations

Authors: Michael Felderer Wilhelm Hasselbring Heiko Koziolek et al.

Resource Type: eBook.

Subjects: Software engineering, Software engineering--Awards

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Management Information Systems

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Authors: Luís Caires

Resource Type: eBook.

Subjects: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing

Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations

Authors: Michael Felderer Wilhelm Hasselbring Heiko Koziolek et al.

Resource Type: eBook.

Subjects: Management information systems, Software engineering, Computer science

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / Project Management

Quantum Software : Aspects of Theory and System Design

Authors: Iaakov Exman Ricardo Pérez-Castillo Mario Piattini et al.

Resource Type: eBook.

Subjects: Software engineering, Quantum computing, System design

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Quantum Computing

Integrating formal methods with domain analysis.

Authors: Felice, Laura Leonardi, María Carmen Mauco, María Virginia et al.

Source: Journal of Computational Methods in Sciences & Engineering; 2010 Supplement 2, Vol. 10 Issue 1-2, p149-161, 13p

Subject Terms: TECHNICAL specifications, SOFTWARE engineering, DOMAIN-specific programming languages, COMPUTER software development, PROGRAMMING languages, SPECIALISTS