Italiano (it)Group objects list: General management
-
Verification of External Specifications of Reactive SystemsTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines446 Hits Rating
-
An Interval Logic for RealTime System SpecificationTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines446 Hits Rating
-
Expressing and Organizing Real Time Specification Patterns via Temporal LogicsTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines Formal specification models provide support for ...493 Hits Rating
-
Expressing and Organizing Specification Patterns with TILCO-XTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines349 Hits Rating
-
Comments on Comments on An Interval Logic for Real-Time System SpecificatioTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines Abstract—The paper on Comments on “An Interval ...474 Hits Rating
-
Reengineering Analysis of Object-Oriented Systems via Duplication Analysismetrics, quality assessment, effort estimation, data analytic, prediction models, fault proneness227 Hits Rating
-
ObjectOriented Reengineering of COBOL Applicationsmetrics, quality assessment, effort estimation, data analytic, prediction models, fault proneness348 Hits Rating
-
A non invasive object oriented tool for software testingmetrics, quality assessment, effort estimation, data analytic, prediction models, fault proneness412 Hits Rating
-
A Method and Tool for Assessing Object-Oriented Projects and Metrics Managementmetrics, quality assessment, effort estimation, data analytic, prediction models, fault proneness198 Hits Rating
-
Metric Framework for Obejct Oriented Real Time Systems Specification Languagesmetrics, quality assessment, effort estimation, data analytic, prediction models, fault proneness504 Hits Rating