Výsledky vyhledávání - Software and its engineering Software notations and tools Formal language definitions Syntax

Decision Analysis Data Model for Digital Engineering Decision Management.

Autoři: Parnell, Gregory S. Kenley, C. Robert Clark, Devon a další

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

Témata: 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.

Autoři: 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.

Autoři: Besnard, Valentin Teodorov, Ciprian Jouault, Frédéric a další

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

Témata: SOFTWARE verification, SYSTEMS engineering, ENGINEERING systems, SYSTEMS software, USER interfaces, FORMAL languages

Formalizing UML State Machines for Automated Verification - A Survey.

Autoři: ANDRÉ, ÉTIENNE SHUANG LIU YANG LIU a další

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

Témata: COMPUTER security vulnerabilities, UNIFIED modeling language, FORMAL languages, NATURAL languages, MACHINERY, SOFTWARE architecture

Merging textual representations of software models.

Autoři: Somogyi, Ferenc Attila

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

Témata: COMPUTER software development, FORMAL languages, INTEGERS, SEMANTICS (Philosophy), DEFINITION (Logic)

Mapping software: Are we nearing standardization?

Autoři: Banerjee, Bakul

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

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

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

Autoři: Chen, Gang Kong, Zhaodan Xie, Longhan

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

Témata: SEMIDEFINITE programming, LINEAR systems, FORMAL languages, SATISFACTION, PARTICIPATORY design

A semantic framework for metamodel-based languages.

Autoři: Gargantini, Angelo Riccobene, Elvinia Scandurra, Patricia

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

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

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

Autoři: Maarouk, Toufik Messaoud El Habib Souidi, Mohammed Ledmi, Makhlouf a další

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

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

Multiple Input Parsing and Lexical Analysis.

Autoři: SCOTT, ELIZABETH JOHNSTONE, ADRIAN WALSH, ROBERT

Zdroj: ACM Transactions on Programming Languages & Systems; Sep2023, Vol. 45 Issue 3, p1-44, 44p

Témata: FORMAL languages, SYNTAX in programming languages, SYNTAX (Grammar)

Fundamental Approaches to Software Engineering

Autoři: Einar Broch Johnsen Manuel Wimmer

Resource Type: eBook.

Témata: 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

MontiCore: a framework for compositional development of domain specific languages.

Autoři: Krahn, Holger Rumpe, Bernhard Völkel, Steven

Zdroj: International Journal on Software Tools for Technology Transfer; Sep2010, Vol. 12 Issue 5, p353-372, 20p

Témata: PROGRAMMING languages, ELECTRONIC data processing, TECHNOLOGY transfer, INDUSTRIAL research, COMPUTER software development

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

Autoři: Saiedian, Hossein

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

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

Autoři: 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

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

F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID.

Autoři: Singh, Neeraj Kumar Aït‐Ameur, Yamine Mendil, Ismail a další

Zdroj: Journal of Software: Evolution & Process; Jul2023, Vol. 35 Issue 7, p1-38, 38p

Témata: FORMAL languages, FLUIDS, TASK analysis, USER interfaces

Framework for Filling the Gap between System Architect and Analyzable Models.

Autoři: Emadi, Sima Shams, Fereidoon

Zdroj: International Review on Computers & Software; Mar2010, Vol. 5 Issue 2, p225-232, 8p

Témata: SOFTWARE architecture, COMPUTER software development, SOFTWARE engineers, XML (Extensible Markup Language), PETRI nets, SIMULATION methods & models, UNIFIED modeling language

Planning for heterogeneous teams of robots with temporal logic, capability, and resource constraints.

Autoři: Cardona, Gustavo A. Vasile, Cristian-Ioan

Zdroj: International Journal of Robotics Research; Nov2024, Vol. 43 Issue 13, p2089-2111, 23p

Témata: MIXED integer linear programming, ROBOT dynamics, TRANSPORTATION planning, FORMAL languages, ROBOTS

Online control synthesis for uncertain systems under signal temporal logic specifications.

Autoři: Yu, Pian Gao, Yulong Jiang, Frank J. a další

Zdroj: International Journal of Robotics Research; May2024, Vol. 43 Issue 6, p765-790, 26p

Témata: LOGIC, DISCRETE-time systems, FORMAL languages

SOFL: A Formal Engineering Methodology for Industrial Applications.

Autoři: Shaoying Liu Offutt, A. Jeff Ho-Stuart, Chris a další

Zdroj: IEEE Transactions on Software Engineering; Jan98, Vol. 24 Issue 1, p24-45, 22p

Témata: FORMAL methods (Computer science), SYSTEMS design, COMPUTER science, COMPUTER software, COMPUTER software development, COMPUTER engineering

Constructing Parser for Industrial Software Specifications Containing Formal and Natural Language Description.

Autoři: Iwama, Futoshi Nakamura, Taiga Takeuchi, Hironori

Zdroj: ICSE: International Conference on Software Engineering; Feb2012, p1012-1021, 10p

Témata: NATURAL language processing, PARSING (Computer grammar), FORMAL languages, COMPUTER software, COMPUTER programming