Výsledky vyhľadávania - Software and its engineering Software notations and tools Formal language definitions

Decision Analysis Data Model for Digital Engineering Decision Management.

Autori: Parnell, Gregory S. Kenley, C. Robert Clark, Devon a ďalší

Zdroj: Systems; Jul2025, Vol. 13 Issue 7, p596, 45p

Predmety: DECISION making, SYSTEMS engineering, DIGITAL technology, AGILE software development, DATA modeling, MODEL-driven software architecture

On some innovations in teaching the formal semantics using software tools.

Autori: Steingartner, William

Zdroj: Ecological Genomics; 2021, Vol. 11 Issue 1, p2-11, 10p

Unified verification and monitoring of executable UML specifications: A transformation-free approach.

Autori: Besnard, Valentin Teodorov, Ciprian Jouault, Frédéric a ďalší

Zdroj: Software & Systems Modeling; Dec2021, Vol. 20 Issue 6, p1825-1855, 31p

Predmety: SOFTWARE verification, SYSTEMS engineering, ENGINEERING systems, SYSTEMS software, USER interfaces, FORMAL languages

Mapping software: Are we nearing standardization?

Autori: Banerjee, Bakul

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

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

Formalizing UML State Machines for Automated Verification - A Survey.

Autori: ANDRÉ, ÉTIENNE SHUANG LIU YANG LIU a ďalší

Zdroj: ACM Computing Surveys; 2023 Suppl13s, Vol. 55, p1-47, 47p

Predmety: COMPUTER security vulnerabilities, UNIFIED modeling language, FORMAL languages, NATURAL languages, MACHINERY, SOFTWARE architecture

An object-oriented approach to the translation between MOF Metaschemas

Autori: Raventós Pagès, Ruth

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

Thesis Advisors: Olive Ramon, Antoni

Zdroj: TDX (Tesis Doctorals en Xarxa)

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

Popis súboru: application/pdf

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

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

Autori: Olana, Kenny Oriel Aranas Poprom, Napaphat Siewchaisakul, Pallop a ďalší

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

Fundamental Approaches to Software Engineering

Autori: Einar Broch Johnsen Manuel Wimmer

Typ zdroja: eBook.

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

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

amePLM: a platform providing information provision in engineering.

Autori: Lentes, Joachim Zimmermann, Nikolas

Zdroj: International Journal of Production Research; Jul2017, Vol. 55 Issue 13, p3832-3841, 10p

Predmety: ENGINEERING software, INFORMATION resources management, MACHINE theory, PROTOTYPES, SEMANTICS, ORGANIZATIONAL structure, INFORMATION services management

Merging textual representations of software models.

Autori: Somogyi, Ferenc Attila

Zdroj: XXX. microCAD International Multidisciplinary Scientific Conference; 2016, p1-8, 8p

Predmety: COMPUTER software development, FORMAL languages, INTEGERS, SEMANTICS (Philosophy), DEFINITION (Logic)

Control/physical systems co-design with spectral temporal logic specifications and its applications to MEMS.

Autori: Chen, Gang Kong, Zhaodan Xie, Longhan

Zdroj: International Journal of Control; Dec2024, Vol. 97 Issue 12, p2935-2950, 16p

Predmety: SEMIDEFINITE programming, LINEAR systems, FORMAL languages, SATISFACTION, PARTICIPATORY design

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

Autori: HALILI, Festim RAHMANI, Burhan KASA, Merita

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

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

A semantic framework for metamodel-based languages.

Autori: Gargantini, Angelo Riccobene, Elvinia Scandurra, Patricia

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

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

Integrating formal methods with domain analysis.

Autori: Felice, Laura Leonardi, María Carmen Mauco, María Virginia a ďalší

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

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

Formalization of BPMN Gateways using the DD-LOTOS Formal Language.

Autori: Maarouk, Toufik Messaoud El Habib Souidi, Mohammed Ledmi, Makhlouf a ďalší

Zdroj: Journal of Communications Software & Systems; Dec2023, Vol. 19 Issue 4, p254-263, 10p

Predmety: FORMAL languages, BUSINESS process modeling, FLOW control (Data transmission systems), PETRI nets, GRAPHICAL modeling (Statistics), SEMANTICS

Chapter 4: Software Requirements Methodologies and Tools: Formal Methods In Information Systems Engineering.

Autori: Saiedian, Hossein

Zdroj: Software Requirements Engineering; 2011, p384-397, 14p

Expanding access to veterinary clinical decision support in resource-limited settings: a scoping review of clinical decision support tools in medicine and antimicrobial stewardship.

Autori: Yusuf, Havan Hillman, Alison Stegeman, Jan Arend a ďalší

Zdroj: Frontiers in Veterinary Science. 2024, p1-18. 18p.

Formal specification and analysis of functional properties of graph rewriting-based model transformation.

Autori: Asztalos, Márk Lengyel, László Levendovszky, Tihamér

Zdroj: Software Testing: Verification & Reliability; Aug2013, Vol. 23 Issue 5, p405-435, 31p, 10 Diagrams, 1 Chart

Predmety: REWRITING systems (Computer science), MACHINE theory, COMPUTER software, COMPUTER simulation, ALGORITHMS, SOFTWARE engineering

On a Cohesive Set of Requirements Engineering Terms.

Autori: Ryan, Michael J. Wheatcraft, Louis S.

Zdroj: Systems Engineering; Mar2017, Vol. 20 Issue 2, p118-130, 13p

Predmety: FORMAL languages, REQUIREMENTS engineering, SYSTEMS engineering, STRUCTURAL frames, MATHEMATICAL notation

Genomic Prediction and Genome‐Wide Association Studies for Productivity, Conformation and Heat Tolerance Traits in Tropical Smallholder Dairy Cows.

Autori: Bang, Nguyen N. Hayes, Ben J. Lyons, Russell E. a ďalší

Zdroj: Journal of Animal Breeding & Genetics. May2025, Vol. 142 Issue 3, p322-341. 20p.

Predmet: Dairy cattle, Milk yield, Genome-wide association studies, Quantitative genetics, Heat adaptation, Small farms, Phenotypes

Geografický termín: Vietnam