In this demonstration paper, we present the CSTL Processor, a tool to support the validation of two fundamental quality properties of conceptual schemas (correctness and completeness) by testing. The CSTL Processor supports the management, execution and automatic computation of the verdicts of test cases which formalize stakeholders’ needs and expectations.Peer Reviewe
Specifying software properties is a common activity in the software development process. Software pr...
The proposed method is applicable to different kinds of projects and may beintegrated into existing ...
To ensure the quality of an information system, it is essential that the conceptual schema that repr...
In this demonstration paper, we present the CSTL Processor, a tool to support the validation of two ...
Like any software artifact, conceptual schemas of information systems can be tested. Testing concept...
Conceptual schemas are software artifacts and consequently, they can also be tested. Testing concept...
Conceptual schemas are software artifacts and consequently, they can also be tested. Testing concept...
Ensuring the semantic quality of a conceptual schema is a fundamental goal in conceptual modeling. C...
The traditional focus for Information Systems (IS) quality assurance relies on the evaluation of its...
In Model-Driven Development, the main artefacts are conceptual schemas, and efforts are focused on t...
We believe that one of the most effective ways of increasing the quality of conceptual schemas in pr...
This report documents the outcomes of the Dagstuhl Seminar 13211 "Automated Reasoning on Conceptual ...
A typical database design methodology based on the conceptual modelling is a standard component of m...
In the information systems development field, most research efforts has been devoted to code testing...
Conceptual Schema-Centric Development (CSCD) has been quali ed as a grand challenge for many researc...
Specifying software properties is a common activity in the software development process. Software pr...
The proposed method is applicable to different kinds of projects and may beintegrated into existing ...
To ensure the quality of an information system, it is essential that the conceptual schema that repr...
In this demonstration paper, we present the CSTL Processor, a tool to support the validation of two ...
Like any software artifact, conceptual schemas of information systems can be tested. Testing concept...
Conceptual schemas are software artifacts and consequently, they can also be tested. Testing concept...
Conceptual schemas are software artifacts and consequently, they can also be tested. Testing concept...
Ensuring the semantic quality of a conceptual schema is a fundamental goal in conceptual modeling. C...
The traditional focus for Information Systems (IS) quality assurance relies on the evaluation of its...
In Model-Driven Development, the main artefacts are conceptual schemas, and efforts are focused on t...
We believe that one of the most effective ways of increasing the quality of conceptual schemas in pr...
This report documents the outcomes of the Dagstuhl Seminar 13211 "Automated Reasoning on Conceptual ...
A typical database design methodology based on the conceptual modelling is a standard component of m...
In the information systems development field, most research efforts has been devoted to code testing...
Conceptual Schema-Centric Development (CSCD) has been quali ed as a grand challenge for many researc...
Specifying software properties is a common activity in the software development process. Software pr...
The proposed method is applicable to different kinds of projects and may beintegrated into existing ...
To ensure the quality of an information system, it is essential that the conceptual schema that repr...