Cammaerts et al., 2023 - Google Patents
Assessing the value of incomplete deadlock verification in Model-Driven EngineeringCammaerts et al., 2023
View PDF- Document ID
- 8843679660546569896
- Author
- Cammaerts F
- Snoeck M
- Publication year
- Publication venue
- https://ceur-ws. org/Vol-3618/
External Links
Snippet
Model-Driven Engineering (MDE) involves automatically generating code from a conceptual model. However, despite accurate translation of requirements into models and correct transformation of models into code, ensuring internal consistency of the model remains a …
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/50—Computer-aided design
- G06F17/5009—Computer-aided design using simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/20—Handling natural language data
- G06F17/27—Automatic analysis, e.g. parsing
- G06F17/2705—Parsing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
- G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/34—Graphical or visual programming
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/10—Requirements analysis; Specification techniques
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/20—Software design
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F19/00—Digital computing or data processing equipment or methods, specially adapted for specific applications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F2217/00—Indexing scheme relating to computer aided design [CAD]
- G06F2217/70—Fault tolerant, i.e. transient fault suppression
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computer systems utilising knowledge based models
-
- G—PHYSICS
- G09—EDUCATION; CRYPTOGRAPHY; DISPLAY; ADVERTISING; SEALS
- G09B—EDUCATIONAL OR DEMONSTRATION APPLIANCES; APPLIANCES FOR TEACHING, OR COMMUNICATING WITH, THE BLIND, DEAF OR MUTE; MODELS; PLANETARIA; GLOBES; MAPS; DIAGRAMS
- G09B7/00—Electrically-operated teaching apparatus or devices working with questions and answers
- G09B7/02—Electrically-operated teaching apparatus or devices working with questions and answers of the type wherein the student is expected to construct an answer to the question which is presented or wherein the machine gives an answer to the question presented by a student
-
- G—PHYSICS
- G09—EDUCATION; CRYPTOGRAPHY; DISPLAY; ADVERTISING; SEALS
- G09B—EDUCATIONAL OR DEMONSTRATION APPLIANCES; APPLIANCES FOR TEACHING, OR COMMUNICATING WITH, THE BLIND, DEAF OR MUTE; MODELS; PLANETARIA; GLOBES; MAPS; DIAGRAMS
- G09B19/00—Teaching not covered by other main groups of this subclass
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Gurbuz et al. | Model-based testing for software safety: a systematic mapping study | |
| JP2017033562A (en) | System and method for model based technology and process for safety-critical software development | |
| Bruel et al. | The role of formalism in system requirements | |
| US10866878B2 (en) | Method, software and processing unit for verifying properties of interactive components | |
| Granda et al. | What do we know about the defect types detected in conceptual models? | |
| KR20080055913A (en) | Development Method, System and Apparatus of Assertion for Integrated Circuit Design Simulation | |
| Thimbleby | Improving science that uses code | |
| Cammaerts et al. | Assessing the value of incomplete deadlock verification in Model-Driven Engineering | |
| Bastide et al. | Error patterns: Systematic investigation of deviations in task models | |
| Alsmadi | Advanced Automated Software Testing: Frameworks For Refined Practice: Frameworks For Refined Practice | |
| Bonet et al. | Influence of programming style in transformation bad smells: mining of ETL repositories | |
| Sypsas et al. | Computing Similarities Between Virtual Laboratory Experiments Models Using Petri Nets | |
| Kundu | Software Engineering: A Systematic Approach | |
| Kebaili et al. | Automated testing of metamodels and code co-evolution | |
| Marín et al. | Key features for a successful model-driven development tool | |
| Grilo | A case study of Reengineering of the CCCExplorer Tool | |
| Morris | Understanding software sustainability in the field of research software engineering | |
| Comellas et al. | I’m stuck! How to efficiently debug computational solid mechanics models so you can enjoy the beauty of simulations | |
| Sosnin | Question-Answer Modeling in Conceptual Design of Automated Systems | |
| Sedrakyan et al. | Enriching Model Execution with Feedback to Support Testing of Semantic Conformance between Models and Requirements | |
| Lavi et al. | Systems modeling & requirements specification using ECSAM: a method for embedded computer-based systems analysis | |
| Dias | Outsystems Logic Previewer | |
| Syversen et al. | An evaluation of applying use cases to construct design versus validate design | |
| Pan et al. | LLM-enabled Instance Model Generation | |
| Gómez-Abajo et al. | Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises |