CSCW for Preparing Formal Software Specifications: Issues and Implementation

Journal of Computer Science - United States
doi 10.3844/jcssp.2008.333.340
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Science Publications

Related search

Test Selection for Object-Oriented Software Based on Formal Specifications

1998English

Formal Specifications of Software Model Evolution Using Contracts

English

Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications

Advances in Software Engineering
2011English

Automatic Testing From Formal Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Incremental Validation of Formal Specifications

English

Ontology Based Specifications for Software Reliability Advancement

International Journal of Computer Applications
2012English

Having Fun in Learning Formal Specifications

EasyChair Preprints
2019English

Composite Public Values and Software Specifications

Lecture Notes in Business Information Processing
ControlSystems EngineeringInformation SystemsBusinessInternational ManagementSimulationManagementManagement Information SystemsModeling
2018English

Automated Error-Detection and Repair for Compositional Software Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy