Movatterモバイル変換

[0]ホーム
URL:

Sypsas et al., 2021 - Google Patents

Computing similarities between virtual laboratory experiments models using petri nets

Sypsas et al., 2021

ViewPDF
Document ID
13279189930438461778
Author
Sypsas A
Kalles D
Publication year
Publication venue
Proceedings of the 20th International Conference on Modelling and Applied Simulation, MAS

External Links

Snippet

The design and development of experiments for virtual laboratories is a composite process, since the same virtual laboratory can be used by learners studying in a variety of educational institutions, including secondary education schools and universities. We used …
Continue reading atwww.cal-tek.eu (PDF) (other versions)

Classifications

The classifications are assigned by a computer and are not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the classifications listed.
    • 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
    • G06F11/3688—Test management for test execution, e.g. scheduling of test suites
    • 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/3696—Methods or tools to render software testable
    • 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
    • G06F17/5022—Logic simulation, e.g. for logic circuit operation
    • 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/3604—Software analysis for verifying properties of programs
    • 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
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3664—Environments for testing or debugging software
    • 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/36—Software reuse
    • 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/35—Model driven
    • 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
    • G06Q10/063—Operations research or analysis
    • 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
    • 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/10—Requirements analysis; Specification techniques
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS

Similar Documents

PublicationPublication DateTitle
Barmi et al.Alignment of requirements specification and testing: A systematic mapping study
Gosain et al.Static analysis: A survey of techniques and tools
US20120254827A1 (en)Verification of computer-executable code generated from a model
Jasper et al.RERS 2019: Combining synthesis with real-world models
Rahmandad et al.Modeling the rework cycle: capturing multiple defects per task
MaspupahLiterature Review: Advantages And Disadvantages Of Black Box And White Box Testing Methods
Engels et al.Model-based verification and validation of properties
Tsai et al.Iterative design and testing within the software development life cycle
Liukko et al.Chatgpt as a full-stack web developer
Sypsas et al.Computing similarities between virtual laboratory experiments models using petri nets
Mlynarski et al.Model-based testing: achievements and future challenges
Dechsupa et al.Formal verification of web service orchestration using colored petri net
Martens et al.Diagnosing sca components using wombat
Kerraoui et al.MATT: multi agents testing tool based nets within nets
Graf et al.Correct development of embedded systems
Dechsupa et al.An automated framework for BPMN model verification achieving branch coverage
Lozhkina et al.An online tool for requirements engineering, modeling and verification of distributed software based on the MDD approach
Graessler et al.Test-oriented Resilient Requirements Engineering (ToRRE): extending model-based effect chain analysis to verification objectives
Alba et al.Ui-test: A model-based framework for visual ui testing–qualitative and quantitative evaluation
Bussenot et al.A domain specific test language for systems integration
OlszewskaOn the impact of rigorous approaches on the quality of development
Aoki et al.Data lifecycle verification method for requirements specifications using a model checking technique
Sypsas et al.Applying Conformance Checking on Virtual Laboratory Experiments
Zaw et al.A design-aware test code approach for code writing problem in Java programming learning assistant system
Erhan et al.WHAT DO DESIGN DATA SAY ABOUT YOUR MODEL?
[8]ページ先頭
©2009-2025 Movatter.jp