Results 281 to 289 of about 1,590,113 (289)
Some of the next articles are maybe not open access.
Standardization of Formal Specification Languages
IFAC Postprint Volumes IPPV / International Federation of Automatic Control, 1995exaly
Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches
IEEE Transactions on Software Engineering, 1985exaly
Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language
IEEE Transactions on Software Engineering, 1987exaly
Formal specification and testing: A case study
Software Testing Verification and Reliability, 1992exaly
Applying Formal Specification to Software Development in Industry
IEEE Transactions on Software Engineering, 1985exaly